# Define Contract

> マルチエージェント開発におけるエージェント間契約をVDM-SLで定義し、 設計文書（PROTOCOL.md、API-SIGNATURES.md）を生成する。 「エージェントの契約を定義したい」「エージェント間のインターフェースを仕様化したい」 「契約を書きたい」「仕様を作りたい」「エージェントの入出力を定義したい」 「新しいエージェントを追加したい」「APIの仕様を形式的に書きたい」 「プロトコル仕様を作りたい」といったリクエストに使用する。 English triggers: "define an agent contract", "formalize the agent interface", "write a formal spec", "specify agent inputs and outputs", "design the protocol". 形式手法の知識がないユーザーでも対話的に契約を定義できるよう、 自然言語から段階的にVDM-SL仕様と設計文書へ変換する。

## Facts
- Page: https://tashan.sh/capability/skill-kotaroyamame-define-contract
- tashan id: skill:kotaroyamame/define-contract
- Source: https://github.com/kotaroyamame/formal-agent-contracts
- Type: skill
- Category: devtools
- tashan score: not scored (catalogued only — too little public evidence)
- Adoption: 9.0
- Upkeep: 93.0
- Freshness: 84.0
- Evidence coverage: 84% of the inputs this score can use
- Health: active
- Instruction depth: not yet graded
- License: MIT
- Official: no

## Install

```sh
cp -r define-contract ~/.claude/skills/
```

## 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-08-20 by tashan (https://tashan.sh) from public evidence. Scorer s5.