poteto@poteto

pstack v0.15.36 の /statechart スキルが安定版になって使えるようになったよ！/create-formal-verification-skill と組み合わせるのがおすすめで、ステートマシンや分散システムを抽象的にモデル化してバグを見つけられる。 スキルにはミニ tlc コンパイラが入ってて、パースして小さな IR に lowering して、バックエンドが mmd 構文を出力する。好きなスタイルでチャートを作るよう agent に頼むこともできるよ。スキルが pele.run を使うよう指示してて、テーマをめっちゃいじれるから、設計図風とか手描きの百科事典イラスト風とか好きなようにできる これが /statechart スキルのチャートと、さっき見つけたリアルなバグ2件。試してみて感想教えて！

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!