poteto@poteto

下次试试这个“用 /create-formal-verification-skill 来给这些状态机建模，每个子系统一个 skill。再用 /statechart 把我最重要的用户流程画出来” 两个 skill 都在 pstack 里

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