This repository adapts Lauren Tan's opinionated pstack workflow, originally designed for Cursor, to support Claude Code, Codex, Pi, and other agent harnesses. It translates rigorous agent workflows using Cursor primitives to improve coding outcomes across different platforms. The tool includes named policy forks and an optional plugin for formal verification using TLA+ and Lean proofs.
- Enables pstack's structured agent workflows on non-Cursor platforms like Claude Code and Codex.
- Maintains upstream compatibility while supporting specific policy forks via tools/forks.json.
- Offers an agent-formal-verify plugin for TLA+ model checking and Lean proofs.
- Aims to keep code concise, simple, and verified through rigorous agent interactions.
- Install via Claude Code plugin marketplace using the provided add command.