pstack-claude

This project is a port adapted to the Claude Code, Codex, Pi, GitHub Copilot, Muse and similar AI agent infrastructures of the pstack project, the Lauren Tan Cursor talent stack. It calls for specific workflows to keep the codebase short, simple and verified, and provides formal verification tools for invariants with synchronisation errors that tests cannot access. It offers add-on and ability upload commands for various agent infrastructures.