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