Draw what an app's user sees as a Mermaid statechart from a TLA+ model. States are gray if they work, red if still wrong, and green if fixed. Each bug TLC finds is a numbered path. Use for /statechart, "show the PM the bug", or to turn an agreed chart into a TLA+ skeleton.
Collected from public GitHub. Every version is saved exactly as it was and never changes. Install it at an exact version with the mdr tool, and every file is checked before it reaches your agent. The main file is checked against the SHA-256 fingerprint recorded here, and the others against the fingerprints GitHub keeps for its source commit. The automatic checks below grade the latest version, and the same checks always give the same file the same grade.
What the file says
> Portable adaptation of Lauren Tan's pstack v0.15.30. Use available host capabilities and the fallbacks in PORTABILITY.md; do not claim unavailable tools, subagents, or runtime evidence.
# Statechart
The chart shows what an app's user sees. A PM reads it to decide whether that behavior is right. Label each state with what is on the screen, such as "Paying". Label each step with what the user does or sees happen, such as "tap Pay" or "the charge goes through". Keep variable and action names out of labels. The scripts call this user the reader, as in `readerActions` and reader steps.
Run `node <skill dir>/scripts/statechart.mjs --help` for the commands and for how to read a chart. Work in a scratch folder outside the repo. The command writes its files next to its input.
## Pick the direction
Use `from-spec` when a TLA+ model exists or the code is concrete enough to model. Use `from-chart` when there is no model and the PM should agree on the behavior before anyone writes or changes the code.
…
The line at the top of this page pins the label git:20261023.9aa1985, which is what most people want. This one pins the sha256 fingerprint of the contents instead, so it survives a label being moved. Either way the exact version is written to mdr.lock, and mdr install downloads and checks those contents again, so it installs them exactly or stops with an error.
GET https://markdownregistry.com/api/v1/artifacts/art_wopphumnarr7ewag
GET https://markdownregistry.com/api/v1/resolve?ref=theonlyfusioncube/potetos-for-everyone/statechart
GET https://markdownregistry.com/api/v1/blob/bb521f707b93517439c025b50f8d776b6b27725d78bf733c5ec8e283e37a2c23
Your AI assistant does the legwork. You hear about the deals worth your word. Hand yours the standing instructions at modelranch.com and it joins the network that reads files like this one.
theonlyfusioncube/potetos-for-everyone · automations/benny/skills/reproduce-and-fix-issues/SKILL.md · Reproduce a confirmed issue on the closest real surface, find root cause, and optionally prepare a minimal draft fix…
theonlyfusioncube/potetos-for-everyone · automations/benny/skills/triage-issue-reports/SKILL.md · Triage incoming software issue reports using available repository and runtime evidence, without editing code. Use for…
theonlyfusioncube/potetos-for-everyone · skills/architect/SKILL.md · Settle data shapes, ownership, boundaries, and interfaces before code crosses a function/module boundary. Use for…
theonlyfusioncube/potetos-for-everyone · skills/arena/SKILL.md · Spawn parallel candidate implementations for the same task, cross-judge, and graft the best parts into the winning…
theonlyfusioncube/potetos-for-everyone · skills/automate-me/SKILL.md · Create a personal mode skill from recurring workflow patterns in available history. Use when the user wants their own…
theonlyfusioncube/potetos-for-everyone · skills/benchmark-checklist/SKILL.md · Vet a perf measurement (limiter, tuning, limits, errors, repeatability, relevance, and whether the work happened)…
theonlyfusioncube/potetos-for-everyone · skills/blast-radius/SKILL.md · Prove what a small-looking change can affect before or after editing. Use for compatibility, caller, state, schema, or…
theonlyfusioncube/potetos-for-everyone · skills/bro/SKILL.md · Restate the last technical explanation in plain human language with minimal jargon. Use when the user asks for a…
theonlyfusioncube/potetos-for-everyone · skills/correct/SKILL.md · Find the mistakes agents keep repeating in this repo and make each one impossible. Try architecture first, then types…
theonlyfusioncube/potetos-for-everyone · skills/create-formal-verification-skill/SKILL.md · Generate a project-local skill that formally verifies the code where a bug costs the most and tests reach the least, in…
theonlyfusioncube/potetos-for-everyone · skills/create-verification-skill/SKILL.md · Generate a project-local verification skill that drives the real app and captures evidence. Use when setting up…
cursor/plugins · harness/pstack/claude-code/skills/statechart/SKILL.md · Check a TLA+ model of a system that moves between states, such as a product flow, a protocol, or a service, and draw it…
cursor/plugins · pstack/skills/statechart/SKILL.md · Check a TLA+ model of a system that moves between states, such as a product flow, a protocol, or a service, and draw it…
michael-denyer/pstack-claude · plugins/pstack/skills/statechart/SKILL.md · Check a TLA+ model of a system that moves between states, such as a product flow, a protocol, or a service, and draw it…
backnotprop/pstack · skills/statechart/SKILL.md · Check a TLA+ model of a system that moves between states, such as a product flow, a protocol, or a service, and draw it…
creedants/pstack-t3 · t3/overrides/statechart/SKILL.md · Check a TLA+ model of a system that moves between states, such as a product flow, a protocol, or a service, and draw it…
painhardcore/pstack · skills/statechart/SKILL.md · Check a TLA+ model of a system that moves between states, such as a product flow, a protocol, or a service, and draw it…
creedants/pstack-t3 · skills/statechart/SKILL.md · Check a TLA+ model of a system that moves between states, such as a product flow, a protocol, or a service, and draw it…
painhardcore/pstack · .opencode/skills/statechart/SKILL.md · Check a TLA+ model of a system that moves between states, such as a product flow, a protocol, or a service, and draw it…
