用途 setup-pstack 用于配置 pstack 在各角色上使用哪些模型，以及使用多大的推理预算。它会检测可用模型，并写入一份模型规则，用来覆盖技能默认值。该技能只在用户明确要求时运行；普通 saltmode 使用不需要它。
前置说明 按资料，每个会话需先读取一次宿主适配器（host adapter）。适配器负责把上游 Cursor 专用的工具、模型、路径与权限说明映射到当前宿主，并设定权限边界。
规则文件路径 规则文件写入宿主适配器指定的路径：Claude Code 为 ~/.claude/rules/pstack-models.md；Codex 与 Pi 为 ~/.agents/pstack-models.md。
主要步骤
- 检测可用模型：Claude Code 使用 Agent 工具 schema 中列出的模型值及其 effort 值，写成“<model> <effort>”（如 opus xhigh）；Codex 使用宿主为子代理或 codex exec -m 列出的模型，若未列出则所有角色为 inherit-parent；Pi 通过 pi --list-models 获取，写成“<provider>/<id>:<thinking>”。不得写入未确认可用的模型；inherit-parent 与 auto 始终有效。
- 加载当前状态：默认角色映射采用规则形态，其中 claude-opus-5-5-xhigh 按适配器映射为宿主等价模型，宿主没有则用 inherit-parent。若规则文件已存在，读取其 # budget 行和角色值作为当前选择，并丢弃不在角色表中的行。
- 预算、映射与确认：先询问预算，提供四个标签——unlimited（max reasoning）、large（xhigh reasoning，与技能默认匹配）、medium（high reasoning）、small（medium reasoning）。然后按技能默认构建设置表，将每个真实 slug 的 effort 标记设为对应值（max、xhigh、high、medium），effort 阶梯为 max > xhigh > high > medium > low；若结果不是已检测 slug，则取同族中不高于目标 effort 的最高检测 slug，否则标记该角色需要选择；inherit-parent 与 auto 不变。随后展示所有角色及其模型，标记需要选择的真实 slug，并列出被丢弃的行，询问接受或修改特定角色。面板类角色（arena runners、architect runners、interrogate reviewers）的值为列表，每个条目运行一个子代理，列表长度决定数量；arena cross-judge pool 也是列表，但 Arena 只运行一个评审，按列表顺序尝试与父模型不同族的取值，顺序即偏好，inherit-parent 或 auto 值不参与评审；swarm workers 是每个工作线程的默认模型，除非某次竞争或比较为各分支另行指定。
- 校验：写入的每个真实模型必须在检测集合内，inherit-parent 与 auto 始终通过；若所选模型不可用则停止并重新询问。
- 写入规则：规则文件无 frontmatter，包含注释行、带所选标签及目标 effort 的 # budget 行，以及每个角色一行，使用 saltmode 的标签。整体覆盖写入以保证重复运行幂等。不得把角色行放入 CLAUDE.md 或 AGENTS.md。资料给出了规则文件形状示例，列出各角色及其默认值。
- 确认：告知用户规则写入位置，并说明其对新运行生效；重复运行本技能会更新规则。
- 可选：若项目没有驱动真实应用进行验证的方式（verify-* 技能或现有 harness），可询问一次是否生成项目级验证技能，同意则调用 /create-verification-skill。
- 可选：若项目没有形式化验证技能，可询问一次是否生成，同意则调用 /create-formal-verification-skill。
适用场景 需要为 pstack 的不同角色（如功能开发、缺陷修复、性能问题、判断与散文、最难任务、探索、解释、调查、综合、反思、竞技场、蜂群工作线程、架构师、审问评审等）指定模型与推理预算时使用。
限制 资料未提供收费、价格、平台支持范围、性能效果或其他未列明细节；模型可用性以宿主检测结果为准，未确认的模型不得写入。