{"slug":"formal-agent-contracts","title":"formal-agent-contracts","description":"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.","developer":null,"category":null,"reported_installs":null,"active":true,"first_seen_at":"2026-10-03T22:13:33.942Z","last_seen_at":"2026-10-10T18:00:00.630Z","last_changed_at":"2026-10-03T22:13:33.942Z","platform":"claude","sources":["Community"],"works_with":["Claude Code"],"marketplace_url":null,"repository_url":"https://github.com/kotaroyamame/formal-agent-contracts.git","web_data":{},"github_data":{},"catalog_sources":{"community":[{"name":"formal-agent-contracts","source":{"sha":"076ab643cdac81df5ad1c061b3f70da0938e4fd0","url":"https://github.com/kotaroyamame/formal-agent-contracts.git","source":"url"},"homepage":"https://iid.systems/formal-agent-contracts","description":"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."}]}}