x07lang.org

X07 is a deterministic execution substrate designed for agent-written software, emphasizing certifiability and structured diagnostics. It addresses the challenges of trust and ambiguity in agent-generated code by providing a controlled environment where code runs deterministically, supporting features such as record and replay, explicit resource budgets, and capability sandboxes. The platform is built to reduce API guesswork and streamline the repair loop for both humans and agents, offering stable machine-readable diagnostics and deterministic quickfixes through JSON Patch operations.

The toolchain supports direct authoring in X07 for both agents and humans, with a lossless text projection (x07text) that round-trips between a human-readable form and canonical x07AST JSON. This allows for structured program representation without loss of fidelity. The documentation includes behavioral API summaries, making function behavior—inputs, outputs, and effects—clear to authors. Diagnostics in X07 are designed to provide concrete suggestions for near-miss identifiers, facilitating rapid and reliable code repair cycles. The platform also offers spec-first testing through XTAL and proof-backed certification for agent-written software.

X07 delivers its capabilities through a set of official tools and repositories, including x07-mcp for authoring and verifying MCP servers, x07-registry, and x07-wasm-backend, which compiles X07 programs to WebAssembly for environments where native binaries are not suitable. The ecosystem is intentionally focused, with earlier experimental projects archived to maintain a deliberate scope. The site serves both human users—who can access documentation and ecosystem overviews—and agents, which interact with stable machine-readable contracts via the agent portal.

X07 distinguishes itself as a deterministic, certifiable execution platform for agent-authored code, with a strong focus on structured diagnostics, repairability, and minimizing ambiguity in program behavior.