Twitter AI 编程 - 2026-05-15¶
1. 人们在讨论什么¶
1.1 Antigravity 在圈内仍有文化影响力，但运营信任较弱 🡕¶
5 月 15 日，Antigravity 依然是讨论度最高的 AI 编程产品之一，但相关讨论被彼此矛盾的证据主导：一方面，截图显示它仍提供在线多模型选择器，Google 还专门在 I/O 安排了相关会议；另一方面，用户又把最近缺乏可见更新视为产品可能正在走弱的信号。三条高信号内容支撑了这一主题，而回复也不再停留于情绪判断，而是进一步落到使用限制、模型适配度和沟通方式等具体问题上。
@jahirsheikh8 提问（296 个赞、90 条回复、165,073 次浏览、28 次收藏）询问 Google 是否准备关闭 Antigravity。附带截图之所以重要，是因为它显示产品仍在提供 Gemini 3.1 Pro（High/Low）、Gemini 3 Flash、Claude Sonnet 4.6、Claude Opus 4.6 和 GPT-OSS 120B，而不是一个失效或被禁用的界面。
@HarshithLucky3 发布了（227 个赞、17 条回复、12,410 次浏览、14 次收藏）提出了同一担忧的更尖锐版本：可见更新日志仍停留在 2026 年 4 月 16 日发布的 1.23.2 版本，只列出 MCP 加载和工作区专属设置的 Bug 修复。同一条推文里，对方还明确请求 Google AI Studio 团队推出“像 codex 一样”的专用桌面和移动应用，把模糊的抱怨变成了具体的产品诉求。
@FlutterDev 推广了（38 个赞、1 条回复、1,604 次浏览、9 次收藏）提到一场 Google I/O 会议，其落地页写道：“Vibe coding is an important skill for developers in 2026”，并承诺展示 Google 团队如何使用 Google Antigravity 等智能体工具。这让当天围绕 Antigravity 的核心问题，不再是产品是否还存在，而是 Google 是否足够清晰地传达了它的路线图。
讨论洞察： 关停传闻帖下的回复，提供了最具操作价值的证据。一位回复者表示，警讯始于 Google“削减了额度”，并把用户推向 Gemini 3.1 Pro；另一位则称 Gemini 3.1“还行”，但不足以应付重度编程，自己可能会“彻底转向本地 Qwen”。
与前一天相比： 5 月 14 日，主要矛盾还在于雄心勃勃的演示与陈旧更新日志之间的反差。到了 5 月 15 日，这种矛盾进一步固化：人们仍拿那张陈旧更新日志截图当证据，但与此同时，Google 自己又在为 I/O 宣传一场 Antigravity 相关会议。
1.2 GitHub 对 AI 编程的回应正变得更结构化，也更昂贵 🡕¶
围绕 GitHub 的讨论，已经从简单的“谁的模型最好”比较，转向工作流结构、内部整合和计费风险。四条内容支撑了这一主题：一则广泛传播的报道称 Microsoft 正将内部开发者转向 Copilot CLI；一些截图展示了基于 token 的计费在实际中可能长什么样；GitHub 自己推出的规范驱动工作流仓库；以及一位用户反馈 Copilot App 在 Windows 和 macOS 上的质量差异明显。
@Cointelegraph 报道了（137 个赞、40 条回复、16,070 次浏览、12 次收藏）称 Microsoft 正在取消大部分内部 Claude Code 许可证，并将数千名开发者转向 GitHub Copilot CLI，消息来源是 The Verge。回复让这条说法变得更复杂：有用户表示，在许多 .NET 场景里 Claude 仍然更好用；也有人指出 GitHub Copilot 同样可以调用 Claude，这就把问题重新框定为编排方式与平台偏好，而不只是单纯的模型切换。
@edzitron 认为（52 个赞、2 条回复、3,758 次浏览、5 次收藏）称 Copilot 将于 6 月 1 日转向基于 token 的计费，这让许多 AI 产品通常会隐藏的成本结构暴露了出来。附带截图是关键证据：一张解释大多数 AI 订阅并不会按实际 token 消耗向终端用户收费，另一张则列出 Copilot 用户的示例 token 总额，从 23.81 美元到 5,851.77 美元不等，而这些用户每月支付的大约只是 10 到 54 美元。
@techNmak 重点提到了（4 个赞、2 条回复、209 次浏览、8 次收藏）提到 GitHub 的 Spec Kit；其链接仓库将其描述为一个面向“规范驱动开发”的开源工具包，规范可以通过 /speckit.specify、/speckit.plan、/speckit.tasks 和 /speckit.implement 等命令变成可执行流程。README 截图之所以重要，是因为它表明 GitHub 正在打包一种明确替代开放式 vibe prompting 的方案。
@ibuildthecloud 表示（15 个赞、5 条回复、1,367 次浏览、2 次收藏）称，相比某位 macOS 影响者的演示，Copilot App 在 Windows 上看起来很差；一条回复补充说，Copilot 最近几次发布其实不错，但新的费率可能让用户对 token 消耗变得更加敏感。这是一条体量较小的帖子，却抓住了当天更广泛的张力：GitHub 正在推出更多工作流能力，而用户也越来越在意平台质量与成本可见性。
讨论洞察： Microsoft 转向与 Copilot App 相关帖子的回复，反复回到同一个点：只有模型访问权远远不够。用户关心的是模型外面的编排层、成本是否清晰可见，以及他们实际使用的平台上体验是否同样优秀。
与前一天相比： 5 月 14 日，讨论重点还主要是 GitHub 能否重建这一类别的可信度。到了 5 月 15 日，话题已经变得更加偏运营层面：内部迁移传闻、具体的 token 消耗截图，以及 GitHub 背书的规范驱动工作流仓库。
1.3 编程智能体正变成远程控制系统，但控制平面仍然粗糙 🡕¶
第三个主题，是“远程监督”模式的快速扩散：人们通过手机调度编程智能体，把编程产品逐步并入 ChatGPT，并将 computer-use 功能扩展到多个智能体技术栈。三条内容支撑了这一主题，而最有价值的讨论集中在这些新界面是否已经可靠到足以用于日常工作。
@mark_k 宣布了（45 个赞、8 条回复、1,430 次浏览、1 次收藏）称 Codex Mobile 允许用户在手机上查看正在进行的工作、审阅 diff、批准命令、切换模型，并在真实开发机上的会话继续运行时远程操控 Codex。截图展示的是一个具体的控制界面，而不是泛泛的发布宣传卡片。
@haider1 回复了同一发布（13 个赞、3 条回复、931 次浏览）则把它称作一次仓促发布：聊天加载缓慢，提示词会以 SwiftcanCellationError 失败，应用有时还会显示已配对电脑处于离线状态。一条回复没有替它辩护，而是给出了变通方案：在 tmux 里使用 Codex CLI，再通过 iPhone 上的 Moshi 走 SSH，被认为更可靠，因为这样无需配对，也更能适应网络变化。
@mark_k 还报道了（31 个赞、3 条回复、1,183 次浏览、4 次收藏）称 OpenAI 已围绕拉近 ChatGPT 与 Codex 的关系进行重组：Greg Brockman 接管所有产品，Codex 负责人 Thibault Sottiaux 转向核心产品与平台。与此同时，@orca_build 表示（12 个赞、1 条回复、756 次浏览、2 次收藏）称其 Computer Use 功能现在已可在 macOS、Windows 和 Linux 上运行，支持 Pi、Codex、OpenCode、Claude Code 等多个智能体，说明控制界面正在扩展到单一厂商技术栈之外。
讨论洞察： 移动端相关帖子对这个想法本身持正面态度，但对打磨程度评价负面。用户喜欢离开工位后仍能审阅 diff、批准命令，但当天最有用的回复仍然是一个基于 SSH 的变通方案，而不是对原生预览版的称赞。
与前一天相比： 5 月 14 日，重点还是移动端和插件上的分发。到了 5 月 15 日，讨论已经从“这东西存在”转向“这东西有用，但实际要这样才能让它稳定运转”。
2. 什么让人沮丧¶
Antigravity 的路线图过于不透明，已经足以自行催生一轮又一轮传闻¶
当天最强烈的挫败感，来自人们无法确定 Antigravity 是否仍在积极开发。@jahirsheikh8 提问（296 个赞、90 条回复、165,073 次浏览、28 次收藏）询问 Google 是否准备关闭它；@HarshithLucky3 跟进了（227 个赞、17 条回复、12,410 次浏览、14 次收藏）则附上更新日志截图，显示最新可见更新仍停留在 2026 年 4 月 16 日。回复让这种痛点变得更具体：一位用户说额度被削减，大家被推向 Gemini 3.1 Pro；另一位则说 Gemini 3.1 对重度编程的调优还不够好，并考虑转向本地 Qwen。严重程度：高。是否值得构建：是，因为需求信号一部分来自产品能力，另一部分来自对路线图的信任。
基于使用量计费的 AI 编程经济学越来越难以忽视¶
GitHub 的计费变化是最清晰的例子。@edzitron 发布了（52 个赞、2 条回复、3,758 次浏览、5 次收藏）称 Copilot 将于 6 月 1 日转向基于 token 的计费，而帖子中的截图列出了高达每月 5,851.77 美元的示例 token 消耗，对应用户每月支付约 39 美元。类似的成本敏感性也出现在一个较小但具体的 Claude Code 案例里：@dsiroker 展示了（1 个赞、2 条回复、251 次浏览、3 次收藏）称 Opus 4.7 fast mode 的价格是每 Mtok 输入 30 美元、输出 150 美元；一条回复随即把讨论转向运营风险，追问五个同时运行的 teammate agents 要如何避免编辑同一批文件。严重程度：高。是否值得构建：是，尤其是在预算控制、可观测性和更安全的并行执行方面。
用手机远程监督编程很有用，但预览版质量仍然不稳¶
Codex 移动端发布既吸引了需求，也带来了 Bug 反馈。@mark_k 描述了（45 个赞、8 条回复、1,430 次浏览、1 次收藏）展示了用手机查看进行中的工作、审阅 diff、批准命令和切换模型的工作流，其中一条回复称这“确实有用，不只是演示功能”。但 @haider1 报道了（13 个赞、3 条回复、931 次浏览）称预览版并不稳定：聊天很慢，出现 SwiftcanCellationError，还会间歇性提示“电脑离线”。帖中最好的变通方案不是另一个 App 功能，而是在 tmux 里使用 Codex CLI，再通过 iPhone 上的 Moshi 走 SSH。严重程度：中高。是否值得构建：是。
智能体体验仍然因平台不同而差异明显¶
一个较小但很能说明问题的抱怨来自 @ibuildthecloud，其 表示（15 个赞、5 条回复、1,367 次浏览、2 次收藏）称，相比 macOS 上的演示，Copilot App 在 Windows 上看起来很差。同一帖子的回复表示，Copilot 最近几次发布其实不错，但也警告新的定价会让用户对 token 消耗更敏感。这种组合很关键，因为它表明两种摩擦正在同时出现：界面不一致，以及成本意识上升。严重程度：中。是否值得构建：是，前提是产品能在不掩盖成本权衡的情况下，提供一致的跨平台体验。
3. 人们希望出现什么¶
Google AI Studio 的专用桌面与移动应用¶
这项需求被直接说了出来。@HarshithLucky3 提问（227 个赞、17 条回复、12,410 次浏览、14 次收藏）请求 Google AI Studio 推出“像 codex 一样”的专用桌面和移动应用，并把这一诉求与对 Antigravity 可见更新节奏的不满联系在一起。这是一项实际需求，而不是理想化愿景：用户不是在要求一个新品类，只是希望 Google 为编程工作流提供一个更清晰、更可靠的官方界面。机会：直接。
可靠的手机端编程智能体监督能力¶
Codex Mobile 相关帖子表明，人们希望离开工位后也能管理编程会话，但也说明当下的实现还不够可靠。@mark_k 将其定义为（45 个赞、8 条回复、1,430 次浏览、1 次收藏）把移动端审阅和批准功能视为立刻就有用；而 @haider1 记录了（13 个赞、3 条回复、931 次浏览）则反馈预览版存在提示失败和配对离线问题。那条推荐使用 tmux 加 iPhone SSH 的回复表明，如果原生产品做不到可靠，人们会自己把这套能力拼出来。机会：直接。
面向重度智能体使用的清晰成本控制¶
GitHub 的计费截图和 Claude Code fast mode 的定价示例指向同一个实际愿望：用户想运行长期智能体工作流，而不是事后才发现成本。@edzitron 展示了（52 个赞、2 条回复、3,758 次浏览、5 次收藏）展示了数百到数千美元的 Copilot 示例 token 总额；@tom_doerr 链接了（6 个赞、599 次浏览、11 次收藏）则展示了一个用于可视化 Claude Code 会话、时间线和成本的本地仪表盘。这项需求既实际又紧迫，而在平台厂商还未完全把相关控制标准化之前，独立开发者已经先行给出了一些部分答案。机会：直接。
更好的多智能体并行协作能力¶
@dsiroker 展示了（1 个赞、2 条回复、251 次浏览、3 次收藏）提到 Claude Code fast mode 中“五个同时运行的 teammate agents”，而第一条回复立刻问出了一个当前系统尚未回答的问题：如果它们编辑的是同一批文件，会发生什么？它们会拿到独立分支，还是合并得手动完成？这是一个实际的工作流需求，而不是炒作式表达；从样本来看，并没有强证据表明现有工具已经把这件事干净利落地解决了。机会：正在浮现。
4. 正在使用的工具和方法¶
| 工具 | 类别 | 情绪 | 优势 | 局限 |
|---|---|---|---|---|
| Google Antigravity | 智能体优先 IDE | (+/-) | 提供在线多模型选择器；仍重要到足以拥有一场专门的 Google I/O 会议；在对比类帖子中被定位为免费或低摩擦替代方案 | 可见更新节奏不清晰；回复抱怨额度缩减，以及 Gemini 3.1 对重度编程偏弱 |
| GitHub Copilot CLI | CLI 编程助手 | (+/-) | Microsoft 内部迁移相关讨论强化了它作为一方编排层的可信度；至少有一位用户表示它解决了 Claude Code 难以处理的 Bug | 基于 token 的计费正成为产品讨论核心；回复指出，只有模型访问权并不足以决定工作流偏好 |
| GitHub Copilot App | 智能体工作区 | (+/-) | 技术预览的定位强调在一个 App 内覆盖完整开发生命周期 | 有测试者称 Windows 体验明显不如 macOS，回复则把采纳意愿与费率敏感度联系起来 |
| Spec Kit | 规范驱动工作流工具包 | (+) | 通过斜杠命令、任务生成和 issue 集成，把规范转为可执行工作流，并支持 30+ 智能体集成 | 今天的样本中没有出现强烈抱怨，但这套工作流明确是对临时式 prompting 的反应，而不是它的直接替代品 |
| Codex Mobile | 移动端编程智能体伴侣 | (+/-) | 允许用户通过手机审阅 diff、批准命令、切换模型，并监督正在运行的会话 | 预览版反馈提到聊天缓慢、SwiftcanCellationError，以及配对机器离线 |
| Claude Code | CLI 编程智能体 | (+/-) | 仍被视作强有力的编程基准；支持 fast mode 和多智能体 teammate 工作流 | fast mode 的 token 定价较高，回复也质疑并行智能体如何避免文件冲突 |
| Orca Computer Use | computer-use 层 | (+) | 把桌面应用控制扩展到 macOS、Windows、Linux，以及包括 Codex 和 Claude Code 在内的多个智能体技术栈 | 样本讨论中未出现强烈用户抱怨；当天证据更多是发布导向，而非实战反馈 |
| goal | MCP / 工作流控制 | (+) | 为智能体会话增加持久目标、自动续行、轮次预算和完成审计 | 完全自动续行仅支持 Claude；Cursor 和 OpenCode 依赖 MCP 工具，没有基于 hook 的续行 |
| clibib | 引用工具 / 智能体技能 | (+) | 可从 DOI、PMID、arXiv、URL、ISBN 或标题搜索获取 BibTeX，并可跨多个智能体使用 | README 警告，基于标题的搜索不如 DOI 或 URL 输入可靠 |
| Claude Code Karma | 本地可观测性仪表盘 | (+) | 本地优先仪表盘，基于 FastAPI、SQLite 和 SvelteKit 提供会话、时间线、成本、工具、智能体和分析能力 | README 警告 Claude Code 仅保留约 30 天本地会话数据，更早的历史会消失 |
整体满意度的分裂，更多发生在工作流层，而不是由某个“通吃”的赢家决定。Antigravity 因产品野心继续吸引注意力，但信任较弱；GitHub 的工具因结构化能力和一方集成受到关注，但定价越来越难以忽视；OpenAI 在移动端与 ChatGPT 的收拢，则把监督能力带出了桌面，同时用户也报告了 Bug。最明确的变通方案包括：用本地 Qwen 作为逃离托管额度限制的出口；用 tmux 加 iPhone SSH 代替 Codex Mobile 预览版；以及使用 goal、Claude Code Karma 这类第三方控制平面工具，补足基础工具尚未提供的可见性或持久性。
5. 人们在构建什么¶
| 项目 | 构建者 | 功能 | 解决的问题 | 技术栈 | 阶段 | 链接 |
|---|---|---|---|---|---|---|
| Spec Kit | GitHub | 用于规范驱动开发的开源工具包，提供可执行规范和斜杠命令工作流 | 用一条从需求到实现的结构化路径替代临时式 vibe prompting | specify-cli、斜杠命令、GitHub Issues 集成、30+ 智能体集成 |
已发布 | 推文、仓库 |
| Claude Code Karma | Jayant Devkar | 面向 Claude Code 会话、时间线、成本、工具、智能体和分析的本地优先仪表盘 | 让开发者无需把数据发给第三方，也能观察智能体使用情况和支出 | FastAPI、SQLite、SvelteKit | 已发布 | 推文、仓库 |
| goal | @secemp9 | 独立的 MCP 与斜杠命令系统，把 Codex 风格的持久目标移植到其他智能体 | 通过预算、状态和完成检查，让长期智能体工作持续推进 | MCP server、Claude hooks、通过 uvx 实现的 Cursor/OpenCode 集成 |
已发布 | 推文、仓库 |
| clibib | @deliprao | 用于从 DOI、PMID、arXiv、URL、ISBN 或标题搜索获取 BibTeX 的 Python CLI 和智能体技能 | 消除研究密集型编程或写作工作流中的引文检索摩擦 | Python CLI、智能体技能、基于 CrossRef/Zotero 的检索 | 已发布 | 推文、仓库 |
| Orca Computer Use | @orca_build | 跨平台 computer-use 功能，让智能体控制桌面应用和模拟器 | 让开发者能在多个智能体技术栈中自动化 UI 测试和真实应用工作流 | 面向 Pi、Codex、OpenCode、Claude Code 等的 macOS、Windows、Linux computer-use 层 | 已发布 | 推文 |
Spec Kit 是最有分量的构建信号，因为它来自 GitHub，并明确把“结构化”定位成应对不可预测的 vibe coding 的答案。Claude Code Karma、goal 和 clibib 则共同指向同一个次级趋势：构建者不再只做编程智能体本身，也开始搭建围绕它们的控制平面，包括成本、持久性和研究辅助工具。Orca 则把这一趋势延伸到执行层，把“computer use”做成一种跨智能体能力，而不是单一厂商的专属功能。反复触发这些构建行为的，不是模型缺失，而是模型周围缺少工作流脚手架。
6. 新动态与值得关注的内容¶
GitHub 把反 vibe coding 情绪变成了官方工作流仓库¶
来自 @techNmak 的 Spec Kit 帖子及其链接的 代码仓库 之所以重要，在于 GitHub 并不是又用一个模型或 UI 公告来为 Copilot 辩护，而是发布了一个开源工作流，主张让规范变成可执行实体，并提供用于章程、规范创建、规划、任务拆解和实施的命令。这标志着重心从“把提示词写得更好”转向“在智能体开始运行前先把工作正式化”。
Copilot 计费争论从理论走向截图证据¶
@edzitron 发布了（52 个赞、2 条回复、3,758 次浏览、5 次收藏）展示了 Copilot 即将切换到基于 token 计费的截图，以及示例月度 token 总额。值得注意的不只是计费变化即将到来，而是这些截图把原本隐藏的消耗变得足够可见，足以独立成为讨论素材。
OpenAI 正在把编程工作流进一步并入 ChatGPT¶
最强的公开证据，是 @mark_k 将 Codex Mobile 描述为一个手机端控制界面，同时 @mark_k 描述了 OpenAI 内部重组，让 ChatGPT 与 Codex 更加接近。两者合起来指向同一个产品方向：编程正在成为更广泛 ChatGPT 界面中的一种模式，而不再是独立的、仅限桌面的工作流。
7. 机会在哪里¶
[+++] 面向成本、状态与完成情况的智能体控制平面 —— 证据横跨 Copilot token 计费截图、Claude Code fast mode 定价、Claude Code Karma 的本地分析仪表盘，以及 goal 的持久目标系统。最强的机会不是再做一个基础模型，而是做出让长期运行的智能体工作变得可见、可预算、可恢复、可审计的软件。
[++] 可靠的跨界面监督 —— Codex Mobile、对 Google 桌面/移动编程应用的诉求，以及 Orca 的跨平台 computer use，都指向同一个需求：开发者希望能跨笔记本、手机和桌面应用启动、监控并批准编程工作，同时不丢失状态。这个机会等级中等，因为需求已很清晰，但今天的实现看起来仍然停留在预览版水准。
[+] 多智能体协同与合并安全 —— 那条关于 Claude Code 五个 teammate agents 的帖子，以及随即出现的文件冲突追问，说明在分支隔离、冲突规避和多智能体收尾方面存在一个虽小但真实的缺口。这个信号还在浮现阶段，尚未成为主流，但与智能体工作流实际扩张的方式高度相关。
8. 要点¶
- Antigravity 的问题已不只是产品能力，也包括产品信任。 用户在同一天里，既分享了在线模型选择器和 Google I/O 会议页面，又把一张一个月前的更新日志截图当作产品被冷落的证据。（来源、来源、来源）
- GitHub 的 AI 编程叙事正在同时变得更流程化，也更成本可见。 信息流同时出现了 Microsoft 把内部开发者转向 Copilot CLI 的报道、Copilot token 消耗截图，以及 GitHub 背书的规范驱动开发仓库。（来源、来源、来源）
- 远程控制正在成为一等编程工作流，但可靠性落后于需求。 Codex Mobile 让手机端审阅和批准 diff 变得具体，但由于预览版不稳定，讨论里最实用的回应仍然是
tmux加 SSH 的变通方案。（来源、来源） - 当天的构建热情集中在智能体基础设施，而不只是新智能体。 Spec Kit、goal、clibib、Claude Code Karma 和 Orca 都在围绕现有智能体工作流提供结构、持久性、引文、可见性或执行能力。（来源、来源、来源、来源、来源）