Lauren 征集 /statechart 图表与形式化验证 bug 案例
show me the all the cool charts you've made with /statechart! and bugs that you've found using the /create-formal-verification skill
AI 导读
Lauren（@poteto）发帖征集用户用 /statechart 做出的图表，以及用 /create-formal-verification 技能发现的 bug，并给出 pstack 的安装链接。该帖引用了 Kevin Ngo 用 /statechart 技能制作的珍珠奶茶店业务图表，该图表用 JavaScript 绘制、以 Claude Opus 5.5 完成并开源。
查看原帖用 JavaScript 绘制的图表，使用 @poteto 的 /statechart 技能制作。一家珍珠奶茶店的业务 开源。使用 Claude Opus 5.5 制作 https://t.co/K3kW5hi6c6
查看原文
Diagrams drawn in JavaScript, made with @poteto's /statechart skill. The business of a boba shop Open source. Made with Claude Opus 5.5 https://t.co/K3kW5hi6c6
正文 · AI 翻译
给我看看你用 /statechart 做出的所有炫酷图表！还有你用 /create-formal-verification 技能发现的 bug
你可以在这里安装 pstack：https://t.co/SxilBe4Diu