formal-agent-contracts
IID Systems v2.2.0
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 — ...
From the developer
License
MIT
Works with
Claude Code
Description
From the marketplace listing
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.
What changed
No changes recorded yet. Follow this plugin to keep track of future changes.
Similar plugins
Find competitors to follow as you develop your plugin.
-
Generate MCP server scaffold and tool implementation code from a natural language description. Describe what tools you want in plain lan...
Shared terms: python, typescript, natural, language
-
Professional AI video creation toolkit for Claude Code. Edit videos, generate video content, and enhance images using natural language.
Shared terms: toolkit, natural, language, code
-
Comprehensive toolkit for developing Claude Code plugins. Includes 7 expert skills covering hooks, MCP integration, commands, agents, and...
Shared terms: toolkit, development, agent, code
-
A Claude Code plugin for Python development
Shared terms: python, development, code
-
Multi-agent development harness for Claude Code. Your AI has speed; we give it direction — through living specs and focused specialist ag...
Shared terms: multi, development, agent, code
Keywords
Files & skills
formal-agent-contracts · catalog manifest
Saved declaration
{}
formal-agent-contracts · catalog manifest
Saved declaration
{
"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."
}
formal-agent-contracts · catalog manifest
Saved declaration
{
"name": "formal-agent-contracts",
"author": {
"name": "IID Systems",
"email": "info@iid.systems"
},
"license": "MIT",
"version": "2.2.0",
"homepage": "https://iid.systems/formal-agent-contracts/",
"keywords": [
"formal-methods",
"vdm-sl",
"multi-agent",
"contracts",
"verification",
"proof-obligations",
"code-generation",
"test-generation",
"design-documents",
"protocol-specification",
"integrated-workflow",
"model-routing",
"token-optimization",
"reverse-engineering",
"natural-language-import",
"spec-export",
"evaluation",
"benchmarks"
],
"repository": "https://github.com/kotaroyamame/formal-agent-contracts",
"description": "Formal methods toolkit for multi-agent development: define agent contracts in VDM-SL, generate Phase 2 design documents (PROTOCOL.md, API-SIGNATURES.md), verify specifications, auto-prove with Z3, derive database schemas (DDL) with deviation tracking and invariant traceability, generate code scaffolds with runtime contract checks, auto-generate contract tests from specs and design documents, run end-to-end integrated workflows, route each module to the lightest capable model tier to cut token cost (contract-driven model routing with verification-gated escalation), reverse-engineer specifications from existing code, import natural language specs to VDM-SL, and export human-readable specification documents. Includes an evaluation harness with benchmark tasks and exploratory comparative results (single-model, heuristic scoring; see eval/ for methodology and limitations)."
}
plugin.json observed Nov 6, 2026 · 10:44 UTC. Manifest source ↗
Catalog declarations and available plugin.json metadata are saved. Referenced skills and executable source files are not downloaded or tested. Missing components in a manifest do not prove that the plugin has none.
Installation instructions
Community
/plugin marketplace add anthropics/claude-plugins-community
/plugin install formal-agent-contracts@claude-communityTechnical details
- Sources
- Community
- First seen
- Oct 3, 2026 · 22:13 UTC
- Last seen
- Nov 7, 2026 · 00:08 UTC
- Latest observed change
- Oct 3, 2026 · 22:13 UTC
- Collection status
- Listed
- Reported installs
- Not provided
Installation counts are source-reported, not independently verified active users. Observation dates are not release dates.
Download plugin data (JSON)Plugin history: served from cache. Prepared . Refreshed when catalog data changes or after 6 hours. Your account and Follow status are live.