xAI 工程师分享 Grok Bot 使用技巧：routines 与自动化

Grok Bot 工程负责人 Lauren Tan 分享自己创建高质量 bot 和管理 bot 团队的指南，并给出入口 https://x.ai/bot/_jOdbfkB16zxu7MRcmReE。

xAI 的 Lauren Tan 分享了自己用 Grok Bot 管理 X 账号的机器人 tibot：它监控提及，找出所有关于你或关键词的帖子（无论是否被标记），每天或每小时生成一份简短分类摘要，过滤垃圾信息、翻译非英文帖，还能自动拉黑喷子，但不会替你发帖。她表示自己仍手写所有帖子和文章，tibot 主要用于保持信息同步。

用上 grok bot！

我最喜欢做的事情之一，就是让我们的 bot 彼此协作！只需把你的 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