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仕様と設計文書へ変換する。
Works with: Claude Code (native) · Cursor, Codex CLI (manual)
native: this artifact type is that client's own format
Category: Dev Tools & CI — see all ranked ›
Install (Claude Code):
cp -r define-contract ~/.claude/skills/- Adoption: 1 repos
- Upkeep: 93.0
- Freshness: 84.0
- Evidence coverage: 84% of the inputs this score can use — the rest are unknown, and the score is discounted for it
- Health: active
- Contributors: 4
- License: MIT
Security audit
Not scanned yet. We audit npm-published capabilities for known advisories, install-time scripts and permission surface; this one has no npm package we can resolve, or has not reached the queue.
Its own instructions
Its SKILL.md says when to use it and shows worked examples.
Read from the capability’s own SKILL.md. This is not a grade and does not compare to the instruction-depth verdict on an MCP server — a skill has no tools to document, so that rubric does not apply to it.
You searched for one. Check the rest of your stack:
npx tashan-cli doctorReads the config already on your machine and names what is dead, deprecated or running code at install time. No account, nothing uploaded.
Pro adds the history to tashan doctor, so a run over your own config says which of yours gained an advisory, started running an install script, or lost its last maintainer — and what to move to.
- Every score since we started measuring, for any capability
- The named replacement when something you run is dying — not just that it is
tashan doctorover the config you already have, on your machine
Start a 7-day trial › Everything measured on this page stays free.
source ↗ · skill:kotaroyamame/define-contract
Everything on this page is public evidence and free. What it cannot know is whether you run this — check your whole config, free, in the browser. tashan Pro adds the series behind each row and names a replacement for anything dying.
Already running this? Check your whole config — free, in your browser, nothing installed. Or npx tashan-cli doctor locally, which sends nothing at all.
Measured 2026-08-20 · scorer s5 · how · something wrong here?