vercel-labs/zerolang

The Programming Language for Agents

解决的问题

Zerolang 解决了 AI 代理通过文本编写代码的低效问题。传统的代理循环依赖于编写和编辑文本文件,这常常导致猜测、格式错误以及反复试错。Zerolang 用语义图取代文本作为真实来源,使代理能够直接与编译器的内部表示进行交互。

工作原理

代理不再编辑文本文件中的行范围,而是采用图原生方法。它们查询程序数据库(zero.graph)中的符号、类型和所有权事实,然后提交“已验证补丁”以修改语义结构。编译器在将这些更改写入存储之前会进行验证。虽然图是代理的主要创作表面,但人类仍然可以通过 .0 文件与代码交互,这些文件是图的人类可读投影。

适用人群

专为 AI 代理和构建代理工作流的开发者设计,希望减少令牌使用量并提高自动化代码生成和修改的可靠性。

特点

  • 图原生数据库:使用语义图作为程序数据库,而非源代码文本。
  • 已验证编辑:代理提交的补丁由编译器验证,防止过时或无效的更改。
  • 投影边界:明确的导入/导出机制允许人类审查或编辑文本投影,而不会无声地偏离图。
  • 代理友好工具:提供 zero queryzero patch 等特定命令,直接向代理暴露编译器事实。

相关

  • 项目
  • 项目
  • 项目
  • 项目
  • 项目