快速入门
第一个程序
创建 hello.0：
pub fn main(world: World) -> Void raises {
check world.out.write("hello from zero\n")
}
运行：
zero run hello.0
输出：
hello from zero
检查程序
zero check hello.0
查看程序图
zero graph --json hello.0
输出结构化的 ProgramGraph 信息，包含节点、边、类型、副作用等语义事实。
构建可执行文件
zero build --emit exe --target linux-musl-x64 hello.0 --out ./hello
获取 Agent 指引
# 列出所有可用 Skill
zero skills list
# 获取完整语言指南
zero skills get zero --full