标签
Prajwal Tomar 展示了 DeepSpace，这是一个AI编码代理，能够从一个提示词构建完整的多人看板，具有实时协作和认证选项。
MathCode是一款AI驱动的编码助手，它能将数学问题转换为Lean 4定理并尝试进行形式化证明，具有持久化的REPL、定理库以及代理模式证明功能。
本文介绍了 Spark-to-Paper，一个端到端的研究论文生成系统，在编程助手中以十三个可组合技能实现，在减少伪造的同时实现了高引用有效性和图形可编辑性。
一条推文引用他人经历，称赞Claude Code快速修复了Codex长时间未能解决的bug，强调了选择合适工具的重要性。
Anthropic 现已在 Claude Code 中为 Pro、Max 和 Team 套餐默认启用自动模式，并援引安全研究与生产力提升作为依据，同时该分类器的开销现已对这些套餐免费。
Anthropic 将从 8 月 14 日起，让 Claude Code 的自动模式成为 Pro、Max 和 Team 账户的默认选项，减少手动批准提示的需求，同时增加提示注入筛查和硬性拒绝规则等安全功能。
推荐关注 Claude Code 的能力，可将其中构建 harness 相关功能迁移到自己的产品中。Claude Code 是 Anthropic 推出的终端智能体编程工具，支持自然语言操作。
OpenAI 推出离线版 Codex，作为持续 AI 竞赛的一部分。
一位开发者描述了如何构建一个多引擎智能体编码工具集，在 Claude Code、Codex 和 Ollama 之间路由会话，并根据任务价值为每个会话从十二个模型中进行选择。
Bullet 是一款在 Product Hunt 上推出的编码工具，声称比 Claude Code 和 Codex 快 30-60%。
Fius是一个统一的AI模型聚合工具，将OpenAI、Google、Mistral和DeepSeek等多个AI提供商整合到一个代码编辑器和API中，并提供简单的定价方案。
Book-to-skill 是一个开源工具，可将技术书籍转换为供 AI 编码智能体使用的结构化技能，通过按需仅加载所需章节，将 token 使用量减少 24 倍至 51 倍。
一条关于如何更有效地使用编程 AI 的实用提示，列出了 12 条具体指令范例，如让 AI 先读代码再修改、只改必要部分、写进 AGENTS.md 等，以减少来回拉扯并让规则长期生效。
Cursor 发布了新插件，让编码代理能够直接访问 Google Workspace，从而无需离开 Cursor 即可在 Gmail、Drive、Calendar、Docs 和 Sheets 中进行读取、写入和操作。
Ankur Sethi 描述了一个个人工作流程：他手动重新输入LLM生成的代码，以保持对代码库的深入理解并避免认知债务，用速度换取理解力。
微软CEO萨提亚·纳德拉证实，公司正在开发一款‘超级应用’，整合了Copilot的聊天、编码和代理功能，计划今年面向消费者和商业用户推出。
一位开发者分享了在Cursor、Claude Code和Codex之间切换时丢失上下文的困扰，以及他们如何使用MEMMY解决这一问题。MEMMY是一个将聊天历史同步到所有代理共享记忆中心的工具。
Kat Coder 2.5 是一款编程助手模型，即使在 Q4_K_M 量化下运行，也能表现出令人印象深刻的性能。
Anthropic 分享了构建其 AI 驱动的编码助手 Claude Code 背后的工程挑战、架构决策和代理能力。