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

Grok Bot 工程负责人 Lauren Tan 分享一种找 bug 的工作流：先让 Agent 画出用户流程的状态图，再用 pstack 的 /create-formal-verification-skill 生成的技能通过 TLA+ 等方式做验证。她称这样既能更好理解代码和用户流程，也能修复用户原本会看到的问题；被引用的 pstack v0.15.27 更新介绍称该元技能可按需创建形式化验证套件，作者实验中已用它发现多个 bug。

grok @bot 最酷的功能之一，就是在 X 上 @ 它！

Lauren Tan 分享一套让 Agent 工作更可信任的方法，按倒金字塔分四层：代码库改进（架构、类型、边界）、静态分析（lint、测试、CI、TLA+ 等验证）、文字规则（注释、AGENTS.md、skills）和最难规模化的人工审查，精力应主要放在顶层。

注释是非结构化、无法强制执行的文本。智能体确实会读注释，但它们常常被忽略、会过时，还会给你的智能体留一条后路，让它用创可贴、hack 或变通方案来应付。 用这个提示词审计你的代码注释，找出通过更强的类型、更好的 API 设计来改进代码的机会，并创建 lint 规则，让注释变得不再必要！ https://x.com/poteto/status/2110149626133438732?s=46&t=HFNOJ7P2JmfjDfKskFwLUw

这里有一些 pstack 强力提示词，你可以试试来升级你的代码，先从这条开始（提示词在帖子底部） 重构，让你的代码对智能体更友好 https://x.com/poteto/status/2106542593656111276?s=46&t=HFNOJ7P2JmfjDfKskFwLUw

Lauren Tan 发布 pstack，这是她个人的一套用于严谨、自主 Agent 工程的技能集，会持续调优和简化。用法包括运行 /setup-pstack 选择预算、在提示词前加 /poteto-mode、用 /poteto-help 查询技能；已上架 Grok Bot 和 Cursor 插件市场，源码在 GitHub。

让 @bot 帮你做一个！

Lauren Tan 介绍自己 pstack 项目中最耐久的部分是工程原则，即约 10-20 行代码的简洁技能，把良好实践提炼进核心。

xAI 的 Grok Bot 工程负责人 Lauren Tan 建议在代码库中封禁并删除几乎所有代码注释，因为 AI 智能体倾向于复制已有内容，一条临时 workaround 注释会像杂草一样扩散，导致代码库充斥 hack 和过时注释。

现在这是 pstack 0.15.23 里的一个新技能 /in-your-own-words！ 对于确保你和你的智能体在目标上保持一致、并且它清楚理解你的意图，极其有用