{
  "id": "plg_kotaroyamame_formal_agent_contracts_form_065670f0",
  "kind": "plugin",
  "category": "ferramentas",
  "name": "formal-agent-contracts",
  "tagline": "Formal methods toolkit for multi-agent development. Define inter-agent contracts in VDM-SL, verify with VDMJ, prove with Z3, and generate Ty",
  "body": "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.",
  "url": "https://iid.systems/formal-agent-contracts",
  "status": "live",
  "origin": "marketplace",
  "origin_id": "kotaroyamame/formal-agent-contracts/formal-agent-contracts",
  "install": "https://github.com/kotaroyamame/formal-agent-contracts",
  "source": "https://github.com/kotaroyamame/formal-agent-contracts",
  "transporte": "",
  "ns": "kotaroyamame",
  "versao": "",
  "oficial_status": "",
  "repo_host": "github.com",
  "topico": "ai",
  "linguagem": "TypeScript",
  "licenca": "MIT",
  "repo_topics": " ai-coding claude-code claude-code-plugin contract-testing design-by-contract formal-methods formal-verification multi-agent proof-obligations spec-driven-development vdm vdm-sl vdmj z3 ",
  "repo_slug": "kotaroyamame/formal-agent-contracts",
  "stars": 1,
  "forks": 0,
  "prs_abertos": 0,
  "pushed_at": "2026-07-03T11:44:22Z",
  "repo_estado": "ativo",
  "likes": 0,
  "comments": 0,
  "visits": 0,
  "readme_bytes": 4927,
  "readme_api": "https://agentalog.com/api/listings/plg_kotaroyamame_formal_agent_contracts_form_065670f0/readme",
  "readme_fonte": "repo",
  "created_at": "2026-08-30 01:48:58",
  "updated_at": "2026-08-30 01:48:58",
  "mine": false,
  "api": "https://agentalog.com/api/listings/plg_kotaroyamame_formal_agent_contracts_form_065670f0",
  "go": "https://agentalog.com/api/go/plg_kotaroyamame_formal_agent_contracts_form_065670f0",
  "comments_api": "https://agentalog.com/api/listings/plg_kotaroyamame_formal_agent_contracts_form_065670f0/comments",
  "readme_sha": "6399ce9038d7eecd8d8b6bff75e4bbf602e52cca9ad96ae4a156e17ea3805473",
  "readme_em": "2026-08-31 07:09:31",
  "payload": {
    "plugin": "formal-agent-contracts",
    "marketplace": "claude-community",
    "marketplace_repo": "anthropics/claude-plugins-community",
    "repo": "kotaroyamame/formal-agent-contracts",
    "path": "",
    "ref": "",
    "sha": "076ab643cdac81df5ad1c061b3f70da0938e4fd0",
    "vendored": false,
    "categoria": "",
    "autor": "",
    "tem_mcp": 0,
    "tem_skill": 0,
    "install_cmd": "/plugin marketplace add claude-community\n/plugin install formal-agent-contracts@claude-community"
  }
}