最近有点安静——我在做一个新的配套技能,能帮你的智能体画出这些漂亮的状态图/图表,并用你在 pstack 里通过 /create-formal-verification-skill 做好的规范来校验它们! 它现在还用了 @kepano 的 Pele,所以看起来才这么好看。 很快发布! 🔗 阅读原文 via AIHOT · https://aihot.news/items/cgvmbpyzq7sftq7kpoqhz79is
信息源:AI HOT · 全部动态
- 原文链接:xAI 工程师开发智能体状态图技能
- 分类:教程
- 作者:Lauren Tan
- 发布时间:2026/10/23 06:33

评论0