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!