lauren· @poteto · X·· 3 小时前AI 评分16
AI 导读
我最近有点安静——在做一个新的 companion 技能，能帮你的智能体绘制这些漂亮的状态图/图表，并用你在 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