# Generate Tests

> VDM-SL仕様と設計文書（PROTOCOL.md、API-SIGNATURES.md）から Jest/Vitest互換の契約テストを自動生成する。 「仕様からテストを生成して」「契約テストを作って」「テストを自動生成して」 「不変条件のテストを書いて」「プロトコルのテストを作って」 「境界値テストを生成して」といったリクエストに使用する。 English triggers: "generate tests from the spec", "create contract tests", "auto-generate tests", "generate boundary tests from the VDM spec". 型不変式・事前条件・事後条件・状態遷移規則・ペイロード構造から テストコードを導出し、実装と仕様の乖離を検出する。

## Facts
- Page: https://tashan.sh/capability/skill-kotaroyamame-generate-tests
- tashan id: skill:kotaroyamame/generate-tests
- Source: https://github.com/kotaroyamame/formal-agent-contracts
- Type: skill
- Category: devtools
- tashan score: 46.0 / 100
- Adoption: 14.0
- Upkeep: 93.0
- Freshness: 86.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 generate-tests ~/.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-14 by tashan (https://tashan.sh) from public evidence. Scorer s5.