# Verify Spec

> VDM-SL仕様ファイルの検証（構文チェック・型チェック・証明責務生成）と、 設計文書（PROTOCOL.md、API-SIGNATURES.md）の完全性チェックを実行する。 「仕様を検証して」「VDMファイルをチェックして」「型チェックして」 「PO（証明責務）を生成して」「仕様に問題がないか確認して」 「エラーがないかチェックして」「.vdmslファイルを検証」といったリクエストに使用する。 English triggers: "verify the spec", "type-check the VDM file", "generate proof obligations", "check the specification for errors". VDMJを使って検証を実行し、結果を形式手法の知識がない開発者にも わかるように自然言語で解説する。

## Facts
- Page: https://tashan.sh/capability/skill-kotaroyamame-verify-spec
- tashan id: skill:kotaroyamame/verify-spec
- 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 verify-spec ~/.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.