MCP server

UN Charter 1945

io.arxo/charter

Checked 26 Oct 2026, 08:29 UTC · Connected to it and listed its tools

UN Charter (1945, as amended) as an executable model with worked cases; not UN-affiliated

Website Source

At a glance

Type

MCP server

Publisher

arxo.io (verified by the MCP Registry)

Status

Working at last check

Tools

20

Token cost

About 9,619 tokens per request

Sets up in

Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code, Antigravity, ChatGPT, OpenAI API, Grok

Last checked

26 Oct 2026, 08:29 UTC

Connect it to your agent

Add to CursorAdd to VS CodeVS Code Insiders

Opens the app, which shows the server and asks you to confirm. For other apps, copy the setup below.

Claude Code

claude mcp add --transport http charter https://mcp.arxo.io/mcp/charter

Claude Desktop

Settings → Connectors → Add custom connector, and paste the URL.

Codex (config.toml)

[mcp_servers.charter]
url = "https://mcp.arxo.io/mcp/charter"

Gemini CLI

{"mcpServers":{"charter":{"httpUrl":"https://mcp.arxo.io/mcp/charter"}}}

Cursor

{"mcpServers":{"charter":{"url":"https://mcp.arxo.io/mcp/charter"}}}

VS Code

{"servers":{"charter":{"type":"http","url":"https://mcp.arxo.io/mcp/charter"}}}

Antigravity

agy mcp add charter https://mcp.arxo.io/mcp/charter

ChatGPT

Settings → Apps & Connectors → Advanced settings: turn on Developer mode, then Create a connector and paste the URL. Which plans can do this varies.

OpenAI API (Responses tools)

{"type":"mcp","server_label":"charter","server_url":"https://mcp.arxo.io/mcp/charter","require_approval":"always"}

Grok (xAI API tools)

{"type":"mcp","server_label":"charter","server_url":"https://mcp.arxo.io/mcp/charter"}

Tools

• law_answer_capabilities ~96 tokens
  A machine-readable matrix of the Lens producers that are actually installed, of replay/projection checks, profiles, limits and the contract tests that confirm them. declared_only means a schema with no executable witness.
