01
Vercel推出Zero
Vercel推出Zero，一门专为AI Agent设计的编程语言，具备显式能力模型、JSON诊断和类型安全修复功能，旨在提升Agent系统的安全性和维护效率。
观察
Signal Feed
#AI开发 主题信号
围绕 AI开发 的精选动态、来源摘要和重要性判断。
动态列表
02
Larsen Cundric 介绍了使用 AWS Agent Core 构建安全、可
Larsen Cundric 介绍了使用 AWS Agent Core 构建安全、可扩展的代理沙箱基础设施的方法，包括从 Lambda 到 Unikraft micro‑VM 的演进以及两种隔离模式（隔离工具和隔离代理）的实现细节。
值得跟进
03
Genymobile发布scrcpy 4.0版本
Genymobile发布scrcpy 4.0版本，支持Flex显示、相机手电筒、缩放功能，并优化了Meta Quest兼容性及性能问题。
值得跟进
04
OpenAI Developers宣布
OpenAI Developers宣布，企业客户在30天内切换到 Codex 可获得2个月免费使用，以鼓励在工作中正式使用该代码生成模型。
观察
05
Anthropic将Claude Code的周使用限额提升50%
Anthropic将Claude Code的周使用限额提升50%，并从即日起至7月13日对所有Pro、Max、Team及企业用户生效，并可叠加此前的5小时限额翻倍。
值得跟进
06
Opus 4.7 fast mode 现已在 OpenRouter 上线
Opus 4.7 fast mode 现已在 OpenRouter 上线，用户只需将模型切换为 anthropic/claude-opus-4.7-fast 即可获得约 2.5 倍的吞吐量提升。
值得跟进
07
Browser Harness 是一个仅 592 行代码的 Python 脚本
Browser Harness 是一个仅 592 行代码的 Python 脚本，通过 WebSocket 直接让 AI agent 与 Chrome 通信，实现自动化任务，具备自愈能力，支持多浏览器并发和代理设置。
观察
08
供应链攻击'Mini Shai-Hulud'已污染205个AI/MCP等包
供应链攻击'Mini Shai-Hulud'已污染205个AI/MCP等包，攻击者通过GitHub Action缓存投毒，AI开发工具被利用，威胁开发者安全。
值得跟进
09
OpenRouter 推出免费实验性编码路由器 Pareto Code
OpenRouter 推出免费实验性编码路由器 Pareto Code，通过设定 min_coding_score 将请求路由至性价比最高的代码模型，并实时展示 Pareto 前沿变化。
值得跟进
10
开发者使用Codex在临时环境中重现和修复bug
开发者使用Codex在临时环境中重现和修复bug，提高调试效率，避免系统污染。
观察
11
介绍了响应缓存技术
介绍了响应缓存技术，通过减少测试和代理重试来节省资金和时间，提升AI开发效率。
值得跟进
12
Gemini Embedding 2 maps text, images, vide
Gemini Embedding 2通过将文本、图像、视频、音频和文档映射到统一嵌入空间，实现多模态数据的跨模态理解与检索能力，为开发者提供构建代理检索和多模态搜索应用的技术基础。
值得跟进
13
New American lab focused on coding. Traine
一家新的美国实验室通过在30T tokens数据上进行内部训练，开发了一种基于代码执行反馈的强化学习方法，旨在提升软件开发效率。
观察