Ir para o conteúdo
Logo de Arxo

Servidor MCP de Arxo

Quais servidores do registro oficial de MCP são de Arxo, se respondem e o que oferecem. Um programa verificou cada item; nada foi copiado da página do produto.

lido em 2026-10-20

← Voltar para Arxo

De quem é o servidor
  • Nome no registroio.arxo/charterverificado no registro MCP

O nome no registro fica sob arxo.io. O registro só libera esse espaço de nomes para quem prova controle do domínio por DNS ou HTTP.

Quando perguntamosverificado em 2026-10-20
  • Estadorespondeverificado em 2026-10-20
  • Ferramentas20
  • O servidor se chamalaw-dsl-charter
  • Versão do servidor0.1.0
  • Versão do protocolo2025-06-18

Em 2026-10-20 o servidor respondeu a initialize e tools/list sem login. Primeira resposta em 489 ms.

Um agente deve conectá-loAinda não está claro
  • Ainda não avaliamos se as ferramentas fazem o trabalho do produto.
  • Verificado em 2 dos 7 dias necessários para julgar a confiabilidade.

Depois de conectar

  • law_publish_answer alteram dados sem login: qualquer pessoa com o endereço pode chamá-las.
  • Parâmetros sem tipo ou descrição em 8 de 20 ferramentas: confira os argumentos antes de chamar.

Dito por regras a partir das medições acima. A primeira chamada provável é a escolha de um modelo na lista de ferramentas; leia a descrição antes de confiar nela.

Medido todo diaverificações diárias: 2, a primeira em 2026-10-20
  • Nota INITE MCPdepois de uma semanaa nota precisa de 7 verificações diárias: 2 até agora
  • Uso176 downloads no npm por semana
  • Respondeumedindo2 das 7 verificações diárias necessárias para mostrar a porcentagem
  • Mediana da primeira resposta1316 ms
  • Espaço no contexto do agente≈ 8.562 tokensas definições de todas as ferramentas (20), que o agente carrega a cada turno
  • Definições das ferramentasA · 93 de 100
  • Resultados tipados7 de 20 ferramentasdeclaram outputSchema: o resultado chega tipado e é lido de uma vez
  • Parâmetros sem tipo: em 1 de 20
  • Parâmetros sem descrição: em 8 de 20

O que um agente consegue fazer com ele

  • incerto · check a draft act's duties, deadlines and references for consistency
  • incerto · calculate passenger compensation from a pinned regulation edition
  • consegue · connect an AI agent to answer rule questions with cited grounds

Cada caso de uso do produto foi perguntado ao Jev junto com a lista de ferramentas deste servidor: um agente consegue fazer isso com essas ferramentas?

Vale conferir

  • Ferramentas que alteram dados, em um servidor que responde sem login: law_publish_answer

Um programa verifica o servidor uma vez por dia: initialize e tools/list, sem modelo. Os tokens são o tamanho das definições, a cerca de quatro caracteres por token. A nota é a média de seis verificações do nome, da descrição, do esquema e das anotações de cada ferramenta; diz se as ferramentas estão bem descritas, não se funcionam. A nota pesa só o que foi medido: se responde (30%), se faz o trabalho do produto (25%), definições (20%), contexto (10%) e uso (15%). Uma parte não medida fica de fora, e uma instrução oculta limita a nota a 40. O estado dos servidores MCP dos fornecedores: método e números →

Ferramentas que oferece20 ferramentas · lido em 2026-10-20
  • law_search

    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…

  • law_passport

    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_answer_capabilities

    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_capture_answer

    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_prepare_answer

    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…

  • law_publish_answer

    Publish a prepared document. Repeating it with the same preparationId idempotently returns the same URL and the same separate revocation secret.

  • law_revoke_answer

    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_packages

    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…

  • law_ask

    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…

  • law_screen

    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…

  • law_rules

    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…

  • law_explain

    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…

  • law_case_ask

    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…

  • law_sources

    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…

  • law_argue

    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)…

  • law_process

    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…

  • law_process_run

    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…

  • law_editions

    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…

  • law_query

    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)…

  • law_report

    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…

Como conectar

Adicione o servidor à configuração do seu cliente MCP. Claude Desktop, Cursor e a maioria dos outros clientes leem este formato:

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

Adicionar

Claude Code, no terminal

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

Adicionar ao CursorAdicionar ao VS Code

claude.ai, ChatGPT e outros clientes: adicione https://mcp.arxo.io/mcp/charter como conector personalizado nas configurações.

Também distribuído por: npm

Outros servidores atribuídos a Arxo
  • io.arxo/cnafresponde, 16 ferramentasverificado no registro MCP
  • io.arxo/code-civilresponde, 20 ferramentasverificado no registro MCP
  • io.arxo/de-bgbainda não consultadoverificado no registro MCP
  • io.arxo/fide-chessainda não consultadoverificado no registro MCP
  • io.arxo/piccainda não consultadoverificado no registro MCP

Cada linha é algo que um programa encontrou ao procurar: o registro, a resposta do próprio servidor, uma especificação que se lê. Linha ausente quer dizer que não encontramos, não que não exista.