Skip to content

mineru98/mstack

v0.2.0MIT

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

statechart

Check a TLA+ model of a system that moves between states, such as a product flow, a protocol, or a service, and draw it as a Mermaid statechart. The report gives the shortest path to each state that breaks a rule. Use for /statechart, or to show a bug as a path through states.

Read SKILL.md at the source

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

Files

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