AI圈报
观点 / 方法普通

Grok Bot 工程负责人复盘 4 天用 AI 写游戏：1150 个 PR 与形式化验证实践

信息来源：X：Lauren Tan（SpaceXSI，Grok Bot 工程负责人） (@poteto)·
Grok
原始标题：trivia:

内容摘要

Grok Bot 工程负责人 Lauren Tan 分享她 4 天前作为副业项目开始开发的游戏，落地约 1150 个 PR。每当发现代码问题就让 bot 加一条 lint 规则；大量使用 TLA+ 验证剧情、过场动画和游戏系统的状态机，每个主要系统各有一个形式化验证 skill。
内容分类AI 观点与方法
内容层级普通情报
发布时间（北京时间）
本站收录时间（北京时间）
信息来源X：Lauren Tan（SpaceXSI，Grok Bot 工程负责人） (@poteto)
站内情报编号intel-1b0216d6bc4ef77871382a14
阅读原始信息 ↗查看数据来源更多观点 / 方法

相关推荐

综合分类、实体标签与信息来源匹配

观点 / 方法普通
xAI 工程师分享 Grok Bot 使用技巧：routines 与自动化
xAI 的 Lauren Tan 分享 Grok Bot 进阶用法：routines 可让 bot 更主动，支持定时任务（如每天早上检查 issue tracker）和订阅式触发（如收到某客户邮件时自动总结并写入 Notion）。
信息来源：X：Lauren Tan（SpaceXSI，Grok Bot 工程负责人） (@poteto) · Grok
观点 / 方法普通
Grok Bot 工程负责人分享创建高质量 bot 与管理 bot 团队的方法
Grok Bot 工程负责人 Lauren Tan 分享自己创建高质量 bot 和管理 bot 团队的指南，并给出入口 https://x.ai/bot/_jOdbfkB16zxu7MRcmReE。
信息来源：X：Lauren Tan（SpaceXSI，Grok Bot 工程负责人） (@poteto) · Grok
观点 / 方法普通
xAI 员工分享 Grok Bot 管理 X 账号用法
xAI 的 Lauren Tan 分享了自己用 Grok Bot 管理 X 账号的机器人 tibot：它监控提及，找出所有关于你或关键词的帖子（无论是否被标记），每天或每小时生成一份简短分类摘要，过滤垃圾信息、翻译非英文帖，还能自动拉黑喷子，但不会替你发帖。她表示自己仍手写所有帖子和文章，tibot 主要用于保持信息同步。
信息来源：X：Lauren Tan（SpaceXSI，Grok Bot 工程负责人） (@poteto) · Grok
观点 / 方法普通
xAI 推广 Grok Bot 使用
用上 grok bot！
信息来源：X：Lauren Tan（SpaceXSI，Grok Bot 工程负责人） (@poteto) · Grok
观点 / 方法普通
Grok Bot 可在 Slack 中协作
我最喜欢做的事情之一，就是让我们的 bot 彼此协作！只需把你的 bot 添加到 Slack，就能像队友一样与它们一起工作 🤍
信息来源：X：Lauren Tan（SpaceXSI，Grok Bot 工程负责人） (@poteto) · Grok
观点 / 方法普通
xAI 工程师开发智能体状态图技能
最近有点安静——我在做一个新的配套技能，能帮你的智能体画出这些漂亮的状态图/图表，并用你在 pstack 里通过 /create-formal-verification-skill 做好的规范来校验它们！ 它现在还用了 @kepano 的 Pele，所以看起来才这么好看。 很快发布！
信息来源：X：Lauren Tan（SpaceXSI，Grok Bot 工程负责人） (@poteto) · Grok
观点 / 方法普通
工程师分享用 Agent 状态图配合 pstack 形式化验证技能找 bug 的实践
Grok Bot 工程负责人 Lauren Tan 分享一种找 bug 的工作流：先让 Agent 画出用户流程的状态图，再用 pstack 的 /create-formal-verification-skill 生成的技能通过 TLA+ 等方式做验证。她称这样既能更好理解代码和用户流程，也能修复用户原本会看到的问题；被引用的 pstack v0.15.27 更新介绍称该元技能可按需创建形式化验证套件，作者实验中已用它发现多个 bug。
信息来源：X：Lauren Tan（SpaceXSI，Grok Bot 工程负责人） (@poteto) · Grok
观点 / 方法普通
Grok Bot 支持在 X 上直接 @ 调用
grok @bot 最酷的功能之一，就是在 X 上 @ 它！
信息来源：X：Lauren Tan（SpaceXSI，Grok Bot 工程负责人） (@poteto) · Grok
观点 / 方法普通
Grok Bot 工程负责人分享信任 Agent 代码产出的倒金字塔方法与复用 Prompt
Lauren Tan 分享一套让 Agent 工作更可信任的方法，按倒金字塔分四层：代码库改进（架构、类型、边界）、静态分析（lint、测试、CI、TLA+ 等验证）、文字规则（注释、AGENTS.md、skills）和最难规模化的人工审查，精力应主要放在顶层。
信息来源：X：Lauren Tan（SpaceXSI，Grok Bot 工程负责人） (@poteto) · Grok
观点 / 方法普通
用提示词审计代码注释
注释是非结构化、无法强制执行的文本。智能体确实会读注释，但它们常常被忽略、会过时，还会给你的智能体留一条后路，让它用创可贴、hack 或变通方案来应付。 用这个提示词审计你的代码注释，找出通过更强的类型、更好的 API 设计来改进代码的机会，并创建 lint 规则，让注释变得不再必要！ https://x.com/poteto/status/2110149626133438732?s=46&t=HFNOJ7P2JmfjDfKskFwLUw
信息来源：X：Lauren Tan（SpaceXSI，Grok Bot 工程负责人） (@poteto) · Grok