近期在GitHub上开源的Boop Agent项目，为iMessage用户提供了一种全新的个人人工智能交互范式。该项目并非简单的聊天机器人，而是一个深度集成在苹果iMessage中的个人智能体应用。其技术核心在于提供了双运行时选择：...

xAI 在 GitHub 上正式公开了 Grok Build 项目，这是一款面向开发者的终端界面（TUI）编程智能体。与传统的命令行工具不同，Grok Build 提供了一个全屏、支持鼠标交互的富终端环境，开发者可以直接在其中让 AI 审查代...

一篇技术博文揭示了优化专用AI智能体工作流的惊人成果：通过将自然语言指令模型转换为编译后的代码版本，成功将Token使用量降低了94%，同时延迟减少了87%。该优化策略的核心在于，先利用自然语言模型探索并锁定稳定...

谷歌在GitHub上正式开源了一款名为Mantis的模块化安全审查技能工具箱，专为AI编码代理（Coding Agents）设计，旨在实现漏洞的自主发现、复现与修复。Mantis的核心设计理念是“解耦、顺序化、安全聚焦”，它并非一套僵...

微软在其Foundry平台和Copilot系列产品中已大规模部署AI代理，背后是一套精妙的工程化机制。微软核心AI产品副总裁Marco Casalaina指出，将检索建模为独立的子代理是成功的关键，这种设计让复杂任务可以分解为多个专...

近日，一个名为 Open-Inspect 的开源后台编码代理系统在开发者社区引起关注。该系统专为单租户部署设计，允许用户在共享开发环境中实时协作执行各类编码任务。与传统编码助手不同，Open-Inspect 强调后台持续运行与...

Mindwalk是一款专注于提升编程智能体交互透明度的可视化工具，它通过将整个代码仓库抽象为一座三维城市地图，来重放编程Agent的工作会话。在这个独特的“城市场景”中，文件结构化作街区与建筑，Agent的浏览路径、编辑...

著名数学家陶哲轩近日在其博客中分享了如何借助现代“编程代理”类AI工具，以极高效率完成了一系列数学可视化小程序的更新与创建工作。他将自己早在1999年用Java 1.0编写的复分析和线性代数教学小程序，通过AI辅助成功...