{"name":"devrelaicom-midnight-verify-plugins-midnight-verify","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"devrelaicom-midnight-verify-plugins-midnight-verify","source":{"source":"github","repo":"devrelaicom/midnight-expert"},"description":"Verification framework for Midnight claims — verifies Compact code by compiling and executing test contracts, SDK/TypeScript claims by type-checking and devnet E2E testing, ZKIR circuits by running through the WASM checker and inspecting compiled structure, witness implementations by cross-domain type-checking and execution against compiled contracts, or by inspecting source code. Multi-agent pipeline with explicit /verify command.","version":"0.9.2","strict":true,"keywords":["midnight","compact","verification","correctness","compile","execute","source-code","zero-knowledge","fact-checking","testing","sdk","typescript","zkir","circuit","proof","checker","wasm","witness"],"category":"development"}]}