基于编译器后端的 AI 编码智能体

Benzi 的切入点和市面上大多数 AI 编码助手不同。它不是简单地把代码片段丢给大模型，而是先像编译器一样，将整个代码库解析成一个包含调用关系、数据流和控制流的可查询映射图。 真正难的地方在于静态分析往往无法覆盖所有动态行为，所以 Benzi 还包含了一个运行时追踪器（Runtime Tracer）来弥补这一点。它甚至可以作为一个 MCP 服务器运行。这种将传统编译原理与大模型结合的思路，在提高代码修改准确率方面很有探索价值。