Skip to content
Trending storyMonitoring

Lauren Tan suggests Claude skills for modeling app state machines

1 article1 sourcesince Nov 8Last article

Overview

AISummary of 1 article

Lauren Tan recommends using two skills, /create-formal-verification-skill and /statechart, to model state machines in an app, with one skill per subsystem and /statechart used to visualize key user flows.

Both skills are in the pstack plugin in the cursor/plugins GitHub repository, according to Tan's post on X. Steve Ruizok suggests starting with the prompt "find all of the implicit state machines in my app."

Written by AI from the articles below · updated Nov 9, 9:06 PM ET

Check the sources:

Latest developmentNov 8, 3:02 PM ET
try this next “use /create-formal-verification-skill to model these state machines, one skill per subsystem. and use /statechart to visua...

Article timeline

The articles in this story. Times are ET.

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

Heat Trend

Not enough continuous observations to show a trend yet.