Formal Agent Contracts
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.
Works with: Claude Code, Cursor, Claude Desktop, Codex CLI, Gemini CLI, Cline, Windsurf, VS Code
Category: Dev Tools & CI — see all ranked ›
Work: Agent development · Software architecture
Who it is for: AI engineer · Software engineer
- tashan score: 46.0
- Adoption: 1 repos
- Health: active
- GitHub stars: 1
- Contributors: 4
- License: MIT
Security audit
Not scanned yet. We audit npm-published capabilities for known advisories, install-time scripts and permission surface; this one has no npm package we can resolve, or has not reached the queue.
source ↗ · plugin:kotaroyamame/formal-agent-contracts/formal-agent-contracts
Already running this? npx tashan-cli doctor checks your whole config against the Index — how it works ›