midnight-verify:verify-correctness
OfficialOrchestrate domain verification workflows.
Software Engineering#verification#orchestration#domain-routing#verdict-synthesis#verification-pipeline#claims-routing
Authordevrelaicom
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Classifies incoming verification claims by domain, routes them to the appropriate domain skill, dispatches specialized sub-agents, and synthesizes a final verdict.
Core Features & Use Cases
- Domain routing and orchestration across multiple verification domains (Compact language, SDK/TypeScript, ZKIR, Witness, Cross-domain, Wallet SDK, Ledger/Protocol, Tooling).
- Centralized decision flow that coordinates routing tables, evidence collection, and verdict synthesis to ensure consistent results.
- Use Case: When a claim spans multiple domains, the hub coordinates domain skills and aggregates outputs into a single, trustworthy verdict.
Quick Start
Route an incoming verification claim to the appropriate domain skills and synthesize the final verdict.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: midnight-verify:verify-correctness Download link: https://github.com/devrelaicom/midnight-expert/archive/main.zip#midnight-verify-verify-correctness Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.