Skills/Agent Hub
pstack-claude
Claude Code, Codex, Copilot, Pi, OpenCode, Gemini, and Prime Agent versions of Poteto's pstack. Rigorous agent workflows with Cursor primitives translated for other harnesses.
License: MIT
Repository files
- .agents/plugins/marketplace.json
- .claude-plugin/marketplace.json
- .github/FUNDING.yml
- .github/ISSUE_TEMPLATE/bug_report.yml
- .github/ISSUE_TEMPLATE/config.yml
- .github/ISSUE_TEMPLATE/feature_request.yml
- .github/dependabot.yml
- .github/pull_request_template.md
- .github/workflows/ci.yml
- .github/workflows/security.yml
- .gitignore
- .markdownlint-cli2.jsonc
- .pre-commit-config.yaml
- CHANGES.md
- CONTEXT.md
- CONTRIBUTING.md
- LICENSE
- LICENSE-cursor-team-kit
- LICENSE-thermos
- NOTICE-skills.md
- NOTICE.md
- README.md
- SECURITY.md
- VERSION
- assets/pstack-overview.png
- assets/pstack-overview.prompt.txt
- bun.lock
- bunfig.toml
- docs/pi-equivalence.md
- docs/reference.md
- lean/Model/WatchPoll.lean
- lean/Model/WatchPoll.mutations
- lean/Model/WatchPoll.statements
- lean/lake-manifest.json
- lean/lakefile.toml
- lean/lean-toolchain
- package.json
- plugins/pstack/.claude-plugin/icon.png
- plugins/pstack/.claude-plugin/plugin.json
- plugins/pstack/.codex-plugin/plugin.json
- plugins/pstack/.codex-plugin/prompts/architect.md
- plugins/pstack/.codex-plugin/prompts/arena.md
- plugins/pstack/.codex-plugin/prompts/automate-me.md
- plugins/pstack/.codex-plugin/prompts/babysit.md
- plugins/pstack/.codex-plugin/prompts/benchmark-checklist.md
- plugins/pstack/.codex-plugin/prompts/blast-radius.md
- plugins/pstack/.codex-plugin/prompts/bro.md
- plugins/pstack/.codex-plugin/prompts/correct.md
- plugins/pstack/.codex-plugin/prompts/create-verification-skill.md
- plugins/pstack/.codex-plugin/prompts/deslop.md