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
显示更多
good prompt "find all of the implicit state machines in my app"
