MCP · Executable knowledge infrastructure
Add executable knowledge as a dependency.
Connect your agent to Arxo over MCP. Execute versioned knowledge models and inspect the source references behind each computed result.
Update the rules. Keep the model.Arxo executes the canon.
https://mcp.arxo.io/mcpPublic endpoint · No API key or sign-up required.
user → agent
My flight from an EU airport was cancelled. It was 2,300 km, and the airline has not shown that it told me in time. What am I owed?
agent → law_search
{ "query": "flight cancelled compensation" } → eu-air-passenger-rights · compensation_due(p: Passenger, f: Flight, amount: Money)
agent → law_ask
{ "package": "eu-air-passenger-rights", "predicate": "compensation_due", "args": ["urn:eu:apr:case:passenger-1", "urn:eu:apr:case:flight-1", "400 EUR"], "legalTime": "2026-09-28", "facts": [ { "predicate": "flight_not_operated", "args": ["urn:eu:apr:case:flight-1"] }, { "predicate": "flight_distance_km", "args": ["urn:eu:apr:case:flight-1", 2300] }, … 17 more facts ] }
server → agent
{ "answer": { "truthStatus": "TRUE_ONLY", "evaluationStatus": "COMPUTED" }, "rulesApplied": [ "…air-passenger-rights#CancellationGivesCompensation", "…air-passenger-rights#PassengerUninformedUnlessCarrierProves/R1", "…air-passenger-rights:table:compensation/row/other-1500-to-3500", … ], "provenance": { "legalTime": "2026-09-28", "resultHash": "sha256:840fb48aff79bd07efa15b28e0c9c209dc233b93322689c96c016a60dcab03f4" } }
agent → user
You are owed €400. The flight was cancelled and the airline has not proved it informed you in time: Art. 5(1)(c), with the burden of proof on the carrier under Art. 5(4). A 2,300 km flight falls in the 1,500–3,500 km band of Art. 7(1).
Recorded request and response, 28 September 2026. Some fields are omitted; the “…” prefix stands for urn:eu:transport:clir:. View full request and response ↗
01 Connect
Connect your agent.
Choose your client. Each tab is a complete setup; any client that speaks MCP over HTTP can use the same address.
Run in your terminal:
claude mcp add --transport http arxo https://mcp.arxo.io/mcp
Add to .cursor/mcp.json:
{
"mcpServers": {
"arxo": {
"url": "https://mcp.arxo.io/mcp"
}
}
}Open Customize → Connectors, click + and choose Add custom connector. Name it Arxo and enter https://mcp.arxo.io/mcp. Enable it in a conversation from + → Connectors. On Team and Enterprise plans, an owner adds it in Organization settings.
Try this first
Use Arxo to find the EU flight-cancellation compensation rules. Show the package ID, source references and facts needed for a calculation. Ask me for missing facts before calculating. Answer in English.
Your agent searches the catalogue, finds eu-air-passenger-rights and asks for the facts it needs before it calculates.
Choose a corpus
https://mcp.arxo.io/mcp- The full catalogue, across subjects.
https://mcp.arxo.io/mcp/kz- Law of Kazakhstan. See it answer at zan.arxo.io.
https://mcp.arxo.io/mcp/islam- Islamic doctrine: fiqh, faraid, the Quran. See it answer at fiqh.arxo.io.
The corpus endpoints carry a narrower set of tools than the full catalogue. The public endpoint keeps request logs for 30 days; for your own cases, run Arxo on your infrastructure and configure access and logging for your deployment.
02 Example
Follow one real calculation.
The session above is a real call to the public endpoint. The agent found Regulation (EC) No 261/2004 as eu-air-passenger-rights and sent the facts of a cancelled 2,300 km flight from an EU airport. The carrier had not proved that it informed the passenger in time, so the presumption of Article 5(4) applied.
- The status
TRUE_ONLY, computed: €400 is due. - The groundsThe rules applied, including the 1,500–3,500 km band of Article 7(1).
- The contextThe date the rules were applied on and a hash of the result.
Inspect missing facts and questions requiring human judgment alongside the result. Arxo computes the result from the model. Your agent explains it.
View full request and response ↗Open a published result on Lens ↗
03 Workflow
Find a model. Supply facts. Inspect the result.
Start with a question in plain language. The agent searches for a model, checks the required inputs and submits the facts for execution. Inspect the computed result and follow its references back to the source.
law_searchFind a model and the questions it answers.law_rulesSee which facts a rule needs.law_askSubmit the facts and the date; receive the result with its grounds.
04 Build
Build with Arxo.
Can I use my own policies?
Model your policy as an executable package, then serve it through your Arxo deployment.
What should I preserve for replay?
Preserve the model and dependencies, engine version, question, facts and execution context, together with the result.
Where can I check available models?
Query the connected server’s catalogue. Available models and tools depend on the endpoint.
Connect your agent. Run your first query.