Gaia Documentation
Start Here
Choose your path:
I want to understand what Gaia is
You're a visitor, researcher, or evaluator.
Start with What is Gaia?.
I want to use Gaia to author knowledge packages
You're a researcher or research agent authoring the Gaia DSL.
Start here: run gaia sdk to generate the SDK reference + a one-page
CHEATSHEET.md, then author the DSL directly in Python. Direct SDK
authoring is the primary path; the gaia author CLI is an optional
convenience. Read the Authoring workflow
for the canonical model, the Quick Start, the
Hole And Bridge Tutorial, the
Language Reference DSL cheat sheet, and
CLI Commands.
I want to develop Gaia
You're a developer working on the codebase.
Start with the Python API Reference, then explore: - CLI surface — local authoring, compilation, inference - LKM surface — server-side review, curation, global inference (maintained in gaia-lkm repo) - Gaia Lang design — authoring model, actions, formulas, helper claims - Gaia IR design — persistent structure, identity, lowering, validation - Gaia Lang API — generated from current Python docstrings and type hints - Gaia IR API — generated from current Python docstrings and type hints
Deep Reference
The Foundations directory contains Gaia's conceptual reference docs. Python module interfaces live in the generated Python API Reference.
| Layer | What it answers | Changes |
|---|---|---|
| Theory | Why does Gaia reason this way? | Never |
| Ecosystem | What are Gaia's design choices? | Rarely |
| Gaia Lang Design | What is the authoring language model? | Sometimes |
| Gaia IR Design | What is the persistent reasoning contract? | Sometimes |
| BP | How does inference work? | Sometimes |
| CLI | How does local authoring work? | Often |
| Python API | What do current Gaia Lang, Gaia IR, BP, CLI, and logic modules expose? | Often |
| LKM | How does the server work? | gaia-lkm repo |
Other Resources
| Directory | Contents |
|---|---|
archive/ |
Historical design docs, previous foundations versions, completed plans |
design/ |
Scaling belief propagation, engineering related work |
ideas/ |
Design ideas, academic related work survey |
specs/ |
Draft and accepted design specifications for Gaia features and workflows |
examples/ |
Worked examples (Galileo falling bodies, Mendel inheritance) |