agentmods.dev

kotaroyamame/formal-agent-contracts

Claude Code plugin for formal agent contracts — define inter-agent contracts in VDM-SL, verify with VDMJ, prove with Z3, and auto-generate contract tests for spec-driven multi-agent development

Open on GitHub iid.systems
1Stars on the repository
16Mods indexed here, across every type
4d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

formal-agent-contracts

01

kotaroyamame/formal-agent-contracts

Plugin Claude Code

Bundles 15 skills · 2,350 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, check translated PO formulas with Z3 (source correspondence and implementation correctness require separate evidence), derive database schemas.

not rated 1 changed 3d ago A tokens not measured copy · 92% MIT