kyeshmz/pstack

v0.15.30MIT

if you want to go fast, go deep first. pstack helps you write less, but higher quality code. rigorous agent workflows you can parallelize with confidence.

GitHub Open Website

skills

statechart

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.

Read SKILL.md at the source

Pinned to revision 997ad254e7b5, so it is the text this page describes rather than whatever the author pushed since.

Files

skills/statechart/SKILL.md

Every link opens the file at its source, pinned to the revision this page describes.