midnight-verify:verify-zkir

Classify ZKIR claims and dispatch them to appropriate verification methods.

37|9|Updated Feb 25, 2026

Search Tags:#routing #verification #concurrency #claims #contract-verification #zkir

Ready to run

npx skills add https://github.com/devrelaicom/midnight-expert --skill midnight-verify-verify-zkir

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: midnight-verify:verify-zkir
Source: https://github.com/devrelaicom/midnight-expert/tree/main/plugins/midnight-verify/skills/verify-zkir
Command: npx skills add https://github.com/devrelaicom/midnight-expert --skill midnight-verify-verify-zkir

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Classifies ZKIR-related claims and dispatches them to the appropriate verification method to streamline verification tasks and reduce manual triage.

Core Features & Use Cases

Rule-based routing: classify claims about opcode semantics, constraint behavior, field arithmetic, transcript protocol, cryptographic opcodes, proof data validity, and ZKIR internals to the appropriate verifier.
Concurrent dispatch: allow checker and inspection methods to run in parallel when applicable.
Open extension: integrates with /midnight-verify:verify hub skill to load ZKIR routing alongside verification workflows.

Quick Start

Describe a ZKIR claim and let the hub skill route it to the correct verifier.

Frequently Asked Questions about midnight-verify:verify-zkir

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

FAQPage Schema

How do I verify ZKIR claims about opcode semantics and constraint behavior?▼

ZKIR claim routing classifies claims about opcode semantics, constraint behavior, and field arithmetic, then dispatches them to the appropriate verification method like a checker or source investigator to ensure correct validation paths.

What is the best way to route ZKIR claims to the right verifier?▼

Rule-based routing classifies ZKIR claims about transcript protocols, cryptographic opcodes, and proof data validity, dispatching them to the correct checker, inspection, or source-investigator method for formalized verification.

Can I run multiple ZKIR verification methods in parallel?▼

Yes, concurrent dispatch allows checker and inspection verification methods to run in parallel when applicable, streamlining ZKIR verification workflows for claims about internals and field arithmetic.

How does fallback handling work for ZKIR verification workflows?▼

Fallback handling ensures correct verification paths across ZKIR workflows by applying formalized claim routing rules and multi-agent coordination to manage dispatch failures for unmatched claim types.

Do I need a hub skill to route ZKIR claims?▼

You need the /midnight-verify:verify hub skill to load ZKIR routing alongside other verification workflows, enabling open extension and multi-agent coordination for claim dispatch.