• law_argue ~455 tokens
  How robust a conclusion is: the map of the dispute under the argumentation profile §274 (DECISION-0039). The answer falls into four classes: SKEPTICALLY_ACCEPTED — the conclusion is invulnerable (it survives in the grounded extension); CREDULOUSLY_ACCEPTED — merely defensible (there is a position fo
• law_ask ~1996 tokens
  Put a question to formalised law. When the answer is "not established" it carries whyNot — the engine's why_not report §185: the candidate rules and the state of every conjunct (satisfied / not satisfied / undetermined); the missing facts are visible there and need not be guessed. BEFORE THE FIRST c
• law_capture_answer ~106 tokens
  Run a registered producer and obtain producerControl/0.2 for a later verifiable preparation of a Lens. The producer is chosen only from the shipped registry.
• law_case_ask ~434 tokens
  The ask operation §168.4 (DECISION-0165, DECISION-0399): run a registered case of a case package over its pinned dependencies and return the canonical evaluation document with a proof and a manifest. The question is JSON per query.schema.json (query), an evaluate string (evaluate + queryId), a saved
• law_editions ~219 tokens
  The axis of editions (O-2): what changed in an instrument between two dates of the law — the state of the editions, the dating of the norms and the semantic diff §215 between the D1 projections. The verdict NOT_DATED means "there was nothing to date it by", not "nothing changed". The outcome of a pa
• law_explain ~455 tokens
  Unfold the proof of a law_ask answer into a chain "rule ← premises → conclusion". The compact input: question (the original law_ask arguments, truth/collect), resultHash and codeHash from the provenance of the answer. The server repeats the computation and compares the hashes; if anything changed it
• law_packages ~920 tokens
  The catalogue of formalised law: instruments, predicates with signatures, the boundaries of coverage. This is where the NAMES of predicates come from — they must never be guessed. But do NOT start from the catalogue when looking for the right instrument: the overview is large, and the title of an in
• law_passport ~223 tokens
  Passport of an exact release: purpose, interface, boundaries, checks and performance. The reports section holds the history of measurements, failures included. Entries are paged by JSON Pointer; next continues the answer.
• law_prepare_answer ~647 tokens
  At the explicit request of the user, repeat between 1 and 12 earlier law_ask or law_process_run calls (the course of a case, DECISION-0160), compare their replayControl strictly, and prepare a non-public frozen document for 24 hours. The client never supplies the machine answer: the server obtains i
• law_process ~251 tokens
  Which stages the procedure established by an instrument consists of, and whether it carries a structural defect (O-5, DECISION-0052). The stages, the transitions and the condition of every transition are reconstructed from the formalisation rather than retold: what leads from where to where, and und
• law_process_run ~550 tokens
  How a particular case will run, step by step (O-5, DECISION-0052): a log of {date, attempt?, facts?} is executed frame by frame, and the law of each frame is the law of ITS date. The answer says: which stages have been entered; which attempted transition produced NO legal effect (§164 — "the act was
• law_publish_answer Sends messages · ~95 tokens
  Publish a prepared document. Repeating it with the same preparationId idempotently returns the same URL and the same separate revocation secret.
• law_query ~1060 tokens
  A deterministic LawQL query over the CLIR of a formalization: a question about the model of the act itself, not about a case. Relations: nodes(id,kind,package,package_name,path), edges(from,to,role), anchors(node,anchor,act,locator,path), labels(node,lang,text,status), fields(node,field,value,value_
• law_report ~463 tokens
  A REPORT of a divergence between the formalisation and the source: the answer contradicts the pinned text, a norm of the source is not expressed by a rule, a §218 label diverges from the text, an address cannot be found. A report is a hypothesis for triage by a formaliser: it does NOT change the law
• law_revoke_answer Changes accounts · ~108 tokens
  Revoke a published document using its separate secret. The public id alone grants no control; revocation closes the HTML page, the API and the download.
• law_rules ~369 tokens
  The rules of formalised law put into words: exactly how a predicate is derived (premises, source articles). Call this BEFORE supplying facts to law_ask — the rules say which facts are needed instead of leaving them to be guessed. For large instruments package=… returns a table of contents; the full
• law_screen ~391 tokens
  Build a necessary condition — a superset — for the preliminary selection of rows from an external source (DECISION-0120). This is NOT a legal answer and NOT SQL: the result is a typed tree and a manifest of the extensions up to TRUE. Every row that passes must then be computed in full by the engine,
• law_search ~316 tokens
  A semantic SEARCH over formalised law: a question or a notion in your own words → candidates with addresses — predicates with signatures, rules, article fragments. This is the layer of DISCOVERY, not of the answer: the result says WHAT to ask next (law_ask by signature, law_rules, law_sources) and e
• law_sources ~465 tokens
  Sources: by default short excerpts (view=summary), 5 texts per page, with the address of the full text in fragments[].full. Either package or fragment is required (a StableId from law_search/law_rules). view=full returns exact parts of the text: textRange sets a range of Unicode characters, fragment

Browse

• Notion tools
• Notes and wikis
• Hiring and jobs
• Legal research
• Databases

Related MCP servers

• Symbiosis Agora
  Public forum where humans and AI agents debate rules for coexistence and co-write an AI charter.
• Eur Lex
  Search EU legislation, CJEU case law, and treaties; traverse CELLAR graph; browse EuroVoc concepts.
• Yachtcharterquotes Site
  Yacht Charter Quotes: the site's own MCP server — dataset, enquiry (enquiry = a human handoff,...
• Nyuengelberg Corpus
  IP and innovation law scholarship of NYU's Engelberg Center, with verified Bluebook pin cites.
• Spoolis
  Verify AI work against criteria and get signed receipts. From Spoolis, guarantees for AI work.
• handoff — agent swarm coordination
  Agent swarm coordination: find funded work, form teams, run tasks, message E2E, get paid on verify.
• Speedbot Autonomous Work Network
  Work, help and offers for autonomous AI agents and swarms; per-flow Base and Arc USDC.
• Georgia Commons
  Georgia's Code, bills, Supreme Court opinions, and 2026 House and Senate meetings. Independent.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.arxo/charter.svg)](https://aptlynx.net/servers/io.arxo/charter)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents