QE-0047-A·————-——-——T——:——:——
Owner
Use /create-formal-verification-skill to model these state machines, one skill per subsystem. Then use /statechart to visualize my most important user flows.
From lauren (@poteto) on X: https://x.com/poteto/status/2119521036660314339. Both skills are in pstack (github.com/cursor/plugins/tree/main/pstack). Pairs well with the Dev prompt 'Make implicit state machines explicit'.