formal-agent-contracts
Listed in Community
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.
Where this came from
- Listing read from:
- https://raw.githubusercontent.com/anthropics/claude-plugins-community/2285a368b0eab744111db241f9a2273a9d34f233/.claude-plugin/marketplace.json
- Source:
- https://github.com/kotaroyamame/formal-agent-contracts/tree/076ab643cdac81df5ad1c061b3f70da0938e4fd0
- Homepage (as listed):
- https://iid.systems/formal-agent-contracts
- Read on:
- 15 August 2026