io.arxo/charter

5 of 20 tools are described as changing something (creating, editing, deleting, sending or running). For 2 the reading was uncertain, so no mark is shown.

• law_searchon 6 other serversreads or searches

  “A semantic SEARCH over formalised law: a question or a notion in your own words → candidates with addresses — predicates with signatures, rules, article fragments.”

  Publisher declares: read-only yes · destructive no · idempotent no · open-world no

  4 inputs, 1 required

  • kindsarray“narrow the kinds of candidate”
  • limitinteger“how many candidates (8, at most 25)”
  • packagestring“search inside this instrument only”
  • querystringrequired“a question or a notion in your own words”
• law_passporton 5 other serversreads or searches

  “Passport of an exact release: purpose, interface, boundaries, checks and performance.”

  Publisher declares: read-only yes · destructive no · idempotent no · open-world no

  6 inputs, 3 required

  • contentHashstringrequired
  • limitinteger
  • namestringrequired
  • offsetinteger
  • sectionsarray
  • versionstringrequired
• law_answer_capabilitieson 5 other serversreads or searches

  “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.”

  Publisher declares: read-only yes · destructive no · idempotent no · open-world no

  Takes no inputs.

• law_capture_answeron 5 other serversruns code or commandsdescribed as changing data

  “Run a registered producer and obtain producerControl/0.2 for a later verifiable preparation of a Lens.”

  Publisher declares: read-only yes · destructive no · idempotent no · open-world no

  2 inputs, 2 required

  • producerstringrequired
  • requestobjectrequired
• law_prepare_answeron 5 other serversdescribed as changing data

  “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-pu…”

  Publisher declares: read-only no · destructive no · idempotent no · open-world no

  6 inputs, 1 required

  • assistantobject
  • calculationsarray
  • documentVersionenum“Version of the immutable document; 0.1 is kept for transitional compatibility, 0.2 includes all native results and the common reader.”
  • languageenum
  • producerRunsarray“Runs of registered producers with control/0.2; mutually exclusive with calculations.”
  • questionstringrequired
• law_publish_answeron 5 other serverscreates or changes datadescribed as changing data

  “Publish a prepared document.”

  Publisher declares: read-only no · destructive no · idempotent yes · open-world yes

  1 input, 1 required

  • preparationIdstringrequired
• law_revoke_answeron 5 other serversdeletesdescribed as changing data

  “Revoke a published document using its separate secret.”

  Publisher declares: read-only no · destructive yes · idempotent yes · open-world yes

  2 inputs, 2 required

  • publicIdstringrequired
  • revokeSecretstringrequired
