# Import Natural Spec

> Import a natural language specification document (Markdown) and interactively convert it to a VDM-SL formal specification. Reads the MD file, identifies requirements, flags ambiguities, and guides the user through a dialogue to fill gaps — producing a complete .vdmsl file. Use this skill whenever the user wants to: convert a requirements document to VDM-SL, import a spec from Markdown, formalize a natural language specification, turn a requirements doc into a formal spec, or create VDM-SL from an existing document. Japanese triggers: 「自然言語仕様をインポートしたい」「要件定義からVDMを作りたい」 「MDファイルからVDM仕様を生成して」「要件書を形式仕様に変換して」 「仕様書をVDM-SLにしたい」「ドキュメントからエージェント契約を作りたい」

## Facts
- Page: https://tashan.sh/capability/skill-kotaroyamame-import-natural-spec
- tashan id: skill:kotaroyamame/import-natural-spec
- Source: https://github.com/kotaroyamame/formal-agent-contracts
- Type: skill
- Category: other
- 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 import-natural-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.