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
pstack v0.15.36 的 /statechart 技能已稳定可用，可与 /create-formal-verification-skill 配合，对状态机和分布式系统做抽象建模以查找 bug。该技能内置 mini tlc 编译器，可解析、下沉到小型 IR，并由后端输出 mmd 语法；作者用它已发现 2 个真实 bug。
正文
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 machines and distributed systems to find bugs.
the skill contains a mini tlc compiler that parses, lowers to a small IR, and has a backend that outputs mmd syntax. if you want you can also ask your agent to create charts in whatever style you like, the skills tells it to use https://t.co/bbZicR5ePc which is very themeable so you can make blueprints, hand drawn encyclopedia illustrations or whatever you like
here's a chart of the /statechart skill and 2 real bugs i just found. try it out and let me know what you think!