setup-pstack

pstack をセットアップする

~/.cursor/rules/pstack-models.mdc を作成します。これは常に適用され、役割ごとに pstack のモデルを設定するルールです。

手順

1. 利用可能なモデルを検出する

このセッションで Task サブエージェントに渡せるモデルのスラッグを列挙します。これは信頼できる情報源です。Cursor にユーザーが利用できるモデルを一覧表示する API または CLI もある場合は、完全性を高めるため、そちらを優先してください。何も検出できない場合は、利用できるスラッグをユーザーに貼り付けてもらいます。利用可能であることを確認していない実際のスラッグは、決して記述しないでください。エイリアスの inherit-parent と auto は、検出されたスラッグではなくても常に有効です。

2. 現在の状態を読み込む

デフォルトの役割とモデルの対応は、以下の手順 5 に示すルールの形式です。~/.cursor/rules/pstack-models.mdc がすでに存在する場合は、それを読み込み、# budget 行と各役割の値を現在の選択として扱います。存在しない場合は、デフォルトから開始します。手順 5 にない役割の行（how critics など）は、廃止された役割のものです。削除してください。

3. 予算、対応付け、確認

(a) 予算を尋ねます。 自由入力より AskQuestion を優先してください。次の 4 つの選択肢を、ラベルも含めて正確に提示し、ルールに現在の予算が記録されている場合は、それも伝えます。ルールがない場合は、large がスキルのデフォルトに一致すると伝えてください。

• unlimited — max reasoning
• large — xhigh reasoning
• medium — high reasoning
• small — medium reasoning

(b) 予算を適用します。 スキルのデフォルトを基に作業用の表を作成します。再実行時は、ファミリー、リスト、またはエイリアス（inherit-parent、auto）によって変更された役割を維持します。unlimited、large、medium、small は、実際のスラッグすべて（パネルの項目を含む）の effort トークンを、それぞれ max、xhigh、high、medium に設定します。effort トークンは末尾のトークンです。ただし末尾に fast がある場合は、そのひとつ前のトークンです。max > xhigh > high > medium > low の順になります。変更後のスラッグが検出されたものではない場合、同じファミリーで目標以下の effort を持つ検出済みスラッグのうち、最も高いものを使用します。それもない場合は、その役割に選択が必要であると示します。inherit-parent と auto は変更しません。つまり、unlimited では claude-opus-5-5-xhigh が claude-opus-5-5-max になります。Grok のスラッグは xhigh が上限なので、unlimited ではフォールバックにより Grok は xhigh になり、grok-4.7-xhigh-fast はそのまま維持されます。large では両方のデフォルトが維持されます。small では、それぞれ claude-opus-5-5-medium と grok-4.7-medium-fast になります。

(c) 役割を表示して確認します。 各役割とそのモデルをすべて表示し、実際のスラッグが検出された一覧にない場合は、選択が必要であると示します。また、手順 2 で削除した行もすべて一覧表示します。そのまま受け入れるか、特定の役割を変更するかを尋ね、選択肢として、検出されたモデルに加えて inherit-parent と auto も提示します（どちらも、その役割が親のチャットモデルで実行されることを意味します。これにより、Auto ユーザーは Auto のまま利用できます）。自由入力より AskQuestion を優先してください。パネルの役割（arena runners、architect runners、interrogate reviewers）の値はリストです。エイリアスの項目も含め、項目ごとにサブエージェントが 1 つ実行されるため、リストの長さが実行数になります。arena cross-judge pool もリストですが、Arena は可能な場合、親とは異なるモデルファミリーの値を 1 つ選択します。swarm workers は、レースまたは比較で各アームに別のモデルが割り当てられない限り、すべてのワーカーに適用されるデフォルトモデルです。

4. 検証する

記述する実際のスラッグはすべて、検出された一覧に含まれている必要があります。inherit-parent と auto は常に有効です。選択された実際のスラッグが利用できない場合は、処理を停止して、再度選択を求めてください。

5. ルールを書き込む

~/.cursor/rules/pstack-models.mdc に alwaysApply: true と、選択したラベルおよび目標 effort を記した # budget 行を含め、役割ごとに 1 行ずつ書き込みます。ラベルには poteto-mode と同じものを使用します。再実行しても結果が同じになるよう、ファイル全体を上書きしてください。形式：

---
description: pstack per-role model choices (overrides skill defaults)
alwaysApply: true
---
# pstack model configuration. One line per role. Delete a line to fall back to the skill default.
# `inherit-parent` or `auto` as a value: the role runs on the parent chat model (omit Task `model`). Alias entries in a panel list still count toward its fan-out.
# budget: large (xhigh)
feature, refactoring: grok-4.7-xhigh-fast
bug-fix: grok-4.7-xhigh-fast
perf-issue: grok-4.7-xhigh-fast
hillclimb: grok-4.7-xhigh-fast
judgment and prose: claude-opus-5-5-xhigh
hardest tasks: claude-opus-5-5-xhigh
how explorer: grok-4.7-xhigh-fast
how explainer: claude-opus-5-5-xhigh
why investigators: grok-4.7-xhigh-fast
why synthesizer: claude-opus-5-5-xhigh
reflect tooling: grok-4.7-xhigh-fast
reflect judgment, divergent, synthesizer: claude-opus-5-5-xhigh
arena runners: claude-opus-5-5-xhigh, grok-4.7-xhigh-fast
arena cross-judge pool: claude-opus-5-5-xhigh, grok-4.7-xhigh-fast
swarm workers: grok-4.7-xhigh-fast
architect runners: claude-opus-5-5-xhigh, grok-4.7-xhigh-fast
interrogate reviewers: claude-opus-5-5-xhigh, grok-4.7-xhigh-fast

6. 確認する

ルールを書き込んだことと、新しいセッションに適用されることをユーザーに伝えます。このスキルを再実行すると、ルールが更新されます。

7. 検証スキルを提案する（任意）

実際のアプリを操作して動作を確認できる方法（verify-* スキル、または既存のハーネス）がプロジェクトにあるか確認します。ない場合は、一度だけ次のように提案します。「エージェントがユーザーと同じようにアプリを操作し、変更が機能することを確認できる、プロジェクト専用の検証スキルが必要ですか？ /create-verification-skill で生成できます。」希望する場合は /create-verification-skill を実行します（pstack がインストールされている場所（ワークスペース、ユーザー、またはプラグイン）に応じて解決されます）。希望しない場合は、強く勧めずに次へ進みます。

8. 形式検証スキルを提案する（任意）

コードに対してモデル検査、証明、またはその他の検証器を実行するプロジェクトスキルなど、形式検証スキルがすでにプロジェクトにあるか確認します。ない場合は、一度だけ次のように提案します。「テストで到達するケースだけでなく、対象範囲のすべてのケースでコードの重要な性質が成り立つことをエージェントが証明できる、形式検証スキルが必要ですか？ /create-formal-verification-skill で生成できます。」希望する場合は /create-formal-verification-skill を実行します（pstack がインストールされている場所（ワークスペース、ユーザー、またはプラグイン）に応じて解決されます）。希望しない場合は、強く勧めずに次へ進みます。