poteto@poteto

다음엔 이거 해봐 “/create-formal-verification-skill로 이 상태 머신들을 모델링해줘, 서브시스템마다 스킬 하나씩. 그리고 /statechart로 내 핵심 사용자 플로우를 시각화해줘” 두 스킬 다 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