Code civil (France)

安装

选择你使用的 AI 应用，然后复制设置。

通过 3/3 项检查 · 你的提问会经过开发者的服务器（mcp.arxo.io） · ✓ 命令已检查 2026年11月13日

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

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

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

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

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

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

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

哪些应用可以使用它

依据这个服务器的连接方式和各应用自己的文档，检查于 2026年11月10日。

通过互联网连接，适用于

ClaudeChatGPTGooseLM StudioMsty StudioCherry StudioCursorVS Code + GitHub CopilotVisual StudioWindsurf (Devin Desktop)ZedKiroClineContinueJetBrains AI AssistantClaude CodeCodex CLIGemini CLIOpenCodenodecodeWarpLibreChatOpen WebUIRaycast

在你的电脑上运行，适用于

ClaudeGooseLM StudioMsty StudioCherry StudioCursorVS Code + GitHub CopilotVisual StudioWindsurf (Devin Desktop)ZedKiroClineContinueJetBrains AI AssistantClaude CodeCodex CLIGemini CLIOpenCodenodecodeWarpLibreChatRaycast

全部应用及其优缺点 →

它能做什么

工具名称和描述与服务器在 2026年11月13日 报告的完全一致。这些内容由作者撰写，不是我们写的；我们以纯文本形式显示。

• 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. C'est la couche de DÉCOUVERTE, non de la réponse : le résultat dit QUOI demander ensuite (la

• 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 échecs. Les enregistrements sont paginés par JSON Pointer ; next poursuit la réponse.

• 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. declared_only désigne un schéma sans témoin exécutable.

• 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 registre livré.

• 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. Le client ne fournit jamais la réponse machine : le serveur ne l'obtient

• 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 et le téléchargement.

• 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 jamais être inventés. Mais ne commencez PAS par le catalogue pour trouver le bon acte : l'aperçu est vaste, et le titre d

• 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 de chaque conjonct (satisfait / non satisfait / indéterminé) ; les faits manquants y sont visibles et n'ont pas à être in

• 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 : le résultat est un arbre typé et un manifeste des extensions jusqu'à TRUE. Chaque ligne qui passe doit ensuite être calcu

• 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_ask — les règles disent quels faits sont nécessaires au lieu de les laisser à inventer. Pour les grands actes, pack

• 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/collect), resultHash et codeHash issus de la provenance de la réponse. Le serveur répète le calcul et compare les emprein

• 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 résultats, de positions et d'issues ; slice — la clôture des nœuds de preuve pour une question, une règle, une position

• 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 document d'évaluation sans graphe de preuve, avec responseMode full ou proof: true le document canonique avec une preuve et u

• 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 (un StableId issu de law_search/law_rules). view=full renvoie des parties exactes du texte : textRange fixe une plage d

• 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 conclusion est invulnérable (elle survit dans l'extension grounded) ; CREDULOUSLY_ACCEPTED — seulement défendable (il existe

• 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 transition sont reconstruites à partir de la formalisation, non racontées : ce qui mène d'où vers où, et sous quelle conditi

• 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 est le droit de SA date. La réponse dit : quelles étapes ont été atteintes ; quelle transition tentée n'a produit AUCUN ef

• 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 projections D1. Le verdict NOT_DATED signifie « il n'y avait rien pour le dater », non « rien n'a changé ». L'issue d'une

• 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, edges, fields, imports, interpretations, labels, links, literals, nodes, norms, positions, rules, variables, windows. Lis

• 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 étiquette diverge du texte, une adresse est introuvable. Un signalement est une hypothèse pour le triage par un formali

基础检查i

我们检查的是任何人都能看到的信息；我们没有阅读代码。不适用的检查项不计入总数。 · 检查于 2026年11月15日

• ✓ 通过

  作者与仓库一致

  注册名称已通过域名 arxo.io 验证（注册中心会核实域名所有权）

• … 尚未检查

  仍在维护

  我们还没有从 GitHub 读取这个仓库

• … 尚未检查

  有许可证

  我们还没有从 GitHub 读取这个仓库

• ✓ 通过

  端点有响应

  在 553 毫秒内响应（HTTP 200）

• – 不适用

  使用 OAuth 登录

  无需登录

• ✓ 通过

  工具描述中没有隐藏指令

  已读取 21 个工具描述，未发现针对 AI 的隐藏指令

我们检查什么 → · JSON

用户评价

还没有评价

用 Google 登录后写评价

与“开发者工具”中的其他服务器比较i

• 星标数多于此分类中其他 5909 个服务器的 0%
• 发布到注册中心的时间比此分类中其他 5909 个服务器的 50% 更新
• 基础检查结果等于或优于此分类中其他 5909 个服务器的 100%

与注册中心里这个分类中所有活跃的服务器比较。只有当发布者拥有该仓库时，星标数才计入。

功能相近的其他选择

同一分类、其他作者、命令已通过检查。官方的排在前面，再按星标排序。

如何看卡片：↓ 每周下载量i★ GitHub 星标i三大支柱：评价 · 检查 · 使用情况i更新 = 最新版本发布到注册中心的时间i

GitDiagram

Architecture diagrams, explanations and Mermaid source for public GitHub repositories.

作者：ahmedkhaleel2004·广泛使用·★ 1.9万·2个月前更新

在云端运行✓ 服务方 · gitdiagram.comPopNx 团队已实际试用

接入方法

Appllama

Study screens, flows and paywalls from top-earning iOS apps, then build from what wins.

作者：Appllama·广泛使用·★ 5174·3个月前更新

在云端运行✓ 服务方 · appllama.io

接入方法

Cloudflare MCP

Cloudflare MCP servers

作者：cloudflare·广泛使用·★ 4466·14个月前更新

在云端运行✓ 服务方 · mcp.cloudflare.comPopNx 团队已实际试用

接入方法

Omnara

Deploy durable AI agents with Omnara, an open-source managed-agent platform.

作者：omnara-ai·广泛使用·★ 3395·2个月前更新

在云端运行✓ 服务方 · omnara.com

接入方法

Repowise

Codebase intelligence for AI coding agents: graph, git history, docs, decisions, code health.

作者：repowise-dev·广泛使用·↓ 6506/周·★ 8138 整个仓库的星标·前天更新

电脑或云端✓ 服务方 · repowise.dev

安装

• GitDiagram — 在云端运行，无需安装 · 不需要密钥
• Appllama — 在云端运行，无需安装 · 不需要密钥
• Cloudflare MCP — 在云端运行，无需安装 · 不需要密钥 · 在 Claude 的目录中
• Omnara — 在云端运行，无需安装 · 不需要密钥
• Repowise — 云端或安装在电脑上都可以 · 不需要密钥

作者的 README

npm install -g @arxo/cli@0.2.4

law eval examples/risque-accepte

law ask collections/imprevision-force-majeure --case PrixEnHausse \

law inspect examples/renegociation-ouverte/result.json summary

law engine unfold registry/world/fr.code_civil.contrat.lawir.json \

law test packages/fr.code_civil.core --file tests/titre-preliminaire.lawtest --json