lauren @poteto

2h ago

Open on X

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 github.com/cursor/plugins…