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

- Source: Lauren Tan
- Published: 2026-11-08T20:02:48.000Z
- Bad Influence: https://badinfluence.news/items/eipozssc0sm3q5vw3p27cllob
- Original: https://x.com/poteto/status/2119521036660314339

## Summary

Lauren 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. Steve Ruizok suggests the prompt "find all of the implicit state machines in my app" as a starting point.

## Post

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

## Quoted post @steveruizok

> good prompt "find all of the implicit state machines in my app"

https://x.com/steveruizok/status/2116552016218710389