• law_packageson 5 other serversreads or searches

  “The catalogue of formalised law: instruments, predicates with signatures, the boundaries of coverage.”

  Publisher declares: read-only yes · destructive no · idempotent no · open-world no

  6 inputs

  • catalogstring“together with package: page the catalogue of questions, the norms, the constants or the task guides of the instrument instead of its signatures; "task-guides" …”
  • guidestring“together with catalog="task-guides": the detail of one guide — a name <package>/<id> (as in prompts/list) or an id together with package”
  • limitinteger“how many per page: instruments (overview 20, query 20), signatures of an instrument (20, at most 300) or elements of a catalog list (questions 20, norms 20, co…”
  • offsetinteger“from which element of the page (0); the unit is the pageUnit of the answer”
  • packagestring“the full signatures of this instrument”
  • querystring“a substring filter over signatures, labels and constants (case-insensitive)”
• law_askon 5 other servers

  “Put a question to formalised law.”

  Publisher declares: read-only yes · destructive no · idempotent no · open-world no

  21 inputs

  • afterstring“deadline: the date of the event”
  • afterTimestring“deadline: the time of filing”
  • argsarray“the arguments of the predicate in the order of its signature; with kind='collect' exactly one of them is the selection variable ?name (for example ['urn:x:wate…”
  • calc“kind='calc': a tree {op,left,right}, op ∈ add|sub|mul|div|le|lt|ge|gt|eq|ne (the synonyms divide/multiply/plus/minus and the signs are accepted); the leaves ar…”
  • cutoffstring“deadline: the hour operations close”
  • daysinteger“deadline: the length of the period”
  • deadlinePolicyobject“the §86 policy for counting time limits expressed in days: {start_count: 'same_day'|'next_day', include_end: true|false, roll: 'no_roll'|'next_working_day'|'pr…”
  • evidencearray“case documents, section 74, evidence_item nodes.”
  • evidencePolicystring“StableId of an evidence_policy node, section 78.2.”
  • factsarray“facts of the case: [{predicate, args, negated?, package?, provenance?, judgment?}].”
  • focusedboolean“kind='truth': ask as focused_truth (§181.3) — the same answer as the full truth, but the proof and the warnings cover only the cone of the question; the answer…”
  • kindenum“the kind of question (truth by default)”
  • legalTimestring“the date of the law (YYYY-MM-DD)”
  • packagestring“narrow the question to one package of law”
  • predicatestring“what is being asked, e.g.”
  • proofboolean“return the evaluation field with the proof graph in the answer — a ready-made input for law_explain (kind truth|collect; by default a summary without the graph)”
  • responseModeenum“full (default) — the complete answer.”
  • selectedInterpretationsarray“named readings §152; for an exactly_one group choose exactly one StableId out of law_packages/law_rules”
  • supportEdgesarray“support edges, section 75, support_edge nodes: from is the document id, to is the fact literal, relation is supports or refutes.”
  • unitenum
  • versionstring“the exact package version pinned by the client (open('name@version')); if it differs from the profile composition the host refuses instead of answering with an…”
• law_screenon 5 other servers

  “Build a necessary condition — a superset — for the preliminary selection of rows from an external source (DECISION-0120).”

  Publisher declares: read-only yes · destructive no · idempotent no · open-world no

  5 inputs, 4 required

  • bindingobjectrequired“a law.screen.binding/0.1 artefact”
  • goalstringrequired“a StableId or a unique short name of the goal”
  • legalTimestring“the date of the law YYYY-MM-DD; without it every window of every rule is taken into account”
  • packagestringrequired“the package key from law_packages”
  • sourceSchemaContentHashstringrequired“the actual sha256 of the source schema”
• law_ruleson 5 other serversreads or searches

  “The rules of formalised law put into words: exactly how a predicate is derived (premises, source articles).”

  Publisher declares: read-only yes · destructive no · idempotent no · open-world no

  5 inputs

  • langenum“the language the rules are put into (DECISION-0032; the language of the profile by default; the rest are draft packs, with §218 label overlays)”
  • limitinteger“package: how many rules per page (20; the budget may lower it)”
  • offsetinteger“package: from which rule (0)”
  • packagestring“every rule of the instrument”
  • predicatestring“the rules that derive this predicate”
• law_explainon 5 other serversreads or searches

  “Unfold the proof of a law_ask answer into a chain "rule ← premises → conclusion".”

  Publisher declares: read-only yes · destructive no · idempotent no · open-world no

  6 inputs

  • answerResourcestring“the fullAnswer.uri of a stored answer taken with proof=true”
  • codeHashstring
  • evaluationobject“the evaluation document from law_ask”
  • nodeIdstring
  • questionobject“the original law_ask arguments”
  • resultHashstring

Each quoted sentence is the first sentence of the publisher’s own description. The kind of tool and the “changes data” mark are our AI model’s reading of that description, not something we tested: two differently worded runs had to agree, otherwise no label is shown, and nobody has checked them by hand. A tool without the “changes data” mark is described as only reading, searching or calculating, or the two runs did not agree. No tool was called. Read the publisher’s full description before relying on it. “Publisher declares” lists the hints the server itself sends with the tool (MCP annotations: read-only, destructive, idempotent, open-world); they are the publisher's claims, not checked by us. Inputs are the parameters in the tool's own input schema: name, declared type, whether it is required, and the first sentence of its description. Read 2026-10-23.

The registry verifies a package once, when it is published, and does not re-check it. A difference below is about the listing, not a judgement of the publisher.