先了解这件事
AI 综述
lauren于2026年10月30日宣布,pstack v0.15.36的/statechart技能已稳定可用。该技能可与/create-formal-verification-skill配合,对状态机和分布式系统做抽象建模以查找bug。据同一来源介绍,该技能内置mini tlc编译器,可解析、下沉到小型IR,并由后端输出mmd语法;lauren表示已用它发现2个真实bug。目前尚无后续发展信息。
AI 根据公开报道生成
最新进展 · 正式报道
pstack v0.15.36 的 /statechart 技能稳定可用事件进展
1 个已确认进展
- 来源：Lauren Tan
报道与讨论时间线
按时间查看正式报道与传播讨论；两类内容的证据等级保持独立。
10月30日
Lauren Tan
pstack v0.15.36 的 /statechart 技能稳定可用
pstack v0.15.36 的 /statechart 技能已稳定可用，可与 /create-formal-verification-skill 配合，对状态机和分布式系统做抽象建模以查找 bug。该技能内置 mini tlc 编译器，可解析、下沉到小型 IR，并由后端输出 mmd 语法；作者用它已发现 2 个真实 bug。