Back to all repositories
KO
formal-agent-contracts
by kotaroyamame
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
1stars0forks0watchers/subscribers0issues
ai-codingclaude-codeclaude-code-plugincontract-testingdesign-by-contractformal-methodsformal-verificationmulti-agentproof-obligationsspec-driven-developmentvdmvdm-slvdmjz3
- Language
- TypeScript
- License
- MIT License
- Size
- 2.6 MB
- Created
- Mar 31, 2026
- Last Updated
- Jul 3, 2026
- Last Pushed
- Jul 3, 2026
Available Plugins
Loading plugins...
Evaluate before installing
- Review the source repository, recent maintenance, and license on GitHub.
- Read the marketplace manifest and plugin source files before running commands.
- Start with the smallest required permission set and validate behavior in a safe environment.