midnight-verify

Plugin midnight-verify from marketplace midnight-expert in midnightntwrk/midnight-expert. Commands read from the repo's manifest — 12 days ago.

Skills (19)

• midnight-verify:verify-by-cli-execution

  Verification by running Compact CLI commands and observing output. Checks CLI availability, runs commands, captures stdout/stderr/exit code, inspects filesystem changes, and interprets results. Covers flag existence, flag behavior, output structure, error messages, exit codes, version info, and CLI-

• midnight-verify:verify-by-devnet

  Verification by running E2E scripts against a local Midnight devnet. Writes SDK test scripts (raw or using testkit-js) that exercise the full transaction pipeline: deploy, call circuits, observe state. Checks devnet health before proceeding. Loaded by the sdk-tester agent. Loads the `midnight-toolin

• midnight-verify:verify-by-execution

  Verification by compilation and execution. Translates a Compact claim into a minimal test contract, compiles it with the Compact CLI, runs the compiled output with @midnight-ntwrk/compact-runtime, and interprets the result. Loaded by the contract-writer agent. Covers workspace setup (lazy init), con

• midnight-verify:verify-by-ledger-source

  Verification by source code inspection of the Midnight ledger Rust codebase. Searches and reads the actual Rust implementation to verify claims about transaction structure, token mechanics, cost model, on-chain VM, contract execution, and cryptographic primitives. Routes claims to specific crates wi

• midnight-verify:verify-by-source

  Verification by source code inspection. Searches and reads the actual compiler, ledger, and runtime source code to verify structural or architectural claims about Compact and Midnight that cannot be tested via compilation. Uses octocode-mcp for quick lookups, falls back to local cloning for deep inv

• midnight-verify:verify-by-type-check

  Verification by TypeScript compilation. Writes TypeScript test files that exercise SDK type claims, then runs tsc --noEmit to check if types match. Also verifies user .ts files that import @midnight-ntwrk packages. Loaded by the type-checker agent. Covers workspace setup (lazy init), two modes (clai

• midnight-verify:verify-by-wallet-source

  Verification by source code inspection of the Midnight Wallet SDK repositories. Searches and reads the actual wallet SDK source code to verify claims about wallet packages, the DApp Connector API, HD derivation, address encoding, and the three-wallet architecture. Uses octocode-mcp for quick lookups

• midnight-verify:verify-by-witness

  Cross-domain witness verification pipeline. Compiles the Compact contract, type-checks the TypeScript witness against the compiled contract's generated Witnesses type, runs structural checklist analysis (name matching, return tuple shape, WitnessContext usage, private state immutability, side effect

• midnight-verify:verify-by-zkir-checker

  Verification by running the full ZK proof pipeline: compile Compact without --skip-zk to generate PLONK keys, execute the circuit via JS runtime to get proof data, serialize with proofDataIntoSerializedPreimage(), then verify with the @midnight-ntwrk/zkir-v2 WASM PLONK checker. Supports both contrac

• midnight-verify:verify-by-zkir-inspection

  Verification by compiling Compact to ZKIR and analyzing the compiled circuit structure. Extracts .zkir JSON from compilation output, parses instruction arrays, counts opcodes, traces data flow, and checks transcript encoding. Does not run the WASM checker — for constraint behavior, use verify-by-zki

• midnight-verify:verify-compact

  Compact-specific claim classification and method routing. Determines what kind of Compact claim is being verified and which verification method applies: execution (compile+run), source inspection, or both. Loaded by the /midnight-verify:verify command alongside the hub skill. Provides the claim type

• midnight-verify:verify-correctness

  Hub skill for the midnight-verify plugin. Classifies claims by domain, routes to the appropriate domain skill, dispatches sub-agents based on the domain skill's routing, and synthesizes final verdicts. Loaded by the /midnight-verify:verify command — the main thread acts as orchestrator.

• midnight-verify:verify-ledger

  Ledger/protocol claim classification and method routing. Determines what kind of ledger claim is being verified and which verification methods apply: source investigation (primary), type-checking (pre-flight for TypeScript API), compilation/execution (secondary for testable claims), or ledger-v8 exe

• midnight-verify:verify-sdk

  SDK/TypeScript claim classification and method routing. Determines what kind of SDK claim is being verified and which verification method applies: type-checking (tsc --noEmit), devnet E2E testing, source inspection, or package checks. Handles both claims about the SDK API itself and verification of

• midnight-verify:verify-tooling

  Compact CLI tooling claim classification and method routing. Determines what kind of CLI claim is being verified and which verification method applies: CLI execution (primary for behavioral claims) or source investigation (for internal/architectural claims). Handles claims about compact compile flag

• midnight-verify:verify-wallet-sdk

  Wallet SDK claim classification and method routing. Determines what kind of wallet SDK claim is being verified and which verification methods apply: type-checking (pre-flight only), source investigation (primary), or devnet E2E (fallback). Handles claims about @midnightntwrk/wallet-sdk-* packages, W

• midnight-verify:verify-witness

  Witness claim classification and method routing. Determines what kind of witness claim is being verified and dispatches to the witness-verifier. Handles claims about witness type correctness, name matching, return tuple shape, type mappings, behavioral correctness, private state patterns, and two-fi

• midnight-verify:verify-zkir

  ZKIR claim classification and method routing. Determines what kind of ZKIR claim is being verified and which verification method applies: WASM checker (accept/reject testing), circuit inspection (compiled structure analysis), or source investigation. Handles claims about opcode semantics, constraint

• midnight-verify:zkir-regression

  Run a curated set of verification claims against the current toolchain to detect behavioral changes. Each claim is verified through the normal verification pipeline (classify → dispatch agent → verify). Supports full sweep (all categories) and targeted sweep (single category). Invocable as /midnight

Slash commands (2)

• /midnight-verify:fast-verify

  Fast source-first verification of Midnight claims. Uses source inspection as the primary method with optional background execution checks. Faster and cheaper than /midnight-verify:verify.

• /midnight-verify:verify

  Verify claims about Midnight, Compact code, or SDK APIs. Accepts a claim, file path, code snippet, SDK question, or no arguments to be prompted.

Subagents (7)

• cli-tester

  Use this agent to verify Compact CLI tooling claims by running commands and observing output. Checks CLI availability, runs compact/compactc commands, captures stdout/stderr/exit codes, inspects filesystem changes, and interprets results. Dispatched by the /midnight-verify:verify command. Example 1:

• contract-writer

  Use this agent to verify Compact claims by writing and executing test contracts. Translates a claim into a minimal Compact contract, compiles it with the Compact CLI, runs the compiled output with @midnight-ntwrk/compact-runtime, and reports what was observed. Dispatched by the /midnight-verify:veri

• sdk-tester

  Use this agent to verify SDK behavioral claims by running E2E scripts against a local Midnight devnet. Checks devnet health first, then writes raw SDK scripts or testkit-js tests to exercise the full transaction pipeline. Dispatched by the /midnight-verify:verify command. Example 1: Claim "deployCon

• source-investigator

  Use this agent to verify Compact or Midnight claims by inspecting the actual source code of the compiler, ledger, runtime, or related repositories. Uses octocode-mcp for quick lookups, falls back to local cloning for deep investigation. Dispatched by the /midnight-verify:verify command. Example 1: C

• type-checker

  Use this agent to verify SDK type claims or check user TypeScript files by running tsc --noEmit. Writes type assertion files for claims about the SDK API, or copies user .ts files into the SDK workspace. Dispatched by the /midnight-verify:verify command. Example 1: Claim "deployContract returns Depl

• witness-verifier

  Use this agent to verify that TypeScript witness implementations correctly match Compact contract declarations. Compiles the contract, type-checks the witness against generated types, runs structural analysis (name matching, return tuple shape, WitnessContext usage, private state patterns), and exec

• zkir-checker

  Use this agent to verify ZKIR-level claims by running circuits through the @midnight-ntwrk/zkir-v2 WASM checker or inspecting compiled circuit structure. Compiles Compact to extract .zkir, constructs proof data, invokes the checker, and analyzes circuit properties. Dispatched by the /midnight-verify

Hooks (8)

• SessionStart

  bash ${CLAUDE_PLUGIN_ROOT}/scripts/hooks/SessionStart.sh

• SubagentStop

  bash ${CLAUDE_PLUGIN_ROOT}/scripts/hooks/subagent-stop-contract-writer.sh

• SubagentStop

  bash ${CLAUDE_PLUGIN_ROOT}/scripts/hooks/subagent-stop-source-investigator.sh

• SubagentStop

  bash ${CLAUDE_PLUGIN_ROOT}/scripts/hooks/subagent-stop-type-checker.sh

• SubagentStop

  bash ${CLAUDE_PLUGIN_ROOT}/scripts/hooks/subagent-stop-cli-tester.sh

• SubagentStop

  bash ${CLAUDE_PLUGIN_ROOT}/scripts/hooks/subagent-stop-sdk-tester.sh

• SubagentStop

  bash ${CLAUDE_PLUGIN_ROOT}/scripts/hooks/subagent-stop-witness-verifier.sh

• SubagentStop

  bash ${CLAUDE_PLUGIN_ROOT}/scripts/hooks/subagent-stop-zkir-checker.sh

Similar plugins