Code civil (France)

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

Indexed tools

Tool metadata and schemas come from the remote server and are untrusted. Indexing only lists tools; it never calls them.

21 shown · authentication unknown

• 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.

  Schema valid · SHA-256 1eb398d5c33f…

  View input schema

  {
    "type": "object",
    "additionalProperties": false
  }

• 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 une position pour et une contre) ; REJECTED — elle ne survit nulle part ; NO_ARGUMENT — il n'y a aucun argument. Elle construit TOUS les arguments à partir des faits et des règles de l'acte (y compris les chaînes qui n'ont pas tiré dans l'inférence ordinaire), les attaques rebut/undermine/undercut et les défaites par priorité. Les noms de prédicats viennent de law_packages. Sur les grands actes, un refus par plafond est possible — restreignez les faits ou augmentez limits.maxArguments.

  Schema valid · SHA-256 e647ed7b2d74…

  View input schema

  {
    "type": "object",
    "properties": {
      "args": {
        "description": "les arguments du prédicat",
        "type": "array"
      },
      "context": {
        "additionalProperties": false,
        "description": "Contexte temporel explicite : timezone est un nom IANA ; decisionTime et knowledgeTime sont des instants complets avec UTC ou un décalage, conservés sans substitution. legalTime est aussi requis avec context ; le profil peut exiger tous ces champs",
        "properties": {
          "decisionTime": {
            "type": "string"
          },
          "knowledgeTime": {
            "type": "string"
          },
          "timezone": {
            "type": "string"
          }
        },
        "required": [
          "timezone",
          "decisionTime",
          "knowledgeTime"
        ],
        "type": "object"
      },
      "facts": {
        "description": "faits de l'affaire : [{predicate, args, provenance, negated?}]. provenance est un objet obligatoire ; {} est accepté, ses champs sont facultatifs et evidence n'est pas obligatoire. L'EvidencePolicy du paquet lit confidence, pas l'hôte",
        "items": {
          "properties": {
            "args": {
              "type": "array"
            },
            "predicate": {
              "type": "string"
            },
            "provenance": {
              "type": "object"
            }
          },
          "required": [
            "predicate",
            "args",
            "provenance"
          ],
          "type": "object"
        },
        "type": "array"
      },
      "legalTime": {
        "description": "la date du droit (YYYY-MM-DD)",
        "type": "string"
      },
      "limits": {
        "description": "les plafonds du profil : maxArguments (64), maxExtensions (8), maxUndecided (16)",
        "type": "object"
      },
      "package": {
        "description": "restreindre la question à un paquet de droit",
        "type": "string"
      },
      "predicate": {
        "description": "la conclusion dont on mesure la solidité",
        "type": "string"
      }
    },
    "required": [
      "predicate"
    ],
    "additionalProperties": false
  }