kotaroyamame/formal-agent-contracts
Plugin Claude Code
Bundles 15 skills · 2,346 tokens together
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, derive database schemas (DDL) with deviation tracking and invariant traceability, generate code scaffolds with runtime…
not rated 1 1mo ago A
tokens not measured
copy · 92% MIT