Arxo documentation
Put executable knowledge to work in your apps and AI agents.
Executable models of laws, standards and textbooks give your applications reproducible results with grounds you can verify. Arxo executes the canon: models formalize; two engines execute and prove.
What would you like to do?
Choose your starting pointBuild an application
Get from validated input to a saved, replayable answer. Start with the deadline app.
Build an agent
Run a first agent whose domain tool asks a pinned canon and preserves its answer.
Author a model
Prepare a source model for review. Start with scope or open the Handbook.
Manage a corpus
Organize connected packages, shared vocabularies and versioned releases.
Run a private instance
Deploy an HTTP or MCP service and verify the deployment.
A different layer
Film · 1:18A constitution, a civil code, Aquinas, Newton, chess and the Quran — one shape of grounds. Every result in the film is a real run of the engine.
Watch the film1:18Quick reference
Choose a learning format
A short investigation, a feature lesson or a complete model.
- Language walkthroughOne model, explained step by step
- ConceptsSupport, conflict, grounds and reproducibility
- TutorialsIndividual features with running examples
- Northbridge courseA complete municipal model, with exercises
- Working sessionFind a norm and investigate an existing canon
Browse documentation
Seven directions, organized around the work you want to do.
Get started
Understand Arxo and inspect your first answer.
- OverviewYour first steps with Arxo
- How Arxo worksModel, question, execution and grounds
- Computational modelKnowledge, conditions and composition
- Executable knowledge modelOne answer, cut open, live in the browser
- QuickstartRun your first question in TypeScript
- Connect an assistantUse Arxo through MCP
- Read an answerStatuses, sources, proof and hashes
- Compare approachesChoose by task and evidence
Build
Build an application that uses Arxo.
Agents
Build and evaluate an agent over executable models.
Author
Write, check and review a model of a source.
Corpus
Organize packages, vocabularies and releases.
- Corpus engineeringDesign and maintain a collection of models
- Multi-package labBuild your first connected collection
- Shared vocabulariesSeparate local and shared vocabulary
- Source pinningKeep source editions reproducible
- Publish a releasePack, publish and pin an artifact
- Impact of a changeReview consumers before an upgrade
Operate
Deploy and maintain your own Arxo HTTP/MCP service.
Reference
Find an exact interface, format or diagnostic.
Documentation for Arxo. Writings — blog.arxo.io.
Anonymous visit counts on stats.arxo.io, no cookies.