pstack v0.15.36 的 /statechart 技能稳定可用
the /statechart skill in pstack v0.15.36 is now stable and ready for use! it's best combined with /create-formal-verification-skill to abstractly model state ma
AI 导读
pstack v0.15.36 的 /statechart 技能已稳定可用，可与 /create-formal-verification-skill 配合，对状态机和分布式系统做抽象建模以查找 bug。该技能内置 mini tlc 编译器，可解析、下沉到小型 IR，并由后端输出 mmd 语法；作者用它已发现 2 个真实 bug。
正文 · AI 翻译
pstack v0.15.36 中的 /statechart 技能现已稳定并可供使用！最好将其与 /create-formal-verification-skill 结合使用，以对状态机和分布式系统进行抽象建模，从而发现 bug。
该技能包含一个迷你 tlc 编译器，它会解析、下沉到一个小型 IR，并有一个输出 mmd 语法的后端。如果你愿意，也可以让你的 agent 按你喜欢的任何风格创建图表，该技能会告诉它使用 https://t.co/bbZicR5ePc，这个工具非常可主题化，因此你可以制作蓝图、手绘百科全书插图或任何你喜欢的风格
这里有一张 /statechart 技能的图表，以及我刚发现的 2 个真实 bug。试试看，并告诉我你的想法！