# Route Models

> Assign each VDM-SL module to the lightest capable model tier (light / standard / heavy) based on objective complexity signals in the contract itself — operation counts, implicit definitions, state invariants, quantifiers, and proof-obligation counts — to cut token cost without weakening the verification safety net. Produces MODEL-ROUTING.md (human-readable, with rationale) and model-routing.json (machine-readable, consumed by generate-code / generate-tests / integrated-workflow). Triggered by: "route models", "assign models per module", "reduce token cost", "which modules can use a lighter model". Japanese triggers: 「モデルを割り振って」「モジュールごとに軽量モデルを」 「トークン消費を抑えたい」「モデルルーティング」「安いモデルで済む部分を分けて」

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