io.arxo/code-civil

up checked 2026-11-11T10:39:16.510Z

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided title

Code civil (France)

Publisher-provided description

French Civil Code (LEGI) as executable rules: facts and a legal date in, answers with grounds out

Summary by lookupd

Lets an agent query the French Civil Code as executable rules, returning legal answers with grounds, rule explanations and source excerpts.

Install

Claude Code, remote (streamable-http)

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

Claude Code, npm package (stdio)

claude mcp add code-civil -- npx -y @arxo/mcp-code-civil

Codex, remote (streamable-http)

codex mcp add code-civil --url https://mcp.arxo.io/mcp/code-civil

Codex, npm package (stdio)

codex mcp add code-civil -- npx -y @arxo/mcp-code-civil

Cursor, remote (streamable-http) → .cursor/mcp.json

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

Cursor, npm package (stdio) → .cursor/mcp.json

{
  "mcpServers": {
    "code-civil": {
      "command": "npx",
      "args": [
        "-y",
        "@arxo/mcp-code-civil"
      ]
    }
  }
}

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Tools (21 tools)

Publisher-provided text

• 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è
• law_passport Passeport d'une publication exacte : objet, interface, frontières, contrôles et performance. La section reports conserve l'historique des mesures, y compris les
• 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
• law_capture_answer Exécuter un producteur enregistré et obtenir producerControl/0.2 pour une préparation ultérieure vérifiable d'une Lens. Le producteur n'est choisi que dans le r
• 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épar
• law_publish_answer Publier un document préparé. La répétition avec le même preparationId renvoie de façon idempotente la même URL et le même secret de révocation distinct.
• law_revoke_answer Révoquer un document publié au moyen de son secret distinct. L'identifiant public à lui seul ne donne aucun contrôle ; la révocation ferme la page HTML, l'API e
• law_packages Le catalogue du droit formalisé : actes, prédicats avec signatures, frontières de couverture. C'est d'ici que viennent les NOMS des prédicats — ils ne doivent j
• law_ask Poser une question au droit formalisé. Quand la réponse est « non établi », elle porte whyNot — le rapport why_not du moteur : les règles candidates et l'état d
• law_screen Construire une condition nécessaire — un surensemble — pour la présélection de lignes d'une source externe. Ce n'est PAS une réponse juridique et PAS du SQL : l
• law_rules Les règles du droit formalisé mises en mots : comment exactement un prédicat est dérivé (prémisses, articles sources). Appelez ceci AVANT de fournir des faits à
• law_explain Déplier la preuve d'une réponse law_ask en une chaîne « règle ← prémisses → conclusion ». L'entrée compacte : question (les arguments law_ask d'origine, truth/c
• law_inspect Inspecteur d'évaluation sur un document d'évaluation ENREGISTRÉ : summary — la fiche d'origine, la vérification de resultHash et de l'instantané, les listes de
• law_case_ask L'opération ask : exécuter une affaire enregistrée d'un paquet-affaire sur ses dépendances épinglées et renvoyer la réponse : par défaut une projection du docum
• law_sources Sources : par défaut de courts extraits (view=summary), 5 textes par page, avec l'adresse du texte complet dans fragments[].full. package ou fragment est requis
• law_argue Quelle est la solidité d'une conclusion : la carte du litige selon le profil d'argumentation La réponse tombe en quatre classes : SKEPTICALLY_ACCEPTED — la conc
• law_process De quelles étapes se compose la procédure établie par un acte, et si elle porte un défaut structurel. Les étapes, les transitions et la condition de chaque tran
• law_process_run Comment une affaire particulière se déroulera, étape par étape : un journal {date, attempt?, facts?} est exécuté cadre par cadre, et le droit de chaque cadre es
• law_editions L'axe des éditions (O-2) : ce qui a changé dans un acte entre deux dates du droit — l'état des éditions, le datage des normes et le diff sémantique entre les pr
• law_query Une requête LawQL déterministe sur le CLIR d'une formalisation : une question sur le modèle de l'acte lui-même, pas sur une affaire. Relations (14) : anchors, e
• law_report Un SIGNALEMENT d'écart entre la formalisation et la source : la réponse contredit le texte épinglé, une norme de la source n'est pas exprimée par une règle, une

Details

• Version: 0.1.10
• Transports: streamable-http, stdio
• Uptime (7 days): 100%
• Median latency: 713 ms
• First indexed: 2026-11-01T09:02:53.372Z
• Last seen in registry: 2026-11-01T09:02:53.384Z
• Repository: https://github.com/arxohq/arxo-code-civil
• Website: https://code-civil.law.arxo.io/

Badge for your README

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/io.arxo/code-civil.svg)](https://lookupd.com/servers/io.arxo/code-civil)

• 62092 servers
• Last crawl: 2026-11-11T17:17:22.074Z
• API base: https://api.lookupd.com
• MCP URL: https://api.lookupd.com/mcp