pstack
Lauren Tan's pstack is an opinionated Cursor skill stack that improves agent outcomes. This is a port for Claude Code, Codex, Pi, GitHub Copilot, Muse, 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, /create-formal-verification-skill picks the riskiest property in your code, verifies it with a tool that fits, and leaves a project skill the next agent reruns. The separate agent-formal-verify plugin goes deeper on the method, with guided TLA+ model checking, Lean proofs, and Kani for Rust.
Built for Claude Code
This port translates upstream's Cursor skills for Claude Code before installation. Upstream's Claude Code install asks agents to translate Cursor names at runtime, using extra tokens and relying on them to apply the mapping correctly. This port also adds a SessionStart hook that routes tasks to poteto-mode.
Install
Run in Claude Code 2.1.292 or later:
/plugin marketplace add michael-denyer/pstack-claude
/plugin install pstack@pstack-claude
Claude Code leaves auto-update off for third-party marketplaces, so pstack stays on the version you installed. To turn it on, run /plugin, open the Marketplaces tab, select pstack-claude, and choose Enable auto-update. To update once by hand, run claude plugin update pstack@pstack-claude.
Run in your terminal:
codex plugin marketplace add michael-denyer/pstack-claude
codex plugin add pstack@pstack-claude
Invoke a skill by typing $ and its name, such as $poteto-mode or $babysit, then choosing its entry, which inserts $pstack:<name>. /skills lists every skill.
Run in your terminal, with Pi 1.5.1 or later:
pi install git:github.com/michael-denyer/pstack-claude
The package loads the skills and the pstack Pi extension, which adds the subagent, question, and wake-up tools the skills use, plus /loop and the routing instruction. Invoke a skill with /skill:<name>.
Run in your terminal:
copilot plugin marketplace add michael-denyer/pstack-claude
copilot plugin install pstack@pstack-claude
This installs pstack for the Copilot CLI and the GitHub Copilot app, which share ~/.copilot. Start a new session afterwards. Copilot ships no default pstack models, so the first skill that needs one runs setup-pstack to pick from the models your account lists, and later sessions reuse that choice.
The Copilot build is tested on Copilot CLI 1.0.87 through 1.0.92. On those versions the routing hook's context reaches the session alongside other plugins' session-start context. If a later version keeps only one plugin's context, setup-pstack offers a standing instruction for ~/.copilot/copilot-instructions.md instead. On 1.0.92, once the CLI caches its computer-use experiment assignment, copilot -p sessions list no plugin skills and a skill call returns "Skill not found". Interactive sessions, the hooks, and the agents are unaffected.
Run in your terminal:
git clone https://github.com/michael-denyer/pstack-claude
cd pstack-claude
muse plugins install ./plugins/pstack
muse plugins approve pstack
The first command installs the native Muse plugin bundle. The second approves its SessionStart hook and agent definitions, which Muse runs only after approval. Start a new session afterwards. Invoke a skill with /<name> (for example /poteto-mode), which Muse lists for each user-invocable skill.
Run in your terminal:
omp plugin marketplace add michael-denyer/pstack-claude
omp plugin install --scope user pstack@pstack-claude
Restart OMP after installing, disabling, or uninstalling pstack. OMP 18.16.0 shares one plugin cache across scopes, so an upgrade or removal can affect other installations; inspect their source and scope before changing them. See OMP issue 16827.
After a release containing kimi.plugin.json is published, close other Kimi sessions and install it in a fresh Kimi Code CLI session:
/plugins install https://github.com/michael-denyer/pstack-claude
/reload
To test an unreleased checkout, use /plugins install /absolute/path/to/pstack-claude instead, followed by /reload; Kimi copies the whole checkout, including Git metadata and local files, so use a clean, reviewed copy. To update, close other Kimi sessions, reinstall from the same source in a fresh session, and run /reload. Invoke a skill as /skill:pstack:poteto-mode; see the Kimi mapping for tool guidance.
git clone https://github.com/michael-denyer/pstack-claude
cd pstack-claude
grok plugin install "$PWD/plugins/pstack" --trust
grok plugin enable pstack
Start a new session and use /poteto-mode to load the skill explicitly. To update a local install, quit Grok sessions, inspect grok plugin details pstack and back up any edits in the installed copy, pull the checkout, run grok plugin uninstall pstack --keep-data, and repeat the last two commands. If pstack was disabled, disable it again before restarting. grok plugin update does not refresh a local install.
This is the beginning of the README. Read the rest at the original. Read the full README ↗
