route-models

Model Routing — Contract-Driven Model Assignment per Module

Overview

Multi-agent development spends most of its tokens on bulk phases: code generation, test generation, and reconciliation. Not every module needs the strongest model for those phases — a types-only module converts mechanically, while a module full of implicit definitions needs real reasoning.

This skill reads the VDM-SL contract and assigns each module to the lightest capable model tier, using only objective, countable signals from the spec. The formal contract itself is what makes this safe: whichever model generates the artifact, the same VDMJ checks and contract tests judge the result.

マルチエージェント開発でトークンを最も消費するのは、コード生成・テスト生成・照合 といった一括処理のフェーズです。型定義だけのモジュールは機械的に変換できる一方、 暗黙的定義だらけのモジュールには本物の推論が要ります。

このスキルは VDM-SL 契約を読み取り、仕様に含まれる客観的で数えられるシグナルだけを 根拠に、各モジュールを「能力が足りる範囲で最も軽いモデル層」へ割り振ります。これが安全 なのは形式契約があるからです — どのモデルが生成しても、同じ VDMJ チェックと契約 テストが結果を判定します。

Trigger Conditions

Activate this skill when the user says any of:

• 「モデルを割り振って」「モジュールごとに軽量モデルを使いたい」
• 「トークン消費を抑えたい」「コストを下げたい（生成フェーズで）」
• "Route models", "assign models per module", "reduce token cost"
• Before a bulk generation phase over a multi-module spec, when the user wants to reduce cost

Model Tiers

Tiers are abstract; the concrete model names depend on what the runtime offers. In Claude Code, subagents accept a model parameter — map tiers as follows:

Tier	Claude Code model	Suited for
light	haiku	Mechanical conversion: types-only modules, boilerplate, simple pure functions
standard	sonnet	Typical modules: state + invariants, explicit operations
heavy	inherit (the session's main model)	Implicit-definition-heavy modules, cross-module protocol logic, high PO counts

層は抽象名で扱い、実行環境が提供するモデルに対応付けます。heavy は「セッションの メインモデルを継承」が既定です（メインより強いモデルを勝手に選ばない）。

Execution Flow

Step 1: Read the Specification

Read the .vdmsl file(s) specified by the user (search the workspace if unspecified). Split into modules: VDM-SL module ... end sections, or treat a flat file as one module.