poteto@poteto

pstack v0.15.36 里的 /statechart 技能现在稳定可用啦！最好搭配 /create-formal-verification-skill 一起用，对状态机和分布式系统做抽象建模来找 bug。 这个技能里有个迷你 tlc 编译器，会解析、降级成一个小 IR，后端输出 mmd 语法。你想的话也可以让你的 agent 按你喜欢的任何风格画图，这个技能会让它用 pele.run，主题可以随便改，所以你可以做蓝图、手绘百科插画风或者任何你喜欢的样式 这是 /statechart 技能的图，还有我刚找到的 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://pele.run/ 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!