Lauren Tan 分享用 /create-formal-verification-skill 和 /statechart 技能建模应用状态机的提示词

导读

Lauren Tan 分享两条提示词，建议用 /create-formal-verification-skill 为每个子系统建模状态机，并用 /statechart 可视化最重要的用户流。她引用了他人“找出应用中所有隐式状态机”的提示词，称两个技能都在 pstack 中，附 GitHub 链接 https://github.com/cursor/plugins/tree/main/pstack。