INDIVIDUAL MCP TOOL

law_explain

Déplier la preuve d'une réponse law_ask en une chaîne « règle ← prémisses → conclusion ».

arxo.ionone authenticationAvailability not checked

LIVE ENDPOINT

https://mcp.arxo.io/mcp/cnaf

No auth detected

Connect to this endpoint to inspect the live schema for law_explain and invoke it with your own arguments.

{}

Inferred read-only · medium confidence · heuristic, not a guarantee.

No write-capable action terms were found; this is not proof that invocation has no side effects.

CONNECT WITH APPROVAL

Review this server and its permissions before adding it. Secret placeholders must be set locally.

Codex

~/.codex/config.toml

[mcp_servers.arxo-cnaf-mcp]
url = "https://mcp.arxo.io/mcp/cnaf"
enabled = true

Claude Code

.mcp.json

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

Claude Desktop

Settings → Connectors → Add custom connector

Name: arxo-cnaf-mcp
Remote MCP URL: https://mcp.arxo.io/mcp/cnaf

Add this remote URL as a custom connector in Claude Desktop. Availability depends on the user plan and workspace policy.

Cursor

.cursor/mcp.json

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

Visual Studio Code

.vscode/mcp.json

Add to Visual Studio Code

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

Generic MCP

Client-specific MCP configuration

{
  "name": "arxo-cnaf-mcp",
  "transport": "streamable-http",
  "url": "https://mcp.arxo.io/mcp/cnaf"
}

MCP Inspector

Run the official MCP Inspector locally and enter the indexed Streamable HTTP endpoint.

law_search — Une RECHERCHE sémantique sur le droit formalisé : une question ou une notion dans vos propres mots → des candidats avec adresses — prédicats avec signatures, règles, fragments d'articles.
law_passport — Passeport d'une publication exacte : objet, interface, frontières, contrôles et performance.
law_answer_capabilities — Une matrice lisible par machine des producteurs Lens réellement installés, des contrôles replay/projection, des profils, des limites et des tests de contrat qui les confirment.
law_capture_answer — Exécuter un producteur enregistré et obtenir producerControl/0.
law_prepare_answer — À la demande explicite de l'utilisateur, répéter entre 1 et 12 appels law_ask ou law_process_run antérieurs, comparer strictement leurs replayControl, et préparer un document figé non public pour 24 heures.
law_publish_answer — Publier un document préparé.
law_revoke_answer — Révoquer un document publié au moyen de son secret distinct.
law_packages — Le catalogue du droit formalisé : actes, prédicats avec signatures, frontières de couverture.