Lauren Tan 分享用 /create-formal-verification-skill 和 /statechart 建模状态机的提示词
Lauren Tan 分享用 /create-formal-verification-skill 和 /statechart 技能建模应用状态机的提示词
Lauren Tan 分享两条提示词，建议用 /create-formal-verification-skill 为每个子系统建模状态机，并用 /statechart 可视化最重要的用户流。她引用了他人“找出应用中所有隐式状态机”的提示词，称两个技能都在 pstack 中，并附上 GitHub 链接 github.com/cursor/plugins/tre…。
lauren· @poteto · X·2026-11-09 04:02· 18 分钟前AI 评分51
AI 导读
Lauren Tan 分享两条提示词，建议用 /create-formal-verification-skill 为每个子系统建模状态机，并用 /statechart 可视化最重要的用户流。她引用了他人“找出应用中所有隐式状态机”的提示词，称两个技能都在 pstack 中，附 GitHub 链接 github.com/cursor/plugins/tre…。
正文 · 原文
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/tre…
在 X 查看被引用的帖子good prompt "find all of the implicit state machines in my app"
来源：lauren · x.com
来源：RadarAI · aihot.news