lauren· @poteto · X·· 2 小时前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
在 X 查看被引用的帖子good prompt "find all of the implicit state machines in my app"
来源：lauren · x.com