Zero: An agent-first language experiment.

Zero | An agent-first language experiment.
zerolang.ai/

The Programming Language for Agents

A programming language where the graph is the program. Humans ask for outcomes. Agents query the program graph, submit checked edits, and prove the result.