开源编码 agent Benzi:编译代码库为可查询符号图,SWE-bench 82.4% 且成本减半

DonkeyTheKing · reddit · 2026-10-24

新编码 agent Benzi(目前免费 beta、模型无关、本地编译)在 SWE-bench Verified 上拿到 82.4%,宣称比主流 agent 快约 2 倍、更便宜,读取源码量少 2-6 倍。

核心思路:传统 agent 靠反复搜索/读代码或 embedding 检索近似代码块来发现程序结构;Benzi 先把仓库编译成一张已解析、可查询的符号/调用/引用/继承/数据流图,给模型提供「谁调用了它?」「这个值从哪来?」「这次改动会影响什么?」等确定性工具,模型仍可按需读源码,但不必每次从文本重新发现代码库结构。

它维护三层真值:RESOLVED(静态证明的关系)、CANDIDATE(静态分析无法证明的边)、OBSERVED(运行时实际发生),不假装静态分析万无一失。支持 Python、JS/TS、Java、C#、C/C++、Go、Rust、Ruby 及 HTML/CSS/DOM 的确定性解析。

原文链接 →

「编程与Agent」频道最新

更多「编程与Agent」频道 AI 资讯 →