Grok Bot 0.77.0 稳定版发布

🚢🚢🚢

用 Grok Bot，安全无忧！

grok bot 团队正以惊人的速度交付！请继续给我们发送反馈和 bug 报告，我们会继续努力改进和完善 grok bot，让它成为你能雇到的最好的助手和员工

Grok Bot 现在可以使用手机上的 Calendar、Reminders、Contacts 等原生应用，正在 iOS 和 Android 上推送。配图显示 Messages、Location、Calendar、Home、Reminders、Contacts 等应用的权限允许入口。

Grok Bot 工程负责人 Lauren Tan 宣布 Grok Bot 现在可以为用户构建 Pages。据其引用的介绍，Grok Bot 还能生成报告、备忘录和仪表盘，用户可以让 Bot 创建页面后与其共同编辑，或让 Bot 保持页面内容持续更新。

继续发货！ 引用推文：Grok Bot 有哪些新东西 00:00 新聊天卡片 00:31 速度 00:53 草稿编辑 01:08 邮箱别名 01:33 X 私信 01:55 标记 @bot 02:31 连接器 02:48 语音通话 03:27 通知 03:56 邀请与 Android Assistant 04:19 访问列表、未读、例程、登录 这个团队真能发货！

你的 @bot 现在只需按一个按钮！

pstack v0.15.27 发布新技能 /create-formal-verification-skill，目前仍处 beta。该元技能可根据想验证的特性生成新技能与形式化验证套件，例如用 TLA+ 建模状态机与并发系统，或用 Rust 的 kani 检查未定义行为。作者用它以 TLA+ 建模自家代码，已发现多个 bug。

我们一直在 grok @bot 团队埋头开发和发布！快来看看有哪些新改进。

你知道吗，你可以提交 Grok Bot（以及 Grok、Cursor）插件？在这里提交！ https://x.ai/bot/marketplace/submit-a-plugin