midnight-verify:verify-correctness

Classifies claims by domain and orchestrates sub-agents to synthesize verdicts.

37|9|Updated Feb 25, 2026
One-click install
npx skills add https://github.com/devrelaicom/midnight-expert --skill midnight-verify-verify-correctness
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: midnight-verify:verify-correctness
Source: https://github.com/devrelaicom/midnight-expert/tree/main/plugins/midnight-verify/skills/verify-correctness
Command: npx skills add https://github.com/devrelaicom/midnight-expert --skill midnight-verify-verify-correctness

SYSTEM DOCUMENTATION & REQUIREMENTS

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.

Frequently Asked Questions about midnight-verify:verify-correctness

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I verify claims that span multiple domains like Compact language and SDK?

To verify claims across multiple domains, this skill classifies incoming claims by domain, routes them to specialized domain skills, and orchestrates sub-agents to synthesize a single final verdict.

What is domain routing in a verification pipeline?

Domain routing in a verification pipeline is the process of classifying claims by domain and dispatching them to appropriate specialized agents, coordinating routing tables and evidence collection to ensure consistent verification results.

How do I orchestrate sub-agents for cross-domain verification?

You orchestrate sub-agents for cross-domain verification by using a centralized decision flow that coordinates routing tables, dispatches specialized agents across domains, and aggregates evidence collection into a trustworthy verdict.

Does the verification pipeline support ZKIR and Wallet SDK domains?

Yes, the verification pipeline supports ZKIR and Wallet SDK domains, along with Compact language, Witness, Cross-domain, Ledger/Protocol, and Tooling, dispatching specialized agents as needed for each.

What is the best way to synthesize a final verdict from multiple domain skills?

The best way to synthesize a final verdict from multiple domain skills is through a centralized hub that coordinates domain verification workflows, aggregates evidence collection, and synthesizes outputs into a single trustworthy verdict.

When should I use a verification orchestration hub instead of individual domain skills?

You should use a verification orchestration hub instead of individual domain skills when a claim spans multiple domains, requiring coordinated routing tables and aggregated evidence collection to produce consistent verification results.