# Arxo

> Arxo is executable knowledge infrastructure: it turns pinned laws, standards and textbooks into executable models that give applications and AI agents reproducible results with grounds you can verify. Law comes first; technical standards, science textbooks and reference tables run on the same mechanism. A statute, standard, regulation or internal policy is modelled in Arxo Law from its pinned official text; Arxo runs the model against the facts of a case and returns the answer with its grounds — the rules applied, the passages of the source and the facts used. Keep the model version, the question, the facts and the date, and the run repeats exactly; a checksum confirms the match. A canon is an authoritative text made executable: the pinned source, the rules written from it, and the questions it answers. It computes what follows from the encoded rules and supplied facts; "the law is silent" and "this is for a court" are ordinary answers.

Arxo ships as a public MCP server (https://mcp.arxo.io/mcp) for Claude, Cursor and any MCP client, as a TypeScript SDK on npm (@arxo/law-engine, @arxo/law-types, @arxo/law-client, @arxo/law-forms), and as printed modules in TypeScript, Python and Go that return the answer and its status without a rules engine.

## Pages

- [Home](https://www.arxo.io/): Arxo puts executable knowledge to work — laws, standards and textbooks as executable models for applications and AI agents; a live example with its source, grounds and answer states; update the rules, keep the model: canons as versioned dependencies instead of knowledge trained into weights; three ways in (SDK, MCP, generated code); the range of canons; a pilot as the next step.
- [MCP server](https://www.arxo.io/mcp/): give an AI agent a pinned model of the rules; setup for Claude Code, Cursor and Claude web and Desktop; a first query to try; one recorded calculation with its full request and response; the search → rules → ask workflow.
- [Technology](https://www.arxo.io/tech/): from source text to reproducible results — the answer document and its grounds, exact arithmetic, editions in time, how a source becomes a reusable model and why rules update without retraining the model, who answers for an answer and a model's status passport, three integration routes (SDK, MCP, generated code), and analysis of changes and disputes.
- [Pilot](https://www.arxo.io/pilot/): one source, one class of questions — a second check of a calculation you already run (a report of every difference), a consistency check of an act or a draft (a card for every finding), or an agent connected to a model that answers with its grounds; what you bring, what you get, timeline, review, price and what is not promised.
- [About](https://www.arxo.io/about/): one model of a source instead of a copy in every system; what the project is, its work with Kazakhstan's law, and how to discuss a source.
- [Full text](https://www.arxo.io/llms-full.txt): the five main-site pages above in one file, for reading without crawling the site.

## Related sites

- [Documentation](https://docs.arxo.io/): the Arxo Law language and tooling.
- [Kazakhstan law](https://zan.arxo.io/): public calculations under the law of Kazakhstan.
- [Islamic law](https://fiqh.arxo.io/): fiqh and faraid — doctrine, not the law of a state.
- [Lens](https://lens.arxo.io/): published, reproducible answers.

## Contact

hi@arxo.io