poteto@poteto

次はこれ試してみて「/create-formal-verification-skill でこの状態機械をモデル化して、サブシステムごとに1スキル。/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