pstack-claude

適合用來

• 把 Cursor 的 pstack 嚴謹代理工作流程移植到 Claude Code、Codex、Copilot、Pi 等 harness 使用
• 告訴 poteto-mode 你的目標，由它選用正確的工作流程，讓程式碼精簡、簡單且經過驗證
• 用 /create-formal-verification-skill 為程式中風險最高的性質建立形式化驗證

怎麼開始

1. 在 Claude Code 2.1.292 以上執行 /plugin marketplace add michael-denyer/pstack-claude 再 /plugin install pstack@pstack-claude
2. Codex 用 codex plugin marketplace add michael-denyer/pstack-claude 再 codex plugin add pstack@pstack-claude
3. 用 /skill:名稱 呼叫技能，例如 /poteto-mode 並說明目標

使用前須知

這是 Lauren Tan 的 pstack（Cursor skill stack）移植版，追蹤上游並帶有命名的 policy fork。各 harness 的安裝指令與版本需求不同。

以上由 AI 依據專案說明整理，實際用法請以官方文件為準。