michael-denyer / pstack-claude

∴ 是什么

pstack-claude 是 Lauren Tan 的 pstack 项目（一个基于 Cursor 的技能栈）的移植版本，面向 Claude Code、Codex、Pi 等 Agent 框架。它通过工具/插件形式加载技能，并使用 poteto-mode 调用工作流，同时包含策略分支（forks）声明和设置命令。

∴ 解决什么问题

• ›为不同 Agent 框架提供一致的严格工作流，提升 Agent 输出质量
• ›通过 poteto-mode 自动选择并执行任务对应的工作流
• ›帮助修复并发 bug 和测试无法覆盖的不变量（需配合 agent-formal-verify）

∴ 怎么上手

1. 01在 Claude Code 中运行：/plugin marketplace add michael-denyer/pstack-claude 和 /plugin install pstack@pstack-claude
2. 02在终端运行（Codex）：codex plugin marketplace add michael-denyer/pstack-claude 和 codex plugin add pstack@pstack-claude
3. 03在终端运行（Pi）：pi install git:github.com/michael-denyer/pstack-claude
4. 04使用 poteto-mode 输入目标，例如：Use poteto-mode to fix the search filter resetting when I change pages.

∴ 适合谁

使用 Claude Code、Codex、Pi 等 Agent 框架的开发者，需要严谨的工作流和代码验证功能。

∴ 要点

• ›支持多种 Agent 框架：Claude Code、Codex、Pi、Prime Agent、OpenCode、Gemini CLI
• ›提供 named policy forks（通过 tools/forks.json 声明）和共享技能安装方式
• ›无服务器、无遥测，数据由模型提供商处理
• ›MIT 许可证，包含多个版权声明（Michael Denyer、Lauren Tan、Cursor）

∴ 在榜记录

GitHub Trending 今日榜的每日存档，日期按北京时间。2026-10-05 首次上榜，累计在榜 2 天，最高第 3 名。