需要配置 pstack 各角色模型与推理预算时：检测可用模型…

用于运行 /setup-pstack 或调整 pstack 各角色所用模型/推理预算，并写入 ~/.cursor/rules/pstack-models.mdc 覆盖技能默认值。

适用场景

解决思路

1. 写入或更新 `~/.cursor/rules/pstack-models.mdc`，这是一条 always-applied 规则，用于按角色设置 pstack 使用的模型。
2. 检测可用模型：枚举当前会话中可传给 `Task` 子代理的模型 slug；这是可靠来源。
3. 如果 Cursor 还提供 models API 或 CLI 来列出用户有权限的模型，优先用它补全。
4. 如果检测不到任何模型，请用户粘贴其可访问的 slug。
5. 绝不写入未确认可用的真实 slug；别名 `inherit-parent` 和 `auto` 始终有效，即使它们不是被检测到的 slug。
6. 加载当前状态：默认角色到模型映射就是第 5 步所示的规则形态。
7. 如果 `~/.cursor/rules/pstack-models.mdc` 已存在，读取它，并把其中的 `# budget` 行和角色值视为当前选择；否则从默认值开始。
8. 询问预算：优先用 AskQuestion 而非自由文本；提供四个带精确标签的选项，并在规则记录了当前预算时说明当前预算：`unlimited — keep max`、`large — xhigh reasoning`、`medium — high reasoning`、`small — medium reasoning`。
9. 应用预算：根据技能默认值构建工作表；重跑时保留任何已按 family、list 或别名（`inherit-parent`、`auto`）修改过的角色。
10. `unlimited` 保持该表中每个 effort 不变；`large`、`medium`、`small` 把所有真实 slug（包括 panel 条目）的 effort token 分别设为 `xhigh`、`high`、`medium`。
11. effort token 是 ladder `max` > `xhigh` > `high` > `medium` > `low` 上的最后一个 token，或结尾 `fast` 前的那个 token。
12. 如果结果不是已检测到的 slug，使用同一 family 中已检测到、且 effort 不高于目标的最高 effort slug；否则把该角色标记为需要选择。
13. `inherit-parent` 和 `auto` 不改变；例如 `small` 会把 `claude-opus-5-5-max` 变成 `claude-opus-5-5-medium`，把 `grok-4.7-xhigh-fast` 变成 `grok-4.7-medium-fast`。
14. 展示角色并确认：展示每个角色及其模型，把不在检测集合中的真实 slug 标记为需要选择。
15. 询问是原样接受还是修改特定角色，选项包括已检测模型以及 `inherit-parent` 和 `auto`（两者都表示：该角色运行在父聊天模型上，Auto 用户因此保持 Auto）；优先用 AskQuestion。
16. 对于 panel 角色（arena runners、architect runners、interrogate reviewers），值是一个列表，每个条目运行一个 subagent，别名条目也算，因此列表长度决定数量。
17. `arena cross-judge pool` 也是列表，但 Arena 会从中选一个值，并尽可能选择与父模型 family 不同的模型。
18. `swarm workers` 是每个 worker 的默认模型，除非某场 race 或 comparison 为某条 arm 分配了另一个模型。
19. 验证：写入的每个真实 slug 必须属于检测集合；`inherit-parent` 和 `auto` 始终通过；如果选中的真实 slug 不可用，停止并重新询问。
20. 写入规则：写 `~/.cursor/rules/pstack-models.mdc`，包含 `alwaysApply: true`、一行 `# budget`（含所选标签及其目标 effort）、每个角色一行，使用 poteto-mode 使用的相同标签；覆盖整个文件，使重跑保持幂等。
21. 文件形态：--- 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: unlimited (max) 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-max hardest tasks: claude-opus-5-5-max how explorer: grok-4.7-xhigh-fast how explainer: claude-opus-5-5-max why investigators: grok-4.7-xhigh-fast why synthesizer: claude-opus-5-5-max reflect tooling: gpt-5.6-sol-max reflect judgment, divergent, synthesizer: claude-opus-5-5-max arena runners: claude-opus-5-5-max, gpt-5.6-sol-max, grok-4.7-xhigh-fast arena cross-judge pool: claude-opus-5-5-max, gpt-5.6-sol-max, grok-4.7-xhigh-fast swarm workers: grok-4.7-xhigh-fast architect runners: claude-opus-5-5-max, gpt-5.6-sol-max, grok-4.7-xhigh-fast interrogate reviewers: claude-opus-5-5-max, gpt-5.6-sol-max, grok-4.7-xhigh-fast
22. 确认：告诉用户规则已写入，并对新会话生效；重跑此技能会更新它。
23. 可选：检查项目是否有驱动真实应用以证明变更的方法（`verify-*` skill 或现有 harness）。
24. 如果没有，询问一次：想要一个项目本地的验证技能，让 agents 能像用户一样驱动应用并证明变更有效吗？可以用 /create-verification-skill 生成。
25. 如果同意，调用 `/create-verification-skill`（会在 pstack 安装位置解析：workspace、user 或 plugin）；如果不同意，继续推进，不要强推。

适用边界 · 注意事项

• 没有安装 Cursor 或 pstack、无法访问 Task 子代理时不要用。
• 无法确认任何模型 slug 可用时不要写入真实 slug。
• 不需要覆盖 pstack 默认模型或推理预算时不必使用。