Grok Bot 可在 Slack 中协作

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

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 和过时注释。