lauren 预告 pstack 状态图技能即将发布
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
lauren 表示自己近期比较安静，正在开发一个新的配套技能，帮助智能体绘制状态图/图表，并对照用户用 pstack 中 /create-formal-verification-skill 生成的规格进行检查。该技能现在使用了 @kepano 的 Pele，因此图表效果更好，即将发布。
查看原帖让智能体绘制状态图（此图中的假设示例），然后使用你用 pstack 创建的 /create-formal-verification-skill 通过类似 TLA+ 的方式查找缺陷，这真的很酷。你既能更好地理解自己的代码以及用户流程应如何运作，又能修复用户原本会遇到的问题
查看原文
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
正文 · AI 翻译
我最近有点安静——正在开发一个新的配套技能，它能帮助你的智能体绘制这些漂亮的状态图/图表，并对照你用 pstack 中的 /create-formal-verification-skill 生成的规格进行检查！
它现在还使用了 @kepano 的 Pele，所以看起来才这么好看。
很快就会发布！