formal-agent-contracts
PackDev toolsLets your agent define formal contracts between software components, check them mathematically, and generate matching code.
Unavailable. Delivery for this kind is on the roadmap — not serving yet.
Add ahel to your AI once: Claude, ChatGPT, Cursor, Claude Code or Codex. Then ask it to use this.
About this app
Formal methods toolkit for multi-agent development. Define inter-agent contracts in VDM-SL, verify with VDMJ, prove with Z3, and generate TypeScript/Python code with runtime contract enforcement, all through natural language conversation with Claude.
Signals
- GitHub stars
- 4k
- Forks
- 312
- Last commit
- Aug 2026
Advanced
- Item type
- plugin
- Key
anthropics-claude-plugins-community-formal-agent-contracts- Source
- github.com/anthropics/claude-plugins-community