Guide
The long-form documents of Soma. Start with the language guide — it is what soma docs agent prints, and it fits in one context window.
The language guide
The guide soma docs agent prints: the whole core language in one page, as an agent reads it before writing Soma.
Large programs, skeleton first
Write the structure first: memory, machines and each signal's frame; then fill bodies one brief at a time.
Writing a flesh body
What a flesh body may do, and how soma check holds it to its frame.
Agents, think() and hordes
LLM calls inside a state machine: think(), tools, budgets, [task] handlers and hordes.
Native handlers
[native] handlers compiled to Rust for numeric hot paths, and what they may contain.
What is proven, checked, or not covered
The exact guarantees of soma verify and of the runtime, and their limits.
Serving HTTP
What soma serve exposes, how routes map to handlers and errors to statuses.
Operations
Running a Soma service: storage, restarts, failures, and what happens when it goes wrong.
Cluster replication
Eventual replication between nodes: setup, guarantees and limits.
Robustness for robotics
Bounded loops, timing and interlocks for control programs.
Working on a Soma project, as an agent
The block a Soma project puts in its AGENTS.md: the loop to run, what each command proves, and the limits to state.
Recent releases, for agents
What changed in recent releases, written for an agent that learned an older Soma.