# Zero 面向智能体的实验性编程语言，可用于查询和编辑程序图。 - Findings24: - 网站: - 价格: Freemium - 分类: AI开发者工具, 开发者工具 ## 什么是 Zero？ Zero（也称为 Zerolang）是一种实验性编程语言，专为与编程智能体协作的人类设计。其编译器管理的图就是程序数据库：智能体检查语义结构并提交经过校验的编辑，而人类描述期望结果并审阅修改。 这种工作流将编译器检查纳入编辑过程。易读的 `.0` 投影文件可供人工审阅和偶尔手动修改。Zero 面向安全环境中的探索；其文档提醒用户应预期会有重大变更，并避免在生产系统中使用。 ## Zero 能做什么？ ### 语义图查询 智能体使用 \`zero query\` 检查符号、调用、类型、效应、节点 ID 和图哈希，从而获取结构化程序信息，以便后续编辑。 ### 带保护机制的图补丁 \`zero patch\` 面向语义节点和字段。图哈希和预期值可保护编辑；形状、类型、过期状态及仓库元数据检查会在无效更改写入存储前将其拒绝。 ### 双向文本投影 \`zero export\` 会生成易读的源代码投影。对 \`src/main.0\` 等文件进行有意修改后，可通过 \`zero import\` 导回图中；\`zero verify-projection\` 用于检查投影一致性。 ### 检查、测试和运行命令 命令行工作流包含 \`zero check\`、\`zero test\` 和 \`zero run\`。包命令默认使用当前目录，运行命令还可向程序传递参数。 ### 生成构建产物 \`zero build\` 支持生成可执行文件、对象文件和 LLVM IR。指南演示了如何为 Linux musl x64 可执行文件选择目标平台和输出路径。 ## 使用场景 ### 探索由智能体编写的程序 让智能体构建 Hello World、初始化包、添加 main 函数和输出操作，然后运行程序。这是了解图工作流的一个简单起点。 ### 根据应用需求迭代 通过对话式请求引导智能体使用图查询和经过校验的补丁开展工作，例如构建 CRM API、添加身份验证或修复失败的路由。 ### 以易读形式审阅更改 需要类似源代码的文本供人工审阅时，可导出 \`.0\` 投影。CI 也可以使用投影验证作为门禁，以检测偏差。 ## 常见问题 ### 如何开始使用？ 使用 \`curl -fsSL https://zerolang.ai/install.sh \| bash\` 安装，将 \`$HOME/.zero/bin\` 添加到 PATH，并通过 \`zero --version\` 确认安装。使用 \`npx skills add vercel-labs/zerolang\` 安装智能体引导技能。 ### 智能体应该直接编辑 .0 文件吗？ 智能体通常应使用 \`zero query\` 和 \`zero patch\`。人类偶尔可以编辑投影文件，但在检查或运行程序前应先运行 \`zero import\`。 ### Zero 已适合用于生产环境吗？ Zero 仍处于实验阶段。其网站建议用户预期会有重大变更，并在远离生产系统的安全环境中运行。 ## 快速信息 - **类别**: 编程语言 - **主要用户**: 与编程智能体协作的人类 - **状态**: 实验性 - **程序存储**: zero.graph - **命令行工具**: zero - **网站**: https://zerolang.ai