try this next “use /create-formal-verification-skill to model these state machines, one skill per subsystem. and use /statechart to visualize my most important user flows”
both skills are in pstack
Show more
good prompt "find all of the implicit state machines in my app"
