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 根据项目说明整理，实际用法请以官方文档为准。