{"name":"kotaroyamame-formal-agent-contracts","owner":{"name":"ClaudePluginHub"},"plugins":[{"name":"kotaroyamame-formal-agent-contracts","source":{"source":"github","repo":"kotaroyamame/formal-agent-contracts"},"description":"Formal methods toolkit for multi-agent development: define agent contracts in VDM-SL, generate Phase 2 design documents (PROTOCOL.md, API-SIGNATURES.md), verify specifications, auto-prove with Z3, generate code scaffolds with runtime contract checks, auto-generate contract tests from specs and design documents, run end-to-end integrated workflows, reverse-engineer specifications from existing code, import natural language specs to VDM-SL, and export human-readable specification documents. Includes evaluation framework with comparative benchmarks.","version":"2.0.0","strict":true,"keywords":["formal-methods","vdm-sl","multi-agent","contracts","verification","proof-obligations","code-generation","test-generation","design-documents","protocol-specification","integrated-workflow","reverse-engineering","natural-language-import","spec-export","evaluation","benchmarks"],"category":"productivity"}]}