发布 pstack v0.15.27 的 /create-formal-verification-skill，可生成 TLA+ 或 kani 形式化验证套件𝕏
10/19
L
Lauren Tan关注
关系近 30 天在 1 个对象上开口，和 21 人同场被 Thibault Sottiaux 提过在地图上看他从哪来 →
正在看：xAI看这个对象的完整账本 →
要闻
正在看：xAI看这个对象的完整账本 →
10/15 · 1 条
Lauren Tan 转发 Grok Voice 3.0 发布，称可在 Grok Bot 中试用有新说法
07:58
别人也这么说 · Elon MuskElon Musk 称 Grok 是最佳对话语音模型，引用 Grok Voice 3.0 发布
05:32
别人也这么说 · Elon MuskElon Musk 称 Grok Voice 3.0 成为全球领先对话语音模型，在 Artificial Analysis Speech to Speech Index 以 86.9 登顶（GPT-Live-1）
02:33
别人也这么说 · Elon MuskElon Musk 转发 Grok Voice 3.0 发布，称其为最智能语音到语音模型、响应低于一秒
Lauren Tan 称 grok bot 支持邮件互通，可用于调试、客服、订会等场景
10/14 · 3 条
Lauren Tan 称 grok bot 支持邮件互通，可用于调试、客服、订会等场景有新说法
Lauren Tan 预测「让我的 bot 和你的 bot 对话」将普及，并列举 grok bot 邮件多智能体用例
Lauren Tan 预测「让我的 bot 和你的 bot 对话」将普及，并列举 grok bot 邮件多智能体用例有新说法
Lauren Tan 称 pstack 0.15.23 新增 /in-your-own-words 技能，经 grok bot 或 cursor 安装可自动更新
Lauren Tan 称 pstack 0.15.23 新增 /in-your-own-words 技能，经 grok bot 或 cursor 安装可自动更新同一说法 2 次有新说法
Lauren Tan 称 Grok Bot 离线误判问题已在 0.70.2 修复并推送
10/12 · 1 条
Lauren Tan 称 Grok Bot 离线误判问题已在 0.70.2 修复并推送有新说法
Lauren Tan 称 pstack 体积缩小 10% 且行为无损，grok bot 与 cursor 自动更新
10/09 · 1 条
Lauren Tan 让 Grok Bot 每日 9 点汇总 X 上 Grok Bot 用法并给出工作流改进建议有新说法
Lauren Tan 建议首次使用 Grok Bot 先连接日历、Slack、issue tracker、CRM、Google Drive 等常用应用，并先用单个 bot 再考虑多 bot 分工
10/07 · 3 条
Lauren Tan 建议首次使用 Grok Bot 先连接日历、Slack、issue tracker、CRM、Google Drive 等常用应用，并先用单个 bot 再考虑多 bot 分工有新说法
Lauren Tan 称 Grok Bot 除 Slack 外也可接入 Microsoft Teams
Lauren Tan 称 Grok Bot 除 Slack 外也可接入 Microsoft Teams有新说法
Lauren Tan 用 Grok Bot 搭建 sandcastle 与 poteto 两个 Team Bot，自动化发布与 QA 流程
Lauren Tan 用 Grok Bot 搭建 sandcastle 与 poteto 两个 Team Bot，自动化发布与 QA 流程有新说法
Lauren Tan 转述 SpaceXAI 推出 Grok Bot Creator Rewards，按使用量每两周发放奖励
10/06 · 2 条
Lauren Tan 转述 SpaceXAI 推出 Grok Bot Creator Rewards，按使用量每两周发放奖励有新说法
Lauren Tan 建议 Grok 语音模式功能应被复制到 28 天周期产品中
Lauren Tan 建议 Grok 语音模式功能应被复制到 28 天周期产品中
更多
昨天
更早
转述 提出四层 agent 可信度框架提出四层 agent 可信度框架：代码改进、静态分析、prose 规则、人工审查代码改进、静态分析、prose 规则、人工审查𝕏
引用分享 pstack 0.15.9 的 /correct skill 与 power prompts，用架构、类型和检查修正 agent 重复错误𝕏
引用发布 pstack 技能集，含 /setup-pstack、/poteto-mode、/poteto-help 三步用法𝕏
近三个月的发言订阅后才能看。去订阅
关注后，他的新主张会进你的「我的人」
带走这份存下来是纯文本，发给 AI 就能读
本包 = 匿名档 · 1 天 · 本次含 3 条 · 材料截止 2026-10-18
外部 AI 读取的是公开档，不继承当前登录权益。
下载研究包