{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_3wuerff7ecdb","handle":"arxo-mcp-code-civil","url":"https://wellknown.network/agents/arxo-mcp-code-civil","links":{"self":"https://wellknown.network/agents/arxo-mcp-code-civil/record.json","html":"https://wellknown.network/agents/arxo-mcp-code-civil","markdown":"https://wellknown.network/agents/arxo-mcp-code-civil/record.md","api":"https://wellknown.network/api/v1/agents/arxo-mcp-code-civil","status":"https://wellknown.network/api/v1/agents/arxo-mcp-code-civil/status","claim":"https://wellknown.network/agents/arxo-mcp-code-civil/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/arxo-mcp-code-civil/claim.json","badge":"https://wellknown.network/agents/arxo-mcp-code-civil/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/arxo-mcp-code-civil/history","tools":"https://wellknown.network/api/v1/agents/arxo-mcp-code-civil/tools"},"ard":{"identifier":"urn:air:mcp.arxo.io:server:arxo-mcp-code-civil","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"Code civil (France)","summary":"French Civil Code (LEGI) as executable rules: facts and a legal date in, answers with grounds out","description":"French Civil Code (LEGI) as executable rules: facts and a legal date in, answers with grounds out","publisher":{"name":"io.arxo","url":null},"homepage":"https://code-civil.law.arxo.io/","repository":"https://github.com/arxohq/arxo-code-civil","version":"0.1.10","license":"Apache-2.0","protocols":["mcp"],"tags":["mcp","model-context-protocol","arxo","law"],"pricing":null,"endpoints":[{"url":"https://mcp.arxo.io/mcp/code-civil","type":"mcp_streamable_http","auth":null,"probeable":true},{"url":"npm:@arxo/mcp-code-civil","type":"package_npm","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":{"updatedAt":"2026-10-14T21:30:54.574178Z","npmKeywords":["mcp","model-context-protocol","arxo","law"],"publishedAt":"2026-10-14T21:30:54.574178Z","registryName":"io.arxo/code-civil"},"attribution":{"kind":"mcp_registry","name":"mcp_registry","license":"npm","repoUrl":"mcp_registry","summary":"mcp_registry","version":"mcp_registry","description":"mcp_registry","homepageUrl":"mcp_registry","publisherName":"mcp_registry"}},"derived":{"capabilities":[{"slug":"productivity.hr","name":"HR & Recruiting","confidence":0.554,"provenance":"derived"},{"slug":"content.writing","name":"Writing & Editing","confidence":0.51,"provenance":"derived"},{"slug":"dev.package-management","name":"Packages & Dependencies","confidence":0.51,"provenance":"derived"}],"categories":["content","dev","productivity"],"language":"en"},"observed":{"status":"live","statusReason":"Responded 7h ago.","lastOkAt":"2026-10-25T05:28:30.584Z","lastProbedAt":"2026-10-25T05:28:30.584Z","statusComputedAt":"2026-10-25T05:31:31.828Z","reliability30d":{"probes":34,"successRate":0.9706,"p50Ms":65,"basis":"service","measures":{"availability":"availability","latency":"response time","tools":"tool surface observed","summary":"Checks reached the service itself."},"checks":{"total":34,"ok":33,"authBoundaryOk":0,"serviceOk":33,"note":"Counted from the observation rows for the window, checks of the server only (HTTP, A2A card, MCP initialize). ok = authBoundaryOk + serviceOk. `probes` is the sum of daily rollups and includes registry checks, so it can differ from `total`."}},"latestObservations":[{"at":"2026-10-25T05:28:30.584Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":56,"error":null,"detail":{"tools":[{"name":"law_search","description":"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è"},{"name":"law_passport","description":"Passeport d'une publication exacte : objet, interface, frontières, contrôles et performance. La section reports conserve l'historique des mesures, y compris les"},{"name":"law_answer_capabilities","description":"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"},{"name":"law_capture_answer","description":"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"},{"name":"law_prepare_answer","description":"À la demande explicite de l'utilisateur, répéter entre 1 et 12 appels law_ask ou law_process_run antérieurs (le cours d'une affaire, DECISION-0160), comparer st"},{"name":"law_publish_answer","description":"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."},{"name":"law_revoke_answer","description":"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"},{"name":"law_packages","description":"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"},{"name":"law_ask","description":"Poser une question au droit formalisé. Quand la réponse est « non établi », elle porte whyNot — le rapport why_not §185 du moteur : les règles candidates et l'é"},{"name":"law_screen","description":"Construire une condition nécessaire — un surensemble — pour la présélection de lignes d'une source externe (DECISION-0120). Ce n'est PAS une réponse juridique e"},{"name":"law_rules","description":"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 à"},{"name":"law_explain","description":"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"},{"name":"law_case_ask","description":"L'opération ask §168.4 (DECISION-0165, DECISION-0399) : exécuter une affaire enregistrée d'un paquet-affaire sur ses dépendances épinglées et renvoyer le docume"},{"name":"law_sources","description":"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"},{"name":"law_argue","description":"Quelle est la solidité d'une conclusion : la carte du litige selon le profil d'argumentation §274 (DECISION-0039). La réponse tombe en quatre classes : SKEPTICA"},{"name":"law_process","description":"De quelles étapes se compose la procédure établie par un acte, et si elle porte un défaut structurel (O-5, DECISION-0052). Les étapes, les transitions et la con"},{"name":"law_process_run","description":"Comment une affaire particulière se déroulera, étape par étape (O-5, DECISION-0052) : un journal {date, attempt?, facts?} est exécuté cadre par cadre, et le dro"},{"name":"law_editions","description":"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 §215 entre l"},{"name":"law_query","description":"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 : nodes(id,kind,p"},{"name":"law_report","description":"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"}],"toolCount":20,"toolsHash":"91f36d64c04fff79ff99a6901cc3cbd5676a23a704383b32a5e7f807065e6f58","serverName":"law-dsl-code-civil","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-24T21:25:45.040Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":55,"error":null,"detail":{"tools":[{"name":"law_search","description":"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è"},{"name":"law_passport","description":"Passeport d'une publication exacte : objet, interface, frontières, contrôles et performance. La section reports conserve l'historique des mesures, y compris les"},{"name":"law_answer_capabilities","description":"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"},{"name":"law_capture_answer","description":"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"},{"name":"law_prepare_answer","description":"À la demande explicite de l'utilisateur, répéter entre 1 et 12 appels law_ask ou law_process_run antérieurs (le cours d'une affaire, DECISION-0160), comparer st"},{"name":"law_publish_answer","description":"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."},{"name":"law_revoke_answer","description":"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"},{"name":"law_packages","description":"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"},{"name":"law_ask","description":"Poser une question au droit formalisé. Quand la réponse est « non établi », elle porte whyNot — le rapport why_not §185 du moteur : les règles candidates et l'é"},{"name":"law_screen","description":"Construire une condition nécessaire — un surensemble — pour la présélection de lignes d'une source externe (DECISION-0120). Ce n'est PAS une réponse juridique e"},{"name":"law_rules","description":"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 à"},{"name":"law_explain","description":"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"},{"name":"law_case_ask","description":"L'opération ask §168.4 (DECISION-0165, DECISION-0399) : exécuter une affaire enregistrée d'un paquet-affaire sur ses dépendances épinglées et renvoyer le docume"},{"name":"law_sources","description":"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"},{"name":"law_argue","description":"Quelle est la solidité d'une conclusion : la carte du litige selon le profil d'argumentation §274 (DECISION-0039). La réponse tombe en quatre classes : SKEPTICA"},{"name":"law_process","description":"De quelles étapes se compose la procédure établie par un acte, et si elle porte un défaut structurel (O-5, DECISION-0052). Les étapes, les transitions et la con"},{"name":"law_process_run","description":"Comment une affaire particulière se déroulera, étape par étape (O-5, DECISION-0052) : un journal {date, attempt?, facts?} est exécuté cadre par cadre, et le dro"},{"name":"law_editions","description":"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 §215 entre l"},{"name":"law_query","description":"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 : nodes(id,kind,p"},{"name":"law_report","description":"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"}],"toolCount":20,"toolsHash":"91f36d64c04fff79ff99a6901cc3cbd5676a23a704383b32a5e7f807065e6f58","serverName":"law-dsl-code-civil","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-24T14:23:56.228Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":88,"error":null,"detail":{"tools":[{"name":"law_search","description":"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è"},{"name":"law_passport","description":"Passeport d'une publication exacte : objet, interface, frontières, contrôles et performance. La section reports conserve l'historique des mesures, y compris les"},{"name":"law_answer_capabilities","description":"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"},{"name":"law_capture_answer","description":"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"},{"name":"law_prepare_answer","description":"À la demande explicite de l'utilisateur, répéter entre 1 et 12 appels law_ask ou law_process_run antérieurs (le cours d'une affaire, DECISION-0160), comparer st"},{"name":"law_publish_answer","description":"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."},{"name":"law_revoke_answer","description":"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"},{"name":"law_packages","description":"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"},{"name":"law_ask","description":"Poser une question au droit formalisé. Quand la réponse est « non établi », elle porte whyNot — le rapport why_not §185 du moteur : les règles candidates et l'é"},{"name":"law_screen","description":"Construire une condition nécessaire — un surensemble — pour la présélection de lignes d'une source externe (DECISION-0120). Ce n'est PAS une réponse juridique e"},{"name":"law_rules","description":"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 à"},{"name":"law_explain","description":"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"},{"name":"law_case_ask","description":"L'opération ask §168.4 (DECISION-0165, DECISION-0399) : exécuter une affaire enregistrée d'un paquet-affaire sur ses dépendances épinglées et renvoyer le docume"},{"name":"law_sources","description":"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"},{"name":"law_argue","description":"Quelle est la solidité d'une conclusion : la carte du litige selon le profil d'argumentation §274 (DECISION-0039). La réponse tombe en quatre classes : SKEPTICA"},{"name":"law_process","description":"De quelles étapes se compose la procédure établie par un acte, et si elle porte un défaut structurel (O-5, DECISION-0052). Les étapes, les transitions et la con"},{"name":"law_process_run","description":"Comment une affaire particulière se déroulera, étape par étape (O-5, DECISION-0052) : un journal {date, attempt?, facts?} est exécuté cadre par cadre, et le dro"},{"name":"law_editions","description":"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 §215 entre l"},{"name":"law_query","description":"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 : nodes(id,kind,p"},{"name":"law_report","description":"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"}],"toolCount":20,"toolsHash":"91f36d64c04fff79ff99a6901cc3cbd5676a23a704383b32a5e7f807065e6f58","serverName":"law-dsl-code-civil","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-24T07:25:51.412Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":63,"error":null,"detail":{"tools":[{"name":"law_search","description":"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è"},{"name":"law_passport","description":"Passeport d'une publication exacte : objet, interface, frontières, contrôles et performance. La section reports conserve l'historique des mesures, y compris les"},{"name":"law_answer_capabilities","description":"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"},{"name":"law_capture_answer","description":"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"},{"name":"law_prepare_answer","description":"À la demande explicite de l'utilisateur, répéter entre 1 et 12 appels law_ask ou law_process_run antérieurs (le cours d'une affaire, DECISION-0160), comparer st"},{"name":"law_publish_answer","description":"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."},{"name":"law_revoke_answer","description":"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"},{"name":"law_packages","description":"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"},{"name":"law_ask","description":"Poser une question au droit formalisé. Quand la réponse est « non établi », elle porte whyNot — le rapport why_not §185 du moteur : les règles candidates et l'é"},{"name":"law_screen","description":"Construire une condition nécessaire — un surensemble — pour la présélection de lignes d'une source externe (DECISION-0120). Ce n'est PAS une réponse juridique e"},{"name":"law_rules","description":"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 à"},{"name":"law_explain","description":"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"},{"name":"law_case_ask","description":"L'opération ask §168.4 (DECISION-0165, DECISION-0399) : exécuter une affaire enregistrée d'un paquet-affaire sur ses dépendances épinglées et renvoyer le docume"},{"name":"law_sources","description":"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"},{"name":"law_argue","description":"Quelle est la solidité d'une conclusion : la carte du litige selon le profil d'argumentation §274 (DECISION-0039). La réponse tombe en quatre classes : SKEPTICA"},{"name":"law_process","description":"De quelles étapes se compose la procédure établie par un acte, et si elle porte un défaut structurel (O-5, DECISION-0052). Les étapes, les transitions et la con"},{"name":"law_process_run","description":"Comment une affaire particulière se déroulera, étape par étape (O-5, DECISION-0052) : un journal {date, attempt?, facts?} est exécuté cadre par cadre, et le dro"},{"name":"law_editions","description":"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 §215 entre l"},{"name":"law_query","description":"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 : nodes(id,kind,p"},{"name":"law_report","description":"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"}],"toolCount":20,"toolsHash":"91f36d64c04fff79ff99a6901cc3cbd5676a23a704383b32a5e7f807065e6f58","serverName":"law-dsl-code-civil","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-24T00:26:00.642Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":74,"error":null,"detail":{"tools":[{"name":"law_search","description":"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è"},{"name":"law_passport","description":"Passeport d'une publication exacte : objet, interface, frontières, contrôles et performance. La section reports conserve l'historique des mesures, y compris les"},{"name":"law_answer_capabilities","description":"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"},{"name":"law_capture_answer","description":"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"},{"name":"law_prepare_answer","description":"À la demande explicite de l'utilisateur, répéter entre 1 et 12 appels law_ask ou law_process_run antérieurs (le cours d'une affaire, DECISION-0160), comparer st"},{"name":"law_publish_answer","description":"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."},{"name":"law_revoke_answer","description":"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"},{"name":"law_packages","description":"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"},{"name":"law_ask","description":"Poser une question au droit formalisé. Quand la réponse est « non établi », elle porte whyNot — le rapport why_not §185 du moteur : les règles candidates et l'é"},{"name":"law_screen","description":"Construire une condition nécessaire — un surensemble — pour la présélection de lignes d'une source externe (DECISION-0120). Ce n'est PAS une réponse juridique e"},{"name":"law_rules","description":"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 à"},{"name":"law_explain","description":"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"},{"name":"law_case_ask","description":"L'opération ask §168.4 (DECISION-0165, DECISION-0399) : exécuter une affaire enregistrée d'un paquet-affaire sur ses dépendances épinglées et renvoyer le docume"},{"name":"law_sources","description":"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"},{"name":"law_argue","description":"Quelle est la solidité d'une conclusion : la carte du litige selon le profil d'argumentation §274 (DECISION-0039). La réponse tombe en quatre classes : SKEPTICA"},{"name":"law_process","description":"De quelles étapes se compose la procédure établie par un acte, et si elle porte un défaut structurel (O-5, DECISION-0052). Les étapes, les transitions et la con"},{"name":"law_process_run","description":"Comment une affaire particulière se déroulera, étape par étape (O-5, DECISION-0052) : un journal {date, attempt?, facts?} est exécuté cadre par cadre, et le dro"},{"name":"law_editions","description":"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 §215 entre l"},{"name":"law_query","description":"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 : nodes(id,kind,p"},{"name":"law_report","description":"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"}],"toolCount":20,"toolsHash":"91f36d64c04fff79ff99a6901cc3cbd5676a23a704383b32a5e7f807065e6f58","serverName":"law-dsl-code-civil","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-23T17:31:14.154Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":95,"error":null,"detail":{"tools":[{"name":"law_search","description":"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è"},{"name":"law_passport","description":"Passeport d'une publication exacte : objet, interface, frontières, contrôles et performance. La section reports conserve l'historique des mesures, y compris les"},{"name":"law_answer_capabilities","description":"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"},{"name":"law_capture_answer","description":"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"},{"name":"law_prepare_answer","description":"À la demande explicite de l'utilisateur, répéter entre 1 et 12 appels law_ask ou law_process_run antérieurs (le cours d'une affaire, DECISION-0160), comparer st"},{"name":"law_publish_answer","description":"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."},{"name":"law_revoke_answer","description":"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"},{"name":"law_packages","description":"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"},{"name":"law_ask","description":"Poser une question au droit formalisé. Quand la réponse est « non établi », elle porte whyNot — le rapport why_not §185 du moteur : les règles candidates et l'é"},{"name":"law_screen","description":"Construire une condition nécessaire — un surensemble — pour la présélection de lignes d'une source externe (DECISION-0120). Ce n'est PAS une réponse juridique e"},{"name":"law_rules","description":"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 à"},{"name":"law_explain","description":"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"},{"name":"law_case_ask","description":"L'opération ask §168.4 (DECISION-0165, DECISION-0399) : exécuter une affaire enregistrée d'un paquet-affaire sur ses dépendances épinglées et renvoyer le docume"},{"name":"law_sources","description":"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"},{"name":"law_argue","description":"Quelle est la solidité d'une conclusion : la carte du litige selon le profil d'argumentation §274 (DECISION-0039). La réponse tombe en quatre classes : SKEPTICA"},{"name":"law_process","description":"De quelles étapes se compose la procédure établie par un acte, et si elle porte un défaut structurel (O-5, DECISION-0052). Les étapes, les transitions et la con"},{"name":"law_process_run","description":"Comment une affaire particulière se déroulera, étape par étape (O-5, DECISION-0052) : un journal {date, attempt?, facts?} est exécuté cadre par cadre, et le dro"},{"name":"law_editions","description":"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 §215 entre l"},{"name":"law_query","description":"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 : nodes(id,kind,p"},{"name":"law_report","description":"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"}],"toolCount":20,"toolsHash":"91f36d64c04fff79ff99a6901cc3cbd5676a23a704383b32a5e7f807065e6f58","serverName":"law-dsl-code-civil","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-23T10:33:47.681Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":75,"error":null,"detail":{"tools":[{"name":"law_search","description":"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è"},{"name":"law_passport","description":"Passeport d'une publication exacte : objet, interface, frontières, contrôles et performance. La section reports conserve l'historique des mesures, y compris les"},{"name":"law_answer_capabilities","description":"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"},{"name":"law_capture_answer","description":"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"},{"name":"law_prepare_answer","description":"À la demande explicite de l'utilisateur, répéter entre 1 et 12 appels law_ask ou law_process_run antérieurs (le cours d'une affaire, DECISION-0160), comparer st"},{"name":"law_publish_answer","description":"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."},{"name":"law_revoke_answer","description":"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"},{"name":"law_packages","description":"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"},{"name":"law_ask","description":"Poser une question au droit formalisé. Quand la réponse est « non établi », elle porte whyNot — le rapport why_not §185 du moteur : les règles candidates et l'é"},{"name":"law_screen","description":"Construire une condition nécessaire — un surensemble — pour la présélection de lignes d'une source externe (DECISION-0120). Ce n'est PAS une réponse juridique e"},{"name":"law_rules","description":"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 à"},{"name":"law_explain","description":"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"},{"name":"law_case_ask","description":"L'opération ask §168.4 (DECISION-0165, DECISION-0399) : exécuter une affaire enregistrée d'un paquet-affaire sur ses dépendances épinglées et renvoyer le docume"},{"name":"law_sources","description":"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"},{"name":"law_argue","description":"Quelle est la solidité d'une conclusion : la carte du litige selon le profil d'argumentation §274 (DECISION-0039). La réponse tombe en quatre classes : SKEPTICA"},{"name":"law_process","description":"De quelles étapes se compose la procédure établie par un acte, et si elle porte un défaut structurel (O-5, DECISION-0052). Les étapes, les transitions et la con"},{"name":"law_process_run","description":"Comment une affaire particulière se déroulera, étape par étape (O-5, DECISION-0052) : un journal {date, attempt?, facts?} est exécuté cadre par cadre, et le dro"},{"name":"law_editions","description":"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 §215 entre l"},{"name":"law_query","description":"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 : nodes(id,kind,p"},{"name":"law_report","description":"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"}],"toolCount":20,"toolsHash":"91f36d64c04fff79ff99a6901cc3cbd5676a23a704383b32a5e7f807065e6f58","serverName":"law-dsl-code-civil","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-23T03:22:22.739Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":41,"error":null,"detail":{"tools":[{"name":"law_search","description":"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è"},{"name":"law_passport","description":"Passeport d'une publication exacte : objet, interface, frontières, contrôles et performance. La section reports conserve l'historique des mesures, y compris les"},{"name":"law_answer_capabilities","description":"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"},{"name":"law_capture_answer","description":"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"},{"name":"law_prepare_answer","description":"À la demande explicite de l'utilisateur, répéter entre 1 et 12 appels law_ask ou law_process_run antérieurs (le cours d'une affaire, DECISION-0160), comparer st"},{"name":"law_publish_answer","description":"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."},{"name":"law_revoke_answer","description":"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"},{"name":"law_packages","description":"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"},{"name":"law_ask","description":"Poser une question au droit formalisé. Quand la réponse est « non établi », elle porte whyNot — le rapport why_not §185 du moteur : les règles candidates et l'é"},{"name":"law_screen","description":"Construire une condition nécessaire — un surensemble — pour la présélection de lignes d'une source externe (DECISION-0120). Ce n'est PAS une réponse juridique e"},{"name":"law_rules","description":"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 à"},{"name":"law_explain","description":"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"},{"name":"law_case_ask","description":"L'opération ask §168.4 (DECISION-0165, DECISION-0399) : exécuter une affaire enregistrée d'un paquet-affaire sur ses dépendances épinglées et renvoyer le docume"},{"name":"law_sources","description":"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"},{"name":"law_argue","description":"Quelle est la solidité d'une conclusion : la carte du litige selon le profil d'argumentation §274 (DECISION-0039). La réponse tombe en quatre classes : SKEPTICA"},{"name":"law_process","description":"De quelles étapes se compose la procédure établie par un acte, et si elle porte un défaut structurel (O-5, DECISION-0052). Les étapes, les transitions et la con"},{"name":"law_process_run","description":"Comment une affaire particulière se déroulera, étape par étape (O-5, DECISION-0052) : un journal {date, attempt?, facts?} est exécuté cadre par cadre, et le dro"},{"name":"law_editions","description":"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 §215 entre l"},{"name":"law_query","description":"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 : nodes(id,kind,p"},{"name":"law_report","description":"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"}],"toolCount":20,"toolsHash":"91f36d64c04fff79ff99a6901cc3cbd5676a23a704383b32a5e7f807065e6f58","serverName":"law-dsl-code-civil","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-22T20:29:01.811Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":72,"error":null,"detail":{"tools":[{"name":"law_search","description":"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è"},{"name":"law_passport","description":"Passeport d'une publication exacte : objet, interface, frontières, contrôles et performance. La section reports conserve l'historique des mesures, y compris les"},{"name":"law_answer_capabilities","description":"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"},{"name":"law_capture_answer","description":"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"},{"name":"law_prepare_answer","description":"À la demande explicite de l'utilisateur, répéter entre 1 et 12 appels law_ask ou law_process_run antérieurs (le cours d'une affaire, DECISION-0160), comparer st"},{"name":"law_publish_answer","description":"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."},{"name":"law_revoke_answer","description":"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"},{"name":"law_packages","description":"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"},{"name":"law_ask","description":"Poser une question au droit formalisé. Quand la réponse est « non établi », elle porte whyNot — le rapport why_not §185 du moteur : les règles candidates et l'é"},{"name":"law_screen","description":"Construire une condition nécessaire — un surensemble — pour la présélection de lignes d'une source externe (DECISION-0120). Ce n'est PAS une réponse juridique e"},{"name":"law_rules","description":"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 à"},{"name":"law_explain","description":"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"},{"name":"law_case_ask","description":"L'opération ask §168.4 (DECISION-0165, DECISION-0399) : exécuter une affaire enregistrée d'un paquet-affaire sur ses dépendances épinglées et renvoyer le docume"},{"name":"law_sources","description":"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"},{"name":"law_argue","description":"Quelle est la solidité d'une conclusion : la carte du litige selon le profil d'argumentation §274 (DECISION-0039). La réponse tombe en quatre classes : SKEPTICA"},{"name":"law_process","description":"De quelles étapes se compose la procédure établie par un acte, et si elle porte un défaut structurel (O-5, DECISION-0052). Les étapes, les transitions et la con"},{"name":"law_process_run","description":"Comment une affaire particulière se déroulera, étape par étape (O-5, DECISION-0052) : un journal {date, attempt?, facts?} est exécuté cadre par cadre, et le dro"},{"name":"law_editions","description":"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 §215 entre l"},{"name":"law_query","description":"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 : nodes(id,kind,p"},{"name":"law_report","description":"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"}],"toolCount":20,"toolsHash":"91f36d64c04fff79ff99a6901cc3cbd5676a23a704383b32a5e7f807065e6f58","serverName":"law-dsl-code-civil","capabilities":["prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-22T07:28:15.756Z","kind":"mcp_initialize","ok":false,"httpStatus":null,"latencyMs":null,"error":"timeout","detail":null}],"tools":[{"name":"law_search","description":"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è"},{"name":"law_passport","description":"Passeport d'une publication exacte : objet, interface, frontières, contrôles et performance. La section reports conserve l'historique des mesures, y compris les"},{"name":"law_answer_capabilities","description":"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"},{"name":"law_capture_answer","description":"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"},{"name":"law_prepare_answer","description":"À la demande explicite de l'utilisateur, répéter entre 1 et 12 appels law_ask ou law_process_run antérieurs (le cours d'une affaire, DECISION-0160), comparer st"},{"name":"law_publish_answer","description":"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."},{"name":"law_revoke_answer","description":"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"},{"name":"law_packages","description":"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"},{"name":"law_ask","description":"Poser une question au droit formalisé. Quand la réponse est « non établi », elle porte whyNot — le rapport why_not §185 du moteur : les règles candidates et l'é"},{"name":"law_screen","description":"Construire une condition nécessaire — un surensemble — pour la présélection de lignes d'une source externe (DECISION-0120). Ce n'est PAS une réponse juridique e"},{"name":"law_rules","description":"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 à"},{"name":"law_explain","description":"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"},{"name":"law_case_ask","description":"L'opération ask §168.4 (DECISION-0165, DECISION-0399) : exécuter une affaire enregistrée d'un paquet-affaire sur ses dépendances épinglées et renvoyer le docume"},{"name":"law_sources","description":"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"},{"name":"law_argue","description":"Quelle est la solidité d'une conclusion : la carte du litige selon le profil d'argumentation §274 (DECISION-0039). La réponse tombe en quatre classes : SKEPTICA"},{"name":"law_process","description":"De quelles étapes se compose la procédure établie par un acte, et si elle porte un défaut structurel (O-5, DECISION-0052). Les étapes, les transitions et la con"},{"name":"law_process_run","description":"Comment une affaire particulière se déroulera, étape par étape (O-5, DECISION-0052) : un journal {date, attempt?, facts?} est exécuté cadre par cadre, et le dro"},{"name":"law_editions","description":"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 §215 entre l"},{"name":"law_query","description":"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 : nodes(id,kind,p"},{"name":"law_report","description":"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"}],"package":{"name":"@arxo/mcp-code-civil","registry":"npm","observedAt":"2026-10-25T05:32:31.157Z","publishedAt":"2026-10-14T21:18:28.152Z","latestVersion":"0.1.10","weeklyDownloads":131},"toolSurface":{"id":"ts_s9cy5szvrtxr","endpointId":"ep_8ws3gn4gcb5r","hash":"91f36d64c04fff79ff99a6901cc3cbd5676a23a704383b32a5e7f807065e6f58","toolCount":20,"serverName":"law-dsl-code-civil","serverVersion":"0.1.0","protocolVersion":"2025-06-18","firstSeenAt":"2026-10-15T13:23:08.926Z","lastSeenAt":"2026-10-25T05:28:30.590Z","observations":33,"toolNames":["law_search","law_passport","law_answer_capabilities","law_capture_answer","law_prepare_answer","law_publish_answer","law_revoke_answer","law_packages","law_ask","law_screen","law_rules","law_explain","law_case_ask","law_sources","law_argue","law_process","law_process_run","law_editions","law_query","law_report"],"distinctSurfaces":1},"endpointFacts":[{"id":"ep_8ws3gn4gcb5r","url":"https://mcp.arxo.io/mcp/code-civil","type":"mcp_streamable_http","factsCheckedAt":"2026-10-24T07:25:51.445Z","auth":{"observedAt":"2026-10-24T07:25:51.462Z","authRequired":false,"scheme":null,"resourceMetadata":null,"authorizationServer":null,"conformance":{"dpop":false,"rfc8414":false,"rfc9728":false,"pkceS256":false,"clientIdMetadataDocument":false,"dynamicClientRegistration":false}},"tls":{"observedAt":"2026-10-24T07:25:51.498Z","protocol":"TLSv1.3","chainValid":true,"chainError":null,"hostMatches":true,"subject":"mcp.arxo.io","issuer":{"commonName":"YR1","organization":"Let's Encrypt"},"validFrom":"2026-08-31T11:35:05.000Z","validTo":"2026-11-29T11:35:04.000Z","daysToExpiry":34,"sanCount":1,"fingerprint256":"C5:16:16:06:FB:72:82:C3:96:54:68:F8:50:0A:97:A3:14:01:7B:C5:40:2F:91:19:46:39:B8:F1:F2:4E:30:2D"}}]},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"mcp_registry","key":"io.arxo/code-civil","url":"https://registry.modelcontextprotocol.io/v0/servers/io.arxo%2Fcode-civil","firstSeenAt":"2026-10-15T13:18:21.716Z","fetchedAt":"2026-10-22T08:19:11.546Z","normalizedAt":"2026-10-22T08:19:11.546Z"},{"source":"npm","key":"@arxo/mcp-code-civil","url":"https://www.npmjs.com/package/@arxo/mcp-code-civil","firstSeenAt":"2026-10-10T07:17:39.561Z","fetchedAt":"2026-10-25T05:20:14.010Z","normalizedAt":"2026-10-25T05:20:14.010Z"}]},"firstSeenAt":"2026-10-10T07:17:39.561Z","updatedAt":"2026-10-25T05:32:31.157Z"}