Documentation
Learn Scholialang.
Everything on this site, ordered by how you'll actually use it — from first contact to the full specification.
Start here.
- Why reasoning needs a protocol layer The argument in seven minutes: agent work disappears into transcripts, and what a visible reasoning state buys you. Essay
- Quick reference Every atom, operator, and primitive on one searchable page. The fastest way to learn the vocabulary. Reference
- The v0.6 specification The full language contract: atom catalog, operators, serializations, canonical IDs, and 18 validity rules. Spec
Use it.
- Playground A live editor and validator in the browser — paste a trace, see the AST, lint against all 18 rules. Tool
- Trace gallery Nine worked, validated traces from real agent sessions — runbooks, debugging, decision records. Examples
- Plugins & MCP Wire Scholialang into Claude Code, Codex, or any MCP host — local SQLite DAGs, linting tools, Ollama recipes. Guide
Go deeper.
- Philosophy Four premises, the prior-art survey (ReAct, Toulmin, AIF, KQML, Lean), and the open questions. Essay
- What's new in v0.6 The current release: content-addressable canonical IDs, the DAG registry, and the lazy prelude. Changelog
- About Who made this, why now, and how to send feedback. Project
Source.
- scholialang-spec The language contract — specification docs and conformance examples. GitHub
- scholialang The Python reference implementation — parser, validator, stable IDs, serializers, renderers. GitHub
- scholialang-mcp Protocol tooling — MCP server, LSP MVP, and the Claude Code / Codex plugins. GitHub