一位xAI工程师在社交平台上说自己最近有点安静，原因是正在做一个新的配套技能。这个技能的作用，是帮智能体画出状态图一类的图表，并且拿它们去对照此前用 /create-formal-verification-skill 做出来的规格做检查。

打开网易新闻 查看精彩图片

他提到，这个技能现在还用上了 @kepano 的 Pele，图看起来才这么好看。至于发布时间，他的说法是“很快推出”。

这条动态发布于10月22日，浏览量12.3K。从描述看，技能瞄准的是智能体产出图表与形式化规格之间的对齐环节，而不是单纯画图。