vercel-labs/zerolang
The Programming Language for Agents
解决的问题
Zerolang 解决了 AI 代理通过文本编写代码的低效问题。传统的代理循环依赖于编写和编辑文本文件,这常常导致猜测、格式错误以及反复试错。Zerolang 用语义图取代文本作为真实来源,使代理能够直接与编译器的内部表示进行交互。
工作原理
代理不再编辑文本文件中的行范围,而是采用图原生方法。它们查询程序数据库(zero.graph)中的符号、类型和所有权事实,然后提交“已验证补丁”以修改语义结构。编译器在将这些更改写入存储之前会进行验证。虽然图是代理的主要创作表面,但人类仍然可以通过 .0 文件与代码交互,这些文件是图的人类可读投影。
适用人群
专为 AI 代理和构建代理工作流的开发者设计,希望减少令牌使用量并提高自动化代码生成和修改的可靠性。
特点
- 图原生数据库:使用语义图作为程序数据库,而非源代码文本。
- 已验证编辑:代理提交的补丁由编译器验证,防止过时或无效的更改。
- 投影边界:明确的导入/导出机制允许人类审查或编辑文本投影,而不会无声地偏离图。
- 代理友好工具:提供
zero query 和 zero patch 等特定命令,直接向代理暴露编译器事实。
相关
- 项目
vercel-labs/lat.mdlat.md 是一个通过 npm 分发的 CLI,为代码库创建基于 Markdown 的知识图谱。它允许您在 `lat.md/` 中编写链接文档,使用 `@lat` 注释标注源文件,并验证图谱。开发者和代理可以离线使用 MiniLM 或远程调用 OpenAI/Vercel 嵌入进行语义搜索,并使用 `lat check`、`lat locate` 和 `lat expand` 等命令,使设计决策、约束和测试规范与代码保持同步。
- 项目
trailhq/GraftGraft 是一个开源的 TypeScript/Node.js 工具,利用 tree-sitter 进行结构化解析,并可选地使用 LLM 摘要,构建本地、基于 Markdown 的代码库知识图谱(摘要、关键代码片段、类型化链接)。图谱缓存在 `graft/` 文件夹中,仅在文件变更时刷新,并自动集成到 Claude Code、Cursor、Codex 和 Gemini 等编码代理中。基准测试显示,最多减少 46% 的工具调用、42% 的 token 消耗、60% 的延迟,并在 SWE-bench 上实现 12 点准确率提升。集成通过单个 `graft init` 命令完成,生成代理专用的指令文件;CLI 还提供搜索、可视化和遥测控制功能。项目采用 MIT 许可证,旨在实现更快、更低成本的 AI 辅助开发。
- 项目
colbymchenry/codegraphCodeGraph 是一个基于 Rust 的本地工具,可为任何项目(支持数十种语言)构建完整的代码知识图谱,并与 AI 编码助手(Claude Code、Cursor、Copilot、Gemini 等)集成。该图谱使代理能在单次请求中检索精确的符号和调用路径,显著减少工具调用、文件读取、令牌使用和成本。通过一行脚本安装,每个仓库运行 `codegraph init`,CLI 会自动在编辑时更新图谱。浏览器 UI(`codegraph ui`)可可视化图谱,CLI 也能干净地卸载。
- 项目
getnao/nao一个开源框架,用于构建和部署分析代理,使业务用户能够使用自然语言查询数据并生成可视化图表。
- 项目