# 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.

## Facts
- Page: https://tashan.sh/capability/plugin-kotaroyamame-formal-agent-contracts-formal-agent-contracts
- tashan id: plugin:kotaroyamame/formal-agent-contracts/formal-agent-contracts
- Source: https://github.com/kotaroyamame/formal-agent-contracts
- Type: plugin
- Category: data
- tashan score: 41.0 / 100
- Adoption: 11.0
- Upkeep: 89.0
- Freshness: 77.0
- Evidence coverage: 84% of the inputs this score can use
- Health: active
- Instruction depth: not yet graded
- GitHub stars: 1
- License: MIT
- Official: no

## Install

```sh
/plugin marketplace add anthropics/claude-plugins-community
/plugin install formal-agent-contracts@claude-community
```

## Security audit
Not scanned. We audit npm-published capabilities; this one has no npm package we can resolve, or has not reached the queue. This is not a clean bill of health.

---
Measured 2026-09-13 by tashan (https://tashan.sh) from public evidence. Scorer s5.