lauren· @poteto · X·· 2 小时前AI 评分23
AI 导读
最近有点安静——我在做一个新的配套技能，能帮你的智能体画出这些漂亮的状态图/图表，并用你在 pstack 里通过 /create-formal-verification-skill 做好的规范来校验它们！ 它现在还用了 @kepano 的 Pele，所以看起来才这么好看。 很快发布！
正文 · 原文
i've been a bit quiet - working on a new companion skill that will help your agents draw these beautiful statecharts/diagrams + check them against the specs you made with /create-formal-verification-skill in pstack!
it now uses Pele from @kepano too which is why they look so good.
will release soon!
there's something really cool about asking your agent to draw a statechart (hypothetical example in this image), then using the /create-formal-verification-skill you made with pstack to find bugs through something like TLA+. you can both understand your code better and how the user flow should work, and fix issues users would otherwise see在 X 查看被引用的帖子
来源：lauren · x.com