michael-denyer/pstack-claude: Claude Code, Codex, Pi, OpenCode, Gemini, and Prime Agent versions of Poteto's pstack. Rigorous agent workflows with Cursor primitives translated for other harnesses.
Why CEREBRO kept it
Claude Code, Codex agent workflows across harnesses.
The text below is an automated extraction of the article at https://github.com/michael-denyer/pstack-claude, stored verbatim in the public cerebro-vault repository. Copyright remains with the original publisher (github.com).
Lauren Tan's pstack is an opinionated Cursor skill stack that improves agent outcomes. This is a port for Claude Code, Codex, Pi and other agent harnesses. It tracks upstream and also carries named policy forks, each declared in tools/forks.json. Tell poteto-mode your goal and it will invoke the correct workflow for the task. It keeps your code concise, simple and verified. For concurrency bugs and invariants that tests cannot reach, see the separate agent-formal-verify plugin, which adds TLA+ model checking and Lean proofs. Run in Claude Code: /plugin marketplace add michael-denyer/pstack-cla
Who builds this
michael-denyer is profiled here from public GitHub push activity.
Backlinks
Appeared in 1 briefing