近日，开发者jmuncor在GitHub上开源了一个名为Sherlock的工具，它是一个专门用于拦截和可视化大型语言模型API流量的中间人代理。该工具源于开发者对Claude Code等AI开发工具实际API通信内容的好奇心。Sherlock部署在...

艾伦人工智能研究所（AI2）近日正式推出了“开源编码智能体”计划，旨在解决当前封闭且昂贵的编码智能体系统存在的局限性。作为该计划的首个成果，AI2发布了SERA（软验证高效仓库智能体）系列模型及其配套的可访问训练...

近日，月之暗面（Moonshot AI）在GitHub上正式开源了Kimi Agent SDK，为开发者提供了与Kimi CLI进行程序化交互的官方接口。该SDK是一套多语言库，旨在将Kimi Code智能体运行时能力暴露给应用程序，使开发者能够基于...

艾伦人工智能研究所（AI2）近日正式发布了其开源编程智能体系列的首个成员——SERA，并公开了完整的训练方案。这一突破性进展标志着构建适用于私有或内部代码库的编程智能体变得既经济又实用。SERA的核心价值在于，它...

近日，一个名为 Time Station 的开源项目在开发者社区引发关注。该项目旨在解决一个看似小众却颇具实用价值的问题：如何为依赖长波无线电授时信号（通常被称为“原子钟”信号，如美国的 WWVB、中国的 BPC 等）的时钟和...

近日，开发者Cam Pedersen在个人博客上发布了一篇关于使用Rust编程语言实现参数化CAD（计算机辅助设计）引擎的技术文章，引发了技术社区的广泛关注。该项目名为“vcad”，旨在探索Rust在复杂工程计算和几何建模领域的...

近日，GitHub上开源项目VibeFigma引发前端开发社区关注。该项目旨在解决设计师与开发者之间的协作鸿沟，通过技术手段实现从设计稿到生产代码的自动化转换。其核心是利用Figma官方API精准提取设计元素，并自动生成基...

近日，GitHub开源项目SWE-Pruner提出了一种名为‘任务感知上下文剪枝’的创新框架，旨在显著优化代码智能体（Coding Agents）在处理复杂软件工程任务时的效率与成本。该框架的核心在于，通过一个轻量级模型动态分析与...