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.