Individual skill
pstack-skill
Rigorous engineering orchestrator ported from Lauren Tan's pstack (poteto-mode): reads your task, picks one of 23 playbooks (bug fix, feature, refactoring, perf, investigation, prototype, babysit, shipping, autonomous run, orchestrate, and more), routes to bundled procedures (how, why, architect, arena, swarm, interrogate, unslop, technical-writing, show-me-your-work, tdd, and others), and applies 24 engineering principles. Self-contained: no plugin install, no sibling skills required, works with any agent that reads skills.sh-format SKILL.md files. Use whenever a task needs rigor: nontrivial code changes, architecture decisions, debugging, reviews, PRs, long autonomous runs, or "work like poteto", "poteto-mode", "pstack".
skills/pstack-skill/SKILL.md
Source commit ec4099f92fdeadcf1771c2a3f64efa4970733c89
What was checked
- Matches the observed repository HEAD
- Yes
- Scanner rules are current
- No
- Repository scan complete
- No
- Skill scan complete
- No
- Observed behavior
- Not checked yet
- Last checked
- Nov 5, 2026
These are observations at the recorded commit, not a guarantee of safety. Review the source before running it.
Install this skill
Choose an agent in your Stack or copy a command below. Commands fetch the pinned commit and copy only this skill directory. Existing destinations are refused. Copying a command does not install anything.
An install command is unavailable: current rules, complete repository and skill scans, an eligible behavior level and a permitted license are required.
Repository context
- Repository stars (not skill ratings)
- 133
- Repository last updated
- Nov 1, 2026
- License
- Apache-2.0
Observed agent integration: No specific integration evidence. Standard SKILL.md installation does not imply verified compatibility.
- agentic-ai Repository topic
- agentic-skills Repository topic
- skills Repository topic
- steering Repository topic
- claude-code Repository topic
- claude-skills Repository topic
- codex Repository topic
- codex-skill Repository topic
- codex-skills Repository topic
- hermes-agent Repository topic
- engineering Derived category
- testing Derived category
- writing Derived category
Files and excerpt
File metadata and permitted, redacted excerpts come from the recorded scan. Source links are pinned to that commit.
Browse files
README.mddoc · 13,241 bytesSKILL.mdcore · 23,805 bytesUPSTREAM_COMMITasset · 41 bytesplaybooks/authoring-a-skill.mddoc · 1,094 bytesplaybooks/autonomous-run.mddoc · 2,075 bytesplaybooks/autopilot-full.mddoc · 5,849 bytesplaybooks/autopilot-stack.mddoc · 1,250 bytesplaybooks/babysit.mddoc · 8,371 bytesplaybooks/bug-fix.mddoc · 2,662 bytesplaybooks/eval.mddoc · 3,116 bytesplaybooks/feature.mddoc · 3,111 bytesplaybooks/hillclimb.mddoc · 4,781 bytesplaybooks/investigation.mddoc · 1,124 bytesplaybooks/multi-phase-plan.mddoc · 11,958 bytesplaybooks/opening-a-pr.mddoc · 3,871 bytesplaybooks/orchestrate.mddoc · 6,006 bytesplaybooks/pause-safely.mddoc · 1,515 bytesplaybooks/perf-issue.mddoc · 1,453 bytesplaybooks/prototype.mddoc · 2,597 bytesplaybooks/refactoring.mddoc · 4,388 bytesplaybooks/runtime-forensics.mddoc · 1,459 bytesplaybooks/session-pickup.mddoc · 2,068 bytesplaybooks/shipping.mddoc · 4,527 bytesplaybooks/trace-forensics.mddoc · 1,809 bytesplaybooks/visual-parity.mddoc · 1,406 bytesplaybooks/worktree-cleanup.mddoc · 3,076 bytesreferences/bugbot-triage.mddoc · 9,668 bytesreferences/harness/claude-code.mddoc · 5,071 bytesreferences/principles.mddoc · 38,352 bytesreferences/skills/architect.mddoc · 3,230 bytesreferences/skills/arena.mddoc · 4,583 bytesreferences/skills/benchmark-checklist.mddoc · 4,922 bytesreferences/skills/blast-radius.mddoc · 2,563 bytesreferences/skills/bro.mddoc · 164 bytesreferences/skills/correct.mddoc · 2,377 bytesreferences/skills/create-formal-verification-skill.mddoc · 5,486 bytesreferences/skills/create-verification-skill.mddoc · 3,727 bytesreferences/skills/figure-it-out.mddoc · 3,918 bytesreferences/skills/how.mddoc · 2,909 bytesreferences/skills/in-your-own-words.mddoc · 153 bytesreferences/skills/interrogate.mddoc · 2,579 bytesreferences/skills/ketchup-video.mddoc · 4,142 bytesreferences/skills/ketchup.mddoc · 6,307 bytesreferences/skills/maintain-formal-verification-skill.mddoc · 6,945 bytesreferences/skills/maintain-verification-skill.mddoc · 2,282 bytesreferences/skills/no-comments.mddoc · 2,242 bytesreferences/skills/poteto-help.mddoc · 6,049 bytesreferences/skills/recall.mddoc · 2,457 bytesreferences/skills/reflect.mddoc · 2,344 bytesreferences/skills/setup-pstack.mddoc · 7,262 bytesreferences/skills/sharpen.mddoc · 604 bytesreferences/skills/show-me-your-work.mddoc · 2,787 bytesreferences/skills/statechart.mddoc · 10,694 bytesreferences/skills/statechart/render.mddoc · 3,612 bytesreferences/skills/swarm.mddoc · 1,774 bytesreferences/skills/tdd.mddoc · 2,118 bytesreferences/skills/teach.mddoc · 1,994 bytesreferences/skills/technical-writing.mddoc · 3,278 bytesreferences/skills/typescript-best-practices.mddoc · 1,913 bytesreferences/skills/unslop.mddoc · 4,496 bytesreferences/skills/why.mddoc · 3,646 bytesreferences/upstream-review-2026-11-01.mddoc · 10,674 bytesscripts/check-plan.mjsruns · 8,202 bytesscripts/check-plan.test.mjsruns · 4,070 bytesscripts/check-upstream.shruns · 9,108 bytesscripts/log.shruns · 1,234 bytesscripts/statechart/backends/cfg.tsruns · 1,230 bytesscripts/statechart/backends/mermaid.tsruns · 7,437 bytesscripts/statechart/backends/plain-text.tsruns · 2,343 bytesscripts/statechart/backends/report.tsruns · 7,060 bytesscripts/statechart/frontends/config.tsruns · 10,698 bytesscripts/statechart/frontends/dot.tsruns · 2,484 bytesscripts/statechart/frontends/marks.tsruns · 3,257 bytesscripts/statechart/frontends/messages.tsruns · 1,842 bytesscripts/statechart/frontends/spec.tsruns · 4,198 bytesscripts/statechart/frontends/trace.tsruns · 988 bytesscripts/statechart/frontends/value.tsruns · 4,757 bytesscripts/statechart/frontends/verdict.tsruns · 1,756 bytesscripts/statechart/frontends/view.tsruns · 4,354 bytesscripts/statechart/ir.tsruns · 15,141 bytesscripts/statechart/package.jsonruns · 233 bytesscripts/statechart/passes/annotate.tsruns · 3,738 bytesscripts/statechart/passes/label.tsruns · 8,555 bytesscripts/statechart/passes/lift.tsruns · 2,888 bytesscripts/statechart/passes/loop-check.tsruns · 2,149 bytesscripts/statechart/passes/paths.tsruns · 1,900 bytesscripts/statechart/passes/reach.tsruns · 4,063 bytesscripts/statechart/passes/region-check.tsruns · 3,525 bytesscripts/statechart/passes/regions.tsruns · 9,475 bytesscripts/statechart/pipeline.tsruns · 2,931 bytesscripts/statechart/run.tsruns · 15,850 bytesscripts/statechart/statechartruns · 991 bytesscripts/statechart/statechart.tsruns · 6,044 bytesscripts/statechart/test/ConfigOracle.javaasset · 2,717 bytesscripts/statechart/test/chart.test.tsruns · 39,702 bytesscripts/statechart/test/charts/Braces.mmdasset · 312 bytesscripts/statechart/test/charts/Escapes.mmdasset · 244 bytesscripts/statechart/test/charts/Phases.mmdasset · 584 bytesscripts/statechart/test/cli.test.tsruns · 50,337 bytesscripts/statechart/test/config-fuzz.test.tsruns · 8,719 bytesscripts/statechart/test/corpus.test.tsruns · 12,763 bytesscripts/statechart/test/corpus/Counter/ChartRun.outasset · 2,658 bytesscripts/statechart/test/corpus/Counter/Counter.cfgasset · 64 bytesscripts/statechart/test/corpus/Counter/Counter.tlaasset · 185 bytesscripts/statechart/test/corpus/Counter/chart.mmdasset · 112 bytesscripts/statechart/test/corpus/Counter/graph.dotasset · 633 bytesscripts/statechart/test/corpus/Counter/report.mddoc · 243 bytesscripts/statechart/test/corpus/Counter/sany.outasset · 38,148 bytesscripts/statechart/test/corpus/Counter/verdict-1.outasset · 2,199 bytesscripts/statechart/test/corpus/CounterAction/ChartRun.outasset · 2,780 bytesscripts/statechart/test/corpus/CounterAction/CounterAction.cfgasset · 89 bytesscripts/statechart/test/corpus/CounterAction/CounterAction.tlaasset · 255 bytesscripts/statechart/test/corpus/CounterAction/chart.mmdasset · 518 bytesscripts/statechart/test/corpus/CounterAction/graph.dotasset · 798 bytesscripts/statechart/test/corpus/CounterAction/report.mddoc · 436 bytesscripts/statechart/test/corpus/CounterAction/sany.outasset · 43,961 bytesscripts/statechart/test/corpus/CounterAction/verdict-1.exitasset · 3 bytesscripts/statechart/test/corpus/CounterAction/verdict-1.outasset · 2,152 bytesscripts/statechart/test/corpus/CounterAction/verdict-2.exitasset · 3 bytesscripts/statechart/test/corpus/CounterAction/verdict-2.outasset · 3,148 bytesscripts/statechart/test/corpus/CounterAction/verdict-3.outasset · 2,690 bytesscripts/statechart/test/corpus/CounterDeadlock/ChartRun.outasset · 2,752 bytesscripts/statechart/test/corpus/CounterDeadlock/CounterDeadlock.cfgasset · 63 bytesscripts/statechart/test/corpus/CounterDeadlock/CounterDeadlock.tlaasset · 225 bytesscripts/statechart/test/corpus/CounterDeadlock/chart.mmdasset · 462 bytesscripts/statechart/test/corpus/CounterDeadlock/graph.dotasset · 633 bytesscripts/statechart/test/corpus/CounterDeadlock/report.mddoc · 624 bytesscripts/statechart/test/corpus/CounterDeadlock/sany.outasset · 42,836 bytesscripts/statechart/test/corpus/CounterDeadlock/verdict-1.exitasset · 3 bytesscripts/statechart/test/corpus/CounterDeadlock/verdict-1.outasset · 2,160 bytesscripts/statechart/test/corpus/CounterDeadlock/verdict-2.exitasset · 3 bytesscripts/statechart/test/corpus/CounterDeadlock/verdict-2.outasset · 3,024 bytesscripts/statechart/test/corpus/CounterFan/ChartRun.outasset · 3,140 bytesscripts/statechart/test/corpus/CounterFan/CounterFan.cfgasset · 37 bytesscripts/statechart/test/corpus/CounterFan/CounterFan.tlaasset · 338 bytesscripts/statechart/test/corpus/CounterFan/chart.mmdasset · 1,771 bytesscripts/statechart/test/corpus/CounterFan/graph.dotasset · 5,433 bytesscripts/statechart/test/corpus/CounterFan/report.mddoc · 239 bytesscripts/statechart/test/corpus/CounterFan/sany.outasset · 49,584 bytesscripts/statechart/test/corpus/CounterFan/verdict-1.exitasset · 3 bytesscripts/statechart/test/corpus/CounterFan/verdict-1.outasset · 2,497 bytesscripts/statechart/test/corpus/CounterFan/verdict-2.outasset · 2,688 bytesscripts/statechart/test/corpus/CounterGuard/ChartRun.exitasset · 3 bytesscripts/statechart/test/corpus/CounterGuard/ChartRun.outasset · 3,415 bytesscripts/statechart/test/corpus/CounterGuard/CounterGuard.cfgasset · 66 bytesscripts/statechart/test/corpus/CounterGuard/CounterGuard.tlaasset · 192 bytesscripts/statechart/test/corpus/CounterGuard/chart.mmdasset · 63 bytesscripts/statechart/test/corpus/CounterGuard/graph.dotasset · 302 bytesscripts/statechart/test/corpus/CounterGuard/report.mddoc · 954 bytesscripts/statechart/test/corpus/CounterGuard/sany.outasset · 36,948 bytesscripts/statechart/test/corpus/CounterGuard/verdict-1.exitasset · 3 bytesscripts/statechart/test/corpus/CounterGuard/verdict-1.outasset · 2,433 bytesscripts/statechart/test/corpus/CounterGuard/verdict-2.exitasset · 3 bytesscripts/statechart/test/corpus/CounterGuard/verdict-2.outasset · 2,985 bytesscripts/statechart/test/corpus/CounterInitPast/ChartRun.outasset · 2,564 bytesscripts/statechart/test/corpus/CounterInitPast/CounterInitPast.cfgasset · 54 bytesscripts/statechart/test/corpus/CounterInitPast/CounterInitPast.tlaasset · 169 bytesscripts/statechart/test/corpus/CounterInitPast/chart.mmdasset · 282 bytesscripts/statechart/test/corpus/CounterInitPast/graph.dotasset · 84 bytesscripts/statechart/test/corpus/CounterInitPast/report.mddoc · 425 bytesscripts/statechart/test/corpus/CounterInitPast/sany.outasset · 36,125 bytesscripts/statechart/test/corpus/CounterInitPast/verdict-1.exitasset · 3 bytesscripts/statechart/test/corpus/CounterInitPast/verdict-1.outasset · 1,362 bytesscripts/statechart/test/corpus/CounterInitPast/verdict-2.outasset · 2,540 bytesscripts/statechart/test/corpus/CounterInitPastHolds/ChartRun.outasset · 2,547 bytesscripts/statechart/test/corpus/CounterInitPastHolds/CounterInitPastHolds.cfgasset · 50 bytesscripts/statechart/test/corpus/CounterInitPastHolds/CounterInitPastHolds.tlaasset · 171 bytesscripts/statechart/test/corpus/CounterInitPastHolds/chart.mmdasset · 16 bytesscripts/statechart/test/corpus/CounterInitPastHolds/graph.dotasset · 84 bytesscripts/statechart/test/corpus/CounterInitPastHolds/report.mddoc · 211 bytesscripts/statechart/test/corpus/CounterInitPastHolds/sany.outasset · 35,616 bytesscripts/statechart/test/corpus/CounterInitPastHolds/verdict-1.outasset · 2,089 bytesscripts/statechart/test/corpus/CounterInstance/ChartRun.outasset · 2,833 bytesscripts/statechart/test/corpus/CounterInstance/CounterInstance.cfgasset · 41 bytesscripts/statechart/test/corpus/CounterInstance/CounterInstance.tlaasset · 217 bytesscripts/statechart/test/corpus/CounterInstance/CounterSteps.tlaasset · 113 bytesscripts/statechart/test/corpus/CounterInstance/chart.mmdasset · 326 bytesscripts/statechart/test/corpus/CounterInstance/graph.dotasset · 599 bytesscripts/statechart/test/corpus/CounterInstance/report.mddoc · 295 bytesscripts/statechart/test/corpus/CounterInstance/sany.outasset · 75,094 bytesscripts/statechart/test/corpus/CounterInstance/verdict-1.exitasset · 3 bytesscripts/statechart/test/corpus/CounterInstance/verdict-1.outasset · 3,043 bytesscripts/statechart/test/corpus/CounterJump/ChartRun.outasset · 2,752 bytesscripts/statechart/test/corpus/CounterJump/CounterJump.cfgasset · 57 bytesscripts/statechart/test/corpus/CounterJump/CounterJump.tlaasset · 303 bytesscripts/statechart/test/corpus/CounterJump/chart.mmdasset · 547 bytesscripts/statechart/test/corpus/CounterJump/graph.dotasset · 1,075 bytesscripts/statechart/test/corpus/CounterJump/report.mddoc · 374 bytesscripts/statechart/test/corpus/CounterJump/sany.outasset · 46,017 bytesscripts/statechart/test/corpus/CounterJump/verdict-1.exitasset · 3 bytesscripts/statechart/test/corpus/CounterJump/verdict-1.outasset · 2,178 bytesscripts/statechart/test/corpus/CounterJump/verdict-2.outasset · 2,687 bytesscripts/statechart/test/corpus/CounterLoop/ChartRun.outasset · 2,674 bytesscripts/statechart/test/corpus/CounterLoop/CounterLoop.cfgasset · 41 bytesscripts/statechart/test/corpus/CounterLoop/CounterLoop.tlaasset · 232 bytesscripts/statechart/test/corpus/CounterLoop/chart.mmdasset · 320 bytesscripts/statechart/test/corpus/CounterLoop/graph.dotasset · 593 bytesscripts/statechart/test/corpus/CounterLoop/report.mddoc · 285 bytesscripts/statechart/test/corpus/CounterLoop/sany.outasset · 42,493 bytesscripts/statechart/test/corpus/CounterLoop/verdict-1.exitasset · 3 bytesscripts/statechart/test/corpus/CounterLoop/verdict-1.outasset · 2,866 bytesscripts/statechart/test/corpus/CounterOrder/ChartRun.outasset · 2,734 bytesscripts/statechart/test/corpus/CounterOrder/CounterOrder.cfgasset · 51 bytesscripts/statechart/test/corpus/CounterOrder/CounterOrder.tlaasset · 194 bytesscripts/statechart/test/corpus/CounterOrder/chart.mmdasset · 406 bytesscripts/statechart/test/corpus/CounterOrder/graph.dotasset · 299 bytesscripts/statechart/test/corpus/CounterOrder/report.mddoc · 606 bytesscripts/statechart/test/corpus/CounterOrder/sany.outasset · 39,895 bytesscripts/statechart/test/corpus/CounterOrder/verdict-1.exitasset · 3 bytesscripts/statechart/test/corpus/CounterOrder/verdict-1.outasset · 2,141 bytesscripts/statechart/test/corpus/CounterOrder/verdict-2.exitasset · 3 bytesscripts/statechart/test/corpus/CounterOrder/verdict-2.outasset · 2,762 bytesscripts/statechart/test/corpus/CounterRules/ChartRun.outasset · 2,927 bytesscripts/statechart/test/corpus/CounterRules/CounterRules.cfgasset · 79 bytesscripts/statechart/test/corpus/CounterRules/CounterRules.tlaasset · 265 bytesscripts/statechart/test/corpus/CounterRules/Moves.tlaasset · 70 bytesscripts/statechart/test/corpus/CounterRules/chart.mmdasset · 485 bytesscripts/statechart/test/corpus/CounterRules/graph.dotasset · 302 bytesscripts/statechart/test/corpus/CounterRules/report.mddoc · 509 bytesscripts/statechart/test/corpus/CounterRules/sany.outasset · 62,215 bytesscripts/statechart/test/corpus/CounterRules/verdict-1.exitasset · 3 bytesscripts/statechart/test/corpus/CounterRules/verdict-1.outasset · 2,290 bytesscripts/statechart/test/corpus/CounterRules/verdict-2.exitasset · 3 bytesscripts/statechart/test/corpus/CounterRules/verdict-2.outasset · 2,758 bytesscripts/statechart/test/corpus/CounterRules/verdict-3.exitasset · 3 bytesscripts/statechart/test/corpus/CounterRules/verdict-3.outasset · 3,041 bytesscripts/statechart/test/corpus/CounterRules/verdict-4.outasset · 2,824 bytesscripts/statechart/test/corpus/CounterStart/ChartRun.outasset · 2,725 bytesscripts/statechart/test/corpus/CounterStart/CounterStart.cfgasset · 53 bytesscripts/statechart/test/corpus/CounterStart/CounterStart.tlaasset · 180 bytesscripts/statechart/test/corpus/CounterStart/chart.mmdasset · 351 bytesscripts/statechart/test/corpus/CounterStart/graph.dotasset · 466 bytesscripts/statechart/test/corpus/CounterStart/report.mddoc · 343 bytesscripts/statechart/test/corpus/CounterStart/sany.outasset · 37,436 bytesscripts/statechart/test/corpus/CounterStart/verdict-1.exitasset · 3 bytesscripts/statechart/test/corpus/CounterStart/verdict-1.outasset · 1,353 bytesscripts/statechart/test/corpus/CounterStart/verdict-2.outasset · 2,702 bytesscripts/statechart/test/corpus/CounterStop/ChartRun.outasset · 2,674 bytesscripts/statechart/test/corpus/CounterStop/CounterStop.cfgasset · 53 bytesscripts/statechart/test/corpus/CounterStop/CounterStop.tlaasset · 172 bytesscripts/statechart/test/corpus/CounterStop/chart.mmdasset · 87 bytesscripts/statechart/test/corpus/CounterStop/graph.dotasset · 466 bytesscripts/statechart/test/corpus/CounterStop/report.mddoc · 127 bytesscripts/statechart/test/corpus/CounterStop/sany.outasset · 36,919 bytesscripts/statechart/test/corpus/CounterStop/verdict-1.outasset · 2,217 bytesscripts/statechart/test/corpus/CounterTie/ChartRun.outasset · 2,833 bytesscripts/statechart/test/corpus/CounterTie/CounterTie.cfgasset · 96 bytesscripts/statechart/test/corpus/CounterTie/CounterTie.tlaasset · 263 bytesscripts/statechart/test/corpus/CounterTie/chart.mmdasset · 600 bytesscripts/statechart/test/corpus/CounterTie/graph.dotasset · 798 bytesscripts/statechart/test/corpus/CounterTie/report.mddoc · 675 bytesscripts/statechart/test/corpus/CounterTie/sany.outasset · 45,338 bytesscripts/statechart/test/corpus/CounterTie/verdict-1.exitasset · 3 bytesscripts/statechart/test/corpus/CounterTie/verdict-1.outasset · 2,137 bytesscripts/statechart/test/corpus/CounterTie/verdict-2.exitasset · 3 bytesscripts/statechart/test/corpus/CounterTie/verdict-2.outasset · 2,606 bytesscripts/statechart/test/corpus/CounterTie/verdict-3.exitasset · 3 bytesscripts/statechart/test/corpus/CounterTie/verdict-3.outasset · 3,248 bytesscripts/statechart/test/corpus/CounterTie/verdict-4.outasset · 2,682 bytesscripts/statechart/test/corpus/CounterTieInGraph/ChartRun.outasset · 2,798 bytesscripts/statechart/test/corpus/CounterTieInGraph/CounterTieInGraph.cfgasset · 72 bytesscripts/statechart/test/corpus/CounterTieInGraph/CounterTieInGraph.tlaasset · 283 bytesscripts/statechart/test/corpus/CounterTieInGraph/chart.mmdasset · 455 bytesscripts/statechart/test/corpus/CounterTieInGraph/graph.dotasset · 933 bytesscripts/statechart/test/corpus/CounterTieInGraph/report.mddoc · 192 bytesscripts/statechart/test/corpus/CounterTieInGraph/sany.outasset · 47,544 bytesscripts/statechart/test/corpus/CounterTieInGraph/verdict-1.exitasset · 3 bytesscripts/statechart/test/corpus/CounterTieInGraph/verdict-1.outasset · 2,168 bytesscripts/statechart/test/corpus/CounterTieInGraph/verdict-2.outasset · 2,702 bytesscripts/statechart/test/corpus/CounterView/ChartRun.outasset · 2,836 bytesscripts/statechart/test/corpus/CounterView/CounterView.cfgasset · 96 bytesscripts/statechart/test/corpus/CounterView/CounterView.tlaasset · 264 bytesscripts/statechart/test/corpus/CounterView/chart.mmdasset · 502 bytesscripts/statechart/test/corpus/CounterView/graph.dotasset · 798 bytesscripts/statechart/test/corpus/CounterView/report.mddoc · 686 bytesscripts/statechart/test/corpus/CounterView/sany.outasset · 45,402 bytesscripts/statechart/test/corpus/CounterView/verdict-1.exitasset · 3 bytesscripts/statechart/test/corpus/CounterView/verdict-1.outasset · 2,141 bytesscripts/statechart/test/corpus/CounterView/verdict-2.exitasset · 3 bytesscripts/statechart/test/corpus/CounterView/verdict-2.outasset · 2,610 bytesscripts/statechart/test/corpus/CounterView/verdict-3.exitasset · 3 bytesscripts/statechart/test/corpus/CounterView/verdict-3.outasset · 3,256 bytesscripts/statechart/test/corpus/CounterView/verdict-4.outasset · 2,683 bytesscripts/statechart/test/corpus/CounterView/view.mjsruns · 67 bytesscripts/statechart/test/corpus/DieHard/ChartRun.outasset · 2,746 bytesscripts/statechart/test/corpus/DieHard/DieHard.cfgasset · 51 bytesscripts/statechart/test/corpus/DieHard/DieHard.tlaasset · 900 bytesscripts/statechart/test/corpus/DieHard/chart.mmdasset · 2,098 bytesscripts/statechart/test/corpus/DieHard/graph.dotasset · 10,782 bytesscripts/statechart/test/corpus/DieHard/report.mddoc · 427 bytesscripts/statechart/test/corpus/DieHard/sany.outasset · 67,417 bytesscripts/statechart/test/corpus/DieHard/verdict-1.exitasset · 3 bytesscripts/statechart/test/corpus/DieHard/verdict-1.outasset · 3,059 bytesscripts/statechart/test/corpus/DieHard/verdict-2.outasset · 2,679 bytesscripts/statechart/test/corpus/FirstRule/ChartRun.outasset · 2,773 bytesscripts/statechart/test/corpus/FirstRule/FirstRule.cfgasset · 69 bytesscripts/statechart/test/corpus/FirstRule/FirstRule.tlaasset · 173 bytesscripts/statechart/test/corpus/FirstRule/chart.mmdasset · 523 bytesscripts/statechart/test/corpus/FirstRule/graph.dotasset · 636 bytesscripts/statechart/test/corpus/FirstRule/report.mddoc · 380 bytesscripts/statechart/test/corpus/FirstRule/sany.outasset · 35,468 bytesscripts/statechart/test/corpus/FirstRule/verdict-1.exitasset · 3 bytesscripts/statechart/test/corpus/FirstRule/verdict-1.outasset · 2,134 bytesscripts/statechart/test/corpus/FirstRule/verdict-2.exitasset · 3 bytesscripts/statechart/test/corpus/FirstRule/verdict-2.outasset · 2,607 bytesscripts/statechart/test/corpus/FirstRule/verdict-3.exitasset · 3 bytesscripts/statechart/test/corpus/FirstRule/verdict-3.outasset · 2,604 bytesscripts/statechart/test/corpus/FirstRule/verdict-4.exitasset · 3 bytesscripts/statechart/test/corpus/FirstRule/verdict-4.outasset · 2,991 bytesscripts/statechart/test/corpus/HiddenClock/ChartRun.outasset · 2,675 bytesscripts/statechart/test/corpus/HiddenClock/HiddenClock.cfgasset · 71 bytesscripts/statechart/test/corpus/HiddenClock/HiddenClock.tlaasset · 290 bytesscripts/statechart/test/corpus/HiddenClock/chart.mmdasset · 277 bytesscripts/statechart/test/corpus/HiddenClock/graph.dotasset · 467 bytesscripts/statechart/test/corpus/HiddenClock/report.mddoc · 491 bytesscripts/statechart/test/corpus/HiddenClock/sany.outasset · 44,753 bytesscripts/statechart/test/corpus/HiddenClock/verdict-1.exitasset · 3 bytesscripts/statechart/test/corpus/HiddenClock/verdict-1.outasset · 2,716 bytesscripts/statechart/test/corpus/Login/ChartRun.outasset · 2,662 bytesscripts/statechart/test/corpus/Login/Login.cfgasset · 46 bytesscripts/statechart/test/corpus/Login/Login.tlaasset · 2,804 bytesscripts/statechart/test/corpus/Login/chart.mmdasset · 735 bytesscripts/statechart/test/corpus/Login/graph.dotasset · 2,946 bytesscripts/statechart/test/corpus/Login/report.mddoc · 304 bytesscripts/statechart/test/corpus/Login/sany.outasset · 61,094 bytesscripts/statechart/test/corpus/Login/verdict-1.outasset · 2,084 bytesscripts/statechart/test/corpus/Login/view.mjsruns · 47 bytesscripts/statechart/test/corpus/LoginGuarded/ChartRun.outasset · 2,683 bytesscripts/statechart/test/corpus/LoginGuarded/LoginGuarded.cfgasset · 56 bytesscripts/statechart/test/corpus/LoginGuarded/LoginGuarded.tlaasset · 3,297 bytesscripts/statechart/test/corpus/LoginGuarded/chart.mmdasset · 856 bytesscripts/statechart/test/corpus/LoginGuarded/graph.dotasset · 2,836 bytesscripts/statechart/test/corpus/LoginGuarded/report.mddoc · 295 bytesscripts/statechart/test/corpus/LoginGuarded/sany.outasset · 86,678 bytesscripts/statechart/test/corpus/LoginGuarded/verdict-1.outasset · 2,105 bytesscripts/statechart/test/corpus/LoginGuarded/view.mjsruns · 75 bytesscripts/statechart/test/corpus/LoginParallel/ChartRun.outasset · 2,765 bytesscripts/statechart/test/corpus/LoginParallel/LoginParallel.cfgasset · 76 bytesscripts/statechart/test/corpus/LoginParallel/LoginParallel.tlaasset · 2,619 bytesscripts/statechart/test/corpus/LoginParallel/chart.mmdasset · 1,114 bytesscripts/statechart/test/corpus/LoginParallel/graph.dotasset · 5,138 bytesscripts/statechart/test/corpus/LoginParallel/report.mddoc · 696 bytesscripts/statechart/test/corpus/LoginParallel/sany.outasset · 65,596 bytesscripts/statechart/test/corpus/LoginParallel/verdict-1.exitasset · 3 bytesscripts/statechart/test/corpus/LoginParallel/verdict-1.outasset · 3,109 bytesscripts/statechart/test/corpus/LoginParallel/verdict-2.outasset · 2,697 bytesscripts/statechart/test/corpus/LoginParallel/view.mjsruns · 75 bytesscripts/statechart/test/corpus/MediaPlayer/ChartRun.outasset · 2,747 bytesscripts/statechart/test/corpus/MediaPlayer/MediaPlayer.cfgasset · 77 bytesscripts/statechart/test/corpus/MediaPlayer/MediaPlayer.tlaasset · 3,514 bytesscripts/statechart/test/corpus/MediaPlayer/chart.mmdasset · 1,202 bytesscripts/statechart/test/corpus/MediaPlayer/graph.dotasset · 8,433 bytesscripts/statechart/test/corpus/MediaPlayer/report.mddoc · 506 bytesscripts/statechart/test/corpus/MediaPlayer/sany.outasset · 106,159 bytesscripts/statechart/test/corpus/MediaPlayer/verdict-1.exitasset · 3 bytesscripts/statechart/test/corpus/MediaPlayer/verdict-1.outasset · 2,239 bytesscripts/statechart/test/corpus/MediaPlayer/verdict-2.outasset · 3,573 bytesscripts/statechart/test/corpus/MediaPlayer/view.mjsruns · 195 bytesscripts/statechart/test/corpus/MediaPlayerFixed/ChartRun.outasset · 2,698 bytesscripts/statechart/test/corpus/MediaPlayerFixed/MediaPlayerFixed.cfgasset · 52 bytesscripts/statechart/test/corpus/MediaPlayerFixed/MediaPlayerFixed.tlaasset · 3,472 bytesscripts/statechart/test/corpus/MediaPlayerFixed/chart.mmdasset · 880 bytesscripts/statechart/test/corpus/MediaPlayerFixed/graph.dotasset · 7,629 bytesscripts/statechart/test/corpus/MediaPlayerFixed/report.mddoc · 363 bytesscripts/statechart/test/corpus/MediaPlayerFixed/sany.outasset · 107,448 bytesscripts/statechart/test/corpus/MediaPlayerFixed/verdict-1.outasset · 2,120 bytesscripts/statechart/test/corpus/MediaPlayerFixed/view.mjsruns · 195 bytesscripts/statechart/test/corpus/MediaPlayerProps/ChartRun.outasset · 2,853 bytesscripts/statechart/test/corpus/MediaPlayerProps/MediaPlayer.tlaasset · 3,514 bytesscripts/statechart/test/corpus/MediaPlayerProps/MediaPlayerProps.cfgasset · 107 bytesscripts/statechart/test/corpus/MediaPlayerProps/MediaPlayerProps.tlaasset · 164 bytesscripts/statechart/test/corpus/MediaPlayerProps/chart.mmdasset · 1,125 bytesscripts/statechart/test/corpus/MediaPlayerProps/graph.dotasset · 8,433 bytesscripts/statechart/test/corpus/MediaPlayerProps/report.mddoc · 766 bytesscripts/statechart/test/corpus/MediaPlayerProps/sany.outasset · 110,999 bytesscripts/statechart/test/corpus/MediaPlayerProps/verdict-1.exitasset · 3 bytesscripts/statechart/test/corpus/MediaPlayerProps/verdict-1.outasset · 2,408 bytesscripts/statechart/test/corpus/MediaPlayerProps/verdict-2.outasset · 2,861 bytesscripts/statechart/test/corpus/MediaPlayerProps/verdict-3.outasset · 2,828 bytesscripts/statechart/test/corpus/MediaPlayerProps/verdict-4.exitasset · 3 bytesscripts/statechart/test/corpus/MediaPlayerProps/verdict-4.outasset · 2,669 bytesscripts/statechart/test/corpus/MediaPlayerProps/verdict-5.exitasset · 3 bytesscripts/statechart/test/corpus/MediaPlayerProps/verdict-5.outasset · 2,292 bytesscripts/statechart/test/corpus/MediaPlayerProps/verdict-6.outasset · 2,274 bytesscripts/statechart/test/corpus/MediaPlayerProps/view.mjsruns · 195 bytesscripts/statechart/test/corpus/PickWorker/ChartRun.outasset · 2,672 bytesscripts/statechart/test/corpus/PickWorker/PickWorker.cfgasset · 125 bytesscripts/statechart/test/corpus/PickWorker/PickWorker.tlaasset · 298 bytesscripts/statechart/test/corpus/PickWorker/chart.mmdasset · 67 bytesscripts/statechart/test/corpus/PickWorker/graph.dotasset · 403 bytesscripts/statechart/test/corpus/PickWorker/report.mddoc · 303 bytesscripts/statechart/test/corpus/PickWorker/sany.outasset · 262,944 bytesscripts/statechart/test/corpus/PickWorker/verdict-1.outasset · 3,349 bytesscripts/statechart/test/corpus/Shadow/ChartRun.outasset · 2,935 bytesscripts/statechart/test/corpus/Shadow/Shadow.cfgasset · 88 bytesscripts/statechart/test/corpus/Shadow/Shadow.tlaasset · 225 bytesscripts/statechart/test/corpus/Shadow/ShadowLib.tlaasset · 146 bytesscripts/statechart/test/corpus/Shadow/ShadowSub.tlaasset · 43 bytesscripts/statechart/test/corpus/Shadow/chart.mmdasset · 115 bytesscripts/statechart/test/corpus/Shadow/graph.dotasset · 636 bytesscripts/statechart/test/corpus/Shadow/report.mddoc · 372 bytesscripts/statechart/test/corpus/Shadow/sany.outasset · 44,875 bytesscripts/statechart/test/corpus/Shadow/verdict-1.outasset · 3,026 bytesscripts/statechart/test/corpus/SpacedNames/ChartRun.outasset · 2,745 bytesscripts/statechart/test/corpus/SpacedNames/SpacedNames.cfgasset · 35 bytesscripts/statechart/test/corpus/SpacedNames/SpacedNames.tlaasset · 268 bytesscripts/statechart/test/corpus/SpacedNames/chart.mmdasset · 513 bytesscripts/statechart/test/corpus/SpacedNames/graph.dotasset · 855 bytesscripts/statechart/test/corpus/SpacedNames/report.mddoc · 297 bytesscripts/statechart/test/corpus/SpacedNames/sany.outasset · 24,142 bytesscripts/statechart/test/corpus/SpacedNames/verdict-1.exitasset · 3 bytesscripts/statechart/test/corpus/SpacedNames/verdict-1.outasset · 2,353 bytesscripts/statechart/test/corpus/SpacedNames/verdict-2.exitasset · 3 bytesscripts/statechart/test/corpus/SpacedNames/verdict-2.outasset · 2,928 bytesscripts/statechart/test/corpus/TwoPhase/ChartRun.outasset · 3,023 bytesscripts/statechart/test/corpus/TwoPhase/TwoPhase.cfgasset · 76 bytesscripts/statechart/test/corpus/TwoPhase/TwoPhase.tlaasset · 2,140 bytesscripts/statechart/test/corpus/TwoPhase/chart.mmdasset · 1,878 bytesscripts/statechart/test/corpus/TwoPhase/graph.dotasset · 38,927 bytesscripts/statechart/test/corpus/TwoPhase/report.mddoc · 818 bytesscripts/statechart/test/corpus/TwoPhase/sany.outasset · 89,545 bytesscripts/statechart/test/corpus/TwoPhase/verdict-1.exitasset · 3 bytesscripts/statechart/test/corpus/TwoPhase/verdict-1.outasset · 3,529 bytesscripts/statechart/test/corpus/TwoPhase/verdict-2.outasset · 2,685 bytesscripts/statechart/test/corpus/TwoPhase/view.mjsruns · 90 bytesscripts/statechart/test/corpus/TwoPhaseFixed/ChartRun.outasset · 2,692 bytesscripts/statechart/test/corpus/TwoPhaseFixed/TwoPhaseFixed.cfgasset · 76 bytesscripts/statechart/test/corpus/TwoPhaseFixed/TwoPhaseFixed.tlaasset · 2,108 bytesscripts/statechart/test/corpus/TwoPhaseFixed/chart.mmdasset · 1,068 bytesscripts/statechart/test/corpus/TwoPhaseFixed/graph.dotasset · 28,548 bytesscripts/statechart/test/corpus/TwoPhaseFixed/report.mddoc · 468 bytesscripts/statechart/test/corpus/TwoPhaseFixed/sany.outasset · 90,332 bytesscripts/statechart/test/corpus/TwoPhaseFixed/verdict-1.outasset · 2,113 bytesscripts/statechart/test/corpus/TwoPhaseFixed/view.mjsruns · 90 bytesscripts/statechart/test/corpus/TypeGuard/ChartRun.exitasset · 3 bytesscripts/statechart/test/corpus/TypeGuard/ChartRun.outasset · 2,966 bytesscripts/statechart/test/corpus/TypeGuard/TypeGuard.cfgasset · 54 bytesscripts/statechart/test/corpus/TypeGuard/TypeGuard.tlaasset · 187 bytesscripts/statechart/test/corpus/TypeGuard/chart.mmdasset · 370 bytesscripts/statechart/test/corpus/TypeGuard/graph.dotasset · 560 bytesscripts/statechart/test/corpus/TypeGuard/report.mddoc · 738 bytesscripts/statechart/test/corpus/TypeGuard/sany.outasset · 37,427 bytesscripts/statechart/test/corpus/TypeGuard/verdict-1.exitasset · 3 bytesscripts/statechart/test/corpus/TypeGuard/verdict-1.outasset · 2,419 bytesscripts/statechart/test/corpus/TypeGuard/verdict-2.exitasset · 3 bytesscripts/statechart/test/corpus/TypeGuard/verdict-2.outasset · 2,975 bytesscripts/statechart/test/corpus/UserNoDeadlock/ChartRun.outasset · 2,713 bytesscripts/statechart/test/corpus/UserNoDeadlock/UserNoDeadlock.cfgasset · 40 bytesscripts/statechart/test/corpus/UserNoDeadlock/UserNoDeadlock.tlaasset · 154 bytesscripts/statechart/test/corpus/UserNoDeadlock/chart.mmdasset · 477 bytesscripts/statechart/test/corpus/UserNoDeadlock/graph.dotasset · 636 bytesscripts/statechart/test/corpus/UserNoDeadlock/report.mddoc · 254 bytesscripts/statechart/test/corpus/UserNoDeadlock/sany.outasset · 35,387 bytesscripts/statechart/test/corpus/UserNoDeadlock/verdict-1.exitasset · 3 bytesscripts/statechart/test/corpus/UserNoDeadlock/verdict-1.outasset · 2,158 bytesscripts/statechart/test/corpus/UserNoDeadlock/verdict-2.exitasset · 3 bytesscripts/statechart/test/corpus/UserNoDeadlock/verdict-2.outasset · 3,022 bytesscripts/statechart/test/dependencies.test.tsruns · 1,055 bytesscripts/statechart/test/differential.test.tsruns · 18,644 bytesscripts/statechart/test/grid/Grid.cfgasset · 40 bytesscripts/statechart/test/grid/Grid.tlaasset · 205 bytesscripts/statechart/test/grid/sany.outasset · 40,105 bytesscripts/statechart/test/java.tsruns · 2,639 bytesscripts/statechart/test/labels.tsruns · 19,769 bytesscripts/statechart/test/messages.test.tsruns · 7,763 bytesscripts/statechart/test/pipeline.test.tsruns · 9,720 bytesscripts/statechart/test/plain-tlc.test.tsruns · 7,180 bytesscripts/statechart/test/render.test.tsruns · 3,463 bytesscripts/statechart/test/tlc-out.test.tsruns · 3,630 bytesscripts/statechart/test/tlc.tsruns · 5,743 bytesscripts/statechart/tsconfig.jsonasset · 225 bytesscripts/statechart/worker.tsruns · 1,095 bytesscripts/worktree-audit.shruns · 5,862 bytes
Read excerpt
# Pstack
An orchestrator for high-rigor engineering work, distilled from [Lauren Tan's](https://x.com/poteto) pstack plugin into one self-contained skill. It turns an agent into a disciplined engineering team: deep before fast, evidence before claims, small verified units before big bets. The goal is less, higher-quality code.
This skill is **sticky**. Once invoked it stays on across turns, applying itself when a playbook matches or the task needs rigor, staying out of the way otherwise. Opt out any time by saying so.
Everything referenced here ships inside this skill:
- `playbooks/*.md` — the step-by-step workflows. Copy matched steps verbatim.
- `references/principles.md` — the full text of the 24 principles indexed below.
- `references/bugbot-triage.md` — bot-review triage.
- `references/skills/*.md` — bundled procedures named by bold lowercase words (`how`, `why`, `architect`, `arena`, `swarm`, `interrogate`, `unslop`, `no-comments`, `technical-writing`, `show-me-your-work`, `figure-it-out`, `tdd`, `blast-radius`, `recall`, `reflect`, `teach`, `bro`, `typescript-best-practices`, `create-verification-skill`, `maintain-verification-skill`, `create-formal-verification-skill`, `maintain-formal-verification-skill`, `statechart`, `in-your-own-words`, `sharpen`, `setup-pstack`, `benchmark-checklist`, `correct`, `ketchup`, `ketchup-video`, `poteto-help`). Read the file when a step routes to one.
- `references/harness/*.md` — one tool, subagent, model, and path mapping per harness (`claude-code.md` today). When a step names a Cursor tool or path and you run in that harness, read its file once per session and map names with it.
- `scripts/log.sh` — decision-log helper. `scripts/worktree-audit.sh` — disk reclaim audit.