poteto@poteto

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 https://github.com/cursor/plugins/tree/main/pstack