midnight-verify:zkir-regression
OfficialDetect verification toolchain regressions
Authordevrelaicom
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Runs a curated suite of verification claims through the full verification pipeline to detect behavioral changes and regressions in the Midnight Compact verification toolchain, helping teams identify compiler or checker regressions before release.
Core Features & Use Cases
- Full and Targeted Sweeps: Execute a full sweep across all categories or a targeted sweep for arithmetic, types, state, privacy, zk-proof, or transcript claims.
- End-to-End Orchestration: Orchestrates claim classification, domain skill loading, agent dispatch, contract generation, compilation, execution, and PLONK proof verification.
- Report and Diagnostics: Produces a pass/fail summary with claim-level verdicts and failure interpretations for CI gating, pre-release checks, or investigating suspected toolchain issues.
Quick Start
Invoke the skill with a category argument like arithmetic to run a targeted ZKIR regression sweep and generate the summarized report.
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:zkir-regression Download link: https://github.com/devrelaicom/midnight-expert/archive/main.zip#midnight-verify-zkir-regression 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.