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
1Stars on the repository
16Mods indexed here, across every type
2mo 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,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 2mo ago A tokens not measured copy · 92% MIT