Zero represents programs as a semantic graph with symbols, calls, types, effects, and stable node identifiers. Agents query that structure, submit edits, and receive structured diagnostics and repair plans. The project is experimental and pre-1; its official site warns of breaking changes and advises against production use.
Features
- Semantic ProgramGraph
- Structured diagnostic codes
- Checked agent edits
- Small native binaries
Use Cases
- Research agent programming languages
- Test structured code edits
- Build semantic tooling
- Experiment with automated repair
FAQ
Zero represents programs as a semantic graph with symbols, calls, types, effects, and stable node identifiers. Agents query that structure, submit edits, and receive structured diagnostics and repair plans. The project is experimental and pre-1; its official site warns of breaking changes and advises against production use. Core capabilities include: Semantic ProgramGraph, Structured diagnostic codes, Checked agent edits.
Common scenarios include: Research agent programming languages, Test structured code edits, Build semantic tooling.
