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
vdm multi-agent z3 formal-methods contract-testing formal-verification vdm-sl design-by-contract ai-coding claude-code spec-driven-development claude-code-plugin proof-obligations vdmj
-
Updated
Jul 3, 2026 - TypeScript