Skip to content
View original post on X: lauren
Published
34/100

try this next “use /create-formal-verification-skill to model these state machines, one skill per subsystem. and use /statechart to visua...

AILauren Tan suggests using /create-formal-verification-skill to model state machines, one skill per subsystem, and /statechart to visualize key user flows. Both skills are in the pstack plugin in the cursor/plugins GitHub repository.
laurenVerified on X
@poteto
View 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

https://github.com/cursor/plugins/tree/main/pstack

Steve Ruiz@steveruizok
good prompt "find all of the implicit state machines in my app"
View quoted post on X
Source details

lauren · x.comPublished · added here