[MondayNotAGoodDay]

跟进了什么

上游 pstack 从 0.15.27 加上没有改版本号的 #715（f9be7aa00c2b2bf4b13562143a6918445e06b99d，2026-10-18）到了 0.15.28（d457567332aa6989e753ea289f30ea2bfbc80bc0，2026-10-19，#724）。接到现有 fork 上，没有整目录覆盖。这次 pin 写在 UPSTREAM.md。

这段 cursor/plugins main 里碰 pstack/ 的提交：

• #721（6b78e9f4）：/create-formal-verification-skill 把 TLA+ 写成任意语言里事件顺序问题的默认工具。语言上没有验证器时，要说出来，并用生成的输入测真实代码，而不是手写一个函数模型。
• #716（7b353f7）：新技能 /maintain-formal-verification-skill。生成的验证技能记下每个检查覆盖的文件和函数，以及上次确认验证仍描述这些代码的 commit。维护时按 in sync、updated、bug、blocked 报告。blocked 的检查不前移 sync commit。
• #724（d4575673）：指南第 6 页的工具选择段对上 #721，版本升到 0.15.28。

接到 fork 上的正文：

• 新技能 /maintain-formal-verification-skill，目录是 skills/maintain-formal-verification-skill/SKILL.md。poteto-help 的状态检查、路由表和配方，以及指南第 6、9 页，都写上了这个入口。
• /create-formal-verification-skill 写上覆盖记录和 sync commit，交还时指向维护技能。
• 指南第 9 页的形式化验证链接改到「Prove a property with a formal verification skill」。
• /setup-pstack 没有多问一次要不要跑维护技能。上游的 setup 也没有接上它。

跳过的

• #724 里的 plugin.json 版本号。这个仓库没有 plugin.json，版本记在 UPSTREAM.md。
• Claude Code 安装树（harness/pstack/claude-code/）。同一批技能正文的 harness 副本只多了一句 Claude Code adapter。这个 fork 走 skills.sh，不引入那棵树，也不引入 .claude-plugin/plugin.json。
• Zoom（#717）和 Meta Ads（#720）落在同一段 cursor/plugins main 上，但不在 pstack/ 里。
• 仍然不发 make-bot-ui 和 Benny。

保留的 fork 约定

• Spawn 仍走 profile：role / access / run，inherit，面板上的 ask。技能正文不点名 harness 工具，也不写模型 slug。
• 没有把模型 slug、Task / subagent_type 或 pstack-models.mdc 写回去。setup-pstack 的 harness 提示（references/harness-hints.md）没动。
• inherit 仍表示不覆盖模型。
• poteto-agent 和 Comment Sicko 仍是提示文件（skills/poteto-mode/references/poteto-agent.md、skills/no-comments/references/comment-sicko.md）。
• 历史、循环、提问仍是 profile 能力（history、loop、ask）。配方里仍是 loop until done，不是 /loop。
• 技能目录仍是 skills.sh 要的 skills/<name>/SKILL.md，frontmatter 有 name 和 description，name 与目录名一致。生成的项目技能仍写到 .agents/skills/。
• eli5、show-me、html-plan 没动。third_party/pstack/LICENSE 没动。

校对

• npx skills add . --list 找到 58 个技能（上一次是 57），包括 maintain-formal-verification-skill、create-formal-verification-skill、eli5、show-me。58 个技能的 frontmatter name 都与目录名一致。
• 改过的技能里没有冲突标记，也没有写回模型 slug 或 pstack-models.mdc。