Launching today
X07, a language for autonomous coding

X07, a language for autonomous coding

programming language, coding agents

1 follower

Visit website
Why build it? In daily agent coding, we kept seeing the same problems: - A small edit can accidentally break syntax (missing bracket, misplaced comma), so the next step fails for reasons unrelated to the task. - Many compiler/tool errors are written for humans, not for automation. The agent can see "something is wrong" but not "make this exact fix at this exact spot." X07 is an attempt to reduce those failure modes by making edits, diagnostics, and execution modes more predictable for agents.
X07, a language for autonomous coding gallery image
Free
Launch tags:Developer Tools•Artificial Intelligence•GitHub
Launch Team
Framer
Framer
Launch websites with enterprise needs at startup speeds.
Promoted

What do you think? …

Bohdan Vitomskyi
Maker
📌
What is different in practice - Source format: canonical x07AST JSON (`*.x07.json`), not hand-authored text syntax. - Edits: RFC 6902 JSON Patch for structural changes. - Diagnostics: machine-readable `x07diag` with stable codes and optional quickfix patches. - Repair loop: `x07 run` / `x07 build` / `x07 bundle` run format -> lint -> quickfix automatically by default (bounded iterations). - Worlds model: end-user execution worlds are `run-os` and `run-os-sandboxed`; deterministic `solve-*` worlds (`solve-pure`, `solve-fs`, `solve-rr`, etc.) are for reproducible fixture/testing loops. Language/runtime model highlights - C backend compiler pipeline (X07 -> C -> native binary) - ownership model around `bytes` (owning) and `bytes_view` (borrowed) - move checking (use-after-move is a compile error) - branded bytes (`bytes@brand`, `bytes_view@brand`) for validated boundary encodings - deterministic cooperative async in fixture worlds, plus policy-gated OS threads/processes in OS worlds