Source
Start with a source.
Name the text and edition being modeled. In the SDK and MCP, computed results come with source references that people can inspect.
About Arxo
Knowledge should outlive any one application.
A law, a technical standard, a textbook or the rules of a game can guide many different tools. We are building Arxo so that the work of turning those sources into executable models can be shared and built on.
That is the ambition behind executable knowledge infrastructure: a shared foundation that people, applications and AI agents can use, and that grows as more sources are modeled.
The problem
One source. Many places to use it.
A rule becomes a spreadsheet formula, a procedure, a software function. Each translation contains choices about how the source applies. When the source changes, those choices have to be revisited wherever they were implemented.
We want that work to accumulate. A model tied to its source gives people something they can examine, maintain and reuse. The next application can build on work already done.
The idea
First principles.
Shared reasoning.
The name Arxo draws on archē (ἀρχή), a Greek word for a beginning or first principle. Euclid’s Elements offers an image of the ambition: definitions and postulates, followed by propositions whose reasoning readers can work through. Elements, Book I ↗
Centuries later, Leibniz imagined people settling disagreements by sitting down together and calculating. His invitation was simple: Calculemus — let us calculate.
These ideas give Arxo its direction. Begin with a source. Make the interpretation explicit. Apply it to stated facts. Give people a common object they can examine and discuss.
The sources span many areas of knowledge: laws, technical standards, textbooks and the rules of games. What connects them is the possibility of expressing how a conclusion follows from stated rules and facts. Our ambition is to make that work useful beyond the place where it was first done, so others can build on it.
Read the passage in a Leibniz research paper (PDF, German) ↗Calculemus!
Let us calculate.
Principles
What we build for.
Reuse
Make knowledge reusable.
Treat the executable model as something people can maintain, version and use across applications. Work on the source should become a foundation for further work.
Decisions
Make decisions explicit.
When a source assigns an assessment to a person or institution, identify the question and who is responsible for deciding it.
Kazakhstan
Our work with Kazakhstan’s law.
Kazakhstan is central to Arxo’s work with current legislation. The Kazakhstan service presents calculations and their legal grounds in Russian and Kazakh.
This work brings close reading and software engineering together: understanding conditions and exceptions, expressing them as rules, and examining their application to concrete cases.
Explore the Kazakhstan service →Help put knowledge to work.
Work with a source that others rely on? Bring a rule, formula or requirement, and a concrete case. We welcome domain specialists and developers who want to turn that knowledge into something others can use.