signalGitHub Trending2026-10-06
michael-denyer/pstack-claude
This project ports Lauren Tan's opinionated pstack skill stack to Claude Code, Codex, Pi, OpenCode, Gemini, and Prime Agent. It translates Cursor primitives, tracks upstream, and adds setup and routing tools. Installation uses plugin marketplace commands per harness.
- for who
- Developers using agent coding harnesses who want rigorous, tested workflows.
- why now
- New pstack port brings rigorous agent workflows to five harnesses now.
- what changes
- They gain a curated skill stack with automatic workflow routing and setup for multiple agent harnesses.
- to do
- Install the plugin via the provided marketplace commands for Claude Code, Codex, or Pi.
key points
- Port of Lauren Tan's pstack for Claude Code, Codex, Pi, OpenCode, Gemini, Prime Agent
- Provides poteto-mode to invoke correct workflow for bug fixes, features, planning, refactoring
- Separate agent-formal-verify plugin adds TLA+ model checking and Lean proofs
#pstack#claude code#agent workflow#open source project#multi harness port
score
score 8 out of 10. 0-10: how dense the facts are, multiplied by how much you can do with them after reading. 8+ means the topic's evidence bar is met: benchmarks and availability for a new model, amount and investors for a funding round, revenue figures for a solo-money story. Below 5 an item does not enter the digest. A press release scores 3 or less, a reprint loses 2, anything older than 14 days loses 1, a headline that misleads loses 3.
read the source