xAI 工程师开发智能体状态图技能，可用 pstack 规范校验

xAI 工程师开发智能体状态图技能

AI 导读

xAI 工程师 lauren（@poteto）正在开发一款配套技能，帮助智能体绘制状态图/图表，并用 pstack 中通过 /create-formal-verification-skill 生成的规范进行校验。该技能还使用了 @kepano 的 Pele，作者表示将很快发布。

正文 · AI 翻译

lauren· @poteto · X·2026-10-23 06:33· 54 分钟前AI 评分23

AI 导读

最近有点安静——我在做一个新的配套技能，能帮你的智能体画出这些漂亮的状态图/图表，并用你在 pstack 里通过 /create-formal-verification-skill 做好的规范来校验它们！它现在还用了 @kepano 的 Pele，所以看起来才这么好看。很快发布！

正文 · 原文

我最近有点安静——在做一个新的配套技能，能帮你的智能体画出这些漂亮的状态图/图表，并用你在 pstack 里通过 /create-formal-verification-skill 做好的规范来校验它们！

它现在还用了 @kepano 的 Pele，所以看起来才这么好看。

很快发布！

引用lauren@poteto

让你的智能体画一张状态图（图中是假设示例），再用你通过 pstack 做好的 /create-formal-verification-skill 借助 TLA+ 之类的方法找出 bug，这件事真的很酷。你既能更好地理解自己的代码，也能理解用户流程应该如何运作，还能修复用户本来会遇到的问题

来源：lauren · x.com

来源：RadarAI · aihot.news