midnight-verify:verify-zkir

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.

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.

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.

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.

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.