Zero

认领

Zero 是一门面向 agent 辅助开发的实验性图优先编程语言。支持通过已校验的语义编辑协作，提供可读投影便于审查，并在变更落地前由编译器验证。

AI编程助手 AI智能体开发 AI开发者工具 AI知识图谱编程代理

访问网站

概述

Zero 是一门面向 agent 辅助开发的实验性图优先编程语言。它将图视为程序数据库，因此 agent 可以查询语义结构、提交已校验的编辑，并依赖编译器在变更成为包的一部分之前进行验证。

该网站将 Zero 定位为一种适用于“人类提出目标、agent 执行编辑循环”的工具。人类审查投影和命令输出，而编译器则通过形状检查、过期状态保护以及仓库元数据验证来保持图的一致性。

功能

图优先的程序模型

Agent 不是处理原始文本，而是处理语义图，因此编辑可以直接定位到节点、字段、调用、声明及其他程序事实。

已校验的语义编辑

补丁会在被接受前，基于图哈希、预期值、形状规则和仓库元数据进行校验。

无效变更的早期验证

编译器会在无效或过期编辑触达存储之前将其拒绝，这让 agent 的编辑循环更具确定性。

人类可读的投影

可读的 `.0` 投影提供了类似源码的审查视图，也支持少量手动编辑，同时不让文本成为主要程序数据库。

面向 agent 的命令工作流

日常工作流包括 query、patch、check、test、run 和 build 命令，适用于 agent 辅助开发。

轻量级运行时取向

运行时目标强调系统要小、快、明确、无依赖，并且占用更少内存、启动和构建更快。

使用场景

由 agent 驱动的程序编辑
当 agent 需要进行语义化代码变更时使用 Zero，例如添加函数、更新调用，或在不手工重写文本片段的情况下调整带类型的程序事实。
人类审查生成的代码
当人类希望在接受或手动调整变更之前查看程序的可读表示时，使用投影和审查流程。
更安全的增量变更
当你希望借助过期状态保护和验证，在无效编辑改变存储之前就将其失败掉时，使用已校验的补丁工作流。
本地实验与迭代
使用安装和引导流程先准备好本地包，然后运行 query、patch、check、test、run 和 build 的日常循环。
构件生成与执行
当你需要从基于图的程序生成可执行文件、对象文件或 LLVM IR 构件时，使用 build 和 run 命令，尤其适合早期探索阶段。

Pros and Cons

Pros

已校验的图补丁在变更被接受前提供过期状态保护和形状验证。
`.0` 投影为人类提供了可读的审查视图，同时不让文本成为事实来源。
命令工作流清晰明确，分别提供了 query、patch、check、test、run 和 build 命令。
该项目强调小、快、明确、无依赖的运行时姿态。

Cons

网站将 Zero 描述为 pre-1 且处于实验阶段，因此预计会有破坏性变更。
它面向安全的非生产环境，而不是生产系统。
文档化的工作流仍在演进中，有些页面只部分覆盖了功能和集成。

FAQ

Zero 旨在如何使用？

Zero 旨在供人类与 agent 协作使用。agent 通过图来编写程序，而人类则在需要时审查图的摘要、命令输出以及 `.0` 投影。

如何安装并开始使用 Zero？

入门指南展示了 `curl -fsSL https://zerolang.ai/install.sh | bash`，然后将 `$HOME/.zero/bin` 添加到 `PATH`，并运行 `zero --version`。此外还提到使用 `npx skills add vercel-labs/zerolang` 安装 agent 启动技能。

Zero 的工作流是什么样的？

来源说明建议在日常循环中使用 `zero query`、`zero patch`、`zero check`、`zero test`、`zero run` 和 `zero build`。同时还指出 `zero export` 和 `zero verify-projection` 用于人类审查工作流。

是否有重要限制或注意事项？

网站说明 Zero 处于 pre-1 和实验阶段，因此预计会有破坏性变更。它也建议在安全环境中运行，不要用于生产系统。

人类可以直接编辑源码吗？

该产品围绕 `.0` 投影构建，用于可读审查，而编译器负责 agent 编辑的图数据库。人类可以偶尔直接编辑投影，但预期 agent 通过 `zero query` 和 `zero patch` 来工作。

Quick Facts

类别: 开发者工具
主要用户: 与 agent 协作的人类
来源域名: zerolang.ai
交互模型: 图优先编程语言
工作流: `zero query`、`zero patch`、`zero check`、`zero test`、`zero run`、`zero build`
定价: 没有定价页面；网站显示 404/未找到响应