{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_76esv24dndzh","handle":"french-family-benefits-cnaf-corpus","url":"https://wellknown.network/agents/french-family-benefits-cnaf-corpus","links":{"self":"https://wellknown.network/agents/french-family-benefits-cnaf-corpus/record.json","html":"https://wellknown.network/agents/french-family-benefits-cnaf-corpus","markdown":"https://wellknown.network/agents/french-family-benefits-cnaf-corpus/record.md","api":"https://wellknown.network/api/v1/agents/french-family-benefits-cnaf-corpus","status":"https://wellknown.network/api/v1/agents/french-family-benefits-cnaf-corpus/status","claim":"https://wellknown.network/agents/french-family-benefits-cnaf-corpus/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/french-family-benefits-cnaf-corpus/claim.json","badge":"https://wellknown.network/agents/french-family-benefits-cnaf-corpus/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/french-family-benefits-cnaf-corpus/history","tools":"https://wellknown.network/api/v1/agents/french-family-benefits-cnaf-corpus/tools"},"ard":{"identifier":"urn:air:mcp.arxo.io:server:french-family-benefits-cnaf-corpus","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"French family benefits (CNAF corpus)","summary":"French family-benefit models (CNAF corpus) as executable rules with sources; independent demo","description":"French family-benefit models (CNAF corpus) as executable rules with sources; independent demo","publisher":{"name":"io.arxo","url":null},"homepage":"https://french-benefits.law.arxo.io/","repository":"https://github.com/arxohq/arxo-cnaf","version":"0.1.1","license":null,"protocols":["mcp"],"tags":[],"pricing":null,"endpoints":[{"url":"https://mcp.arxo.io/mcp/cnaf","type":"mcp_streamable_http","auth":null,"probeable":true},{"url":"npm:@arxo/mcp-cnaf","type":"package_npm","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":{"updatedAt":"2026-10-14T21:31:01.007376Z","publishedAt":"2026-10-14T21:31:01.007376Z","registryName":"io.arxo/cnaf"},"attribution":{"kind":"mcp_registry","name":"mcp_registry","repoUrl":"mcp_registry","summary":"mcp_registry","version":"mcp_registry","description":"mcp_registry","homepageUrl":"mcp_registry","publisherName":"mcp_registry"}},"derived":{"capabilities":[{"slug":"data.database","name":"Databases","confidence":0.933,"provenance":"derived"},{"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","data","dev","productivity"],"language":"en"},"observed":{"status":"live","statusReason":"Responded 2h ago.","lastOkAt":"2026-10-27T21:30:59.370Z","lastProbedAt":"2026-10-27T21:30:59.370Z","statusComputedAt":"2026-10-27T21:34:45.735Z","reliability30d":{"probes":43,"successRate":0.9767,"p50Ms":62,"basis":"service","measures":{"availability":"availability","latency":"response time","tools":"tool surface observed","summary":"Checks reached the service itself."},"checks":{"total":43,"ok":42,"authBoundaryOk":0,"serviceOk":42,"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-27T21:30:59.370Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":47,"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, comparer strictement leurs replayControl, et prépar"},{"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 du moteur : les règles candidates et l'état d"},{"name":"law_screen","description":"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"},{"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_inspect","description":"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 "},{"name":"law_case_ask","description":"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"},{"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_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 (14) : anchors, e"}],"toolCount":16,"toolsHash":"677a30703212ef62b71539b2f368e3f27a628776e4723d654ec09f73d5bc4918","serverName":"arxo-cnaf-mcp","capabilities":["experimental","prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-27T14:27:38.977Z","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, comparer strictement leurs replayControl, et prépar"},{"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 du moteur : les règles candidates et l'état d"},{"name":"law_screen","description":"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"},{"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_inspect","description":"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 "},{"name":"law_case_ask","description":"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"},{"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_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 (14) : anchors, e"}],"toolCount":16,"toolsHash":"677a30703212ef62b71539b2f368e3f27a628776e4723d654ec09f73d5bc4918","serverName":"arxo-cnaf-mcp","capabilities":["experimental","prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-27T07:21:29.789Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":57,"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, comparer strictement leurs replayControl, et prépar"},{"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 du moteur : les règles candidates et l'état d"},{"name":"law_screen","description":"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"},{"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_inspect","description":"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 "},{"name":"law_case_ask","description":"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"},{"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_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 (14) : anchors, e"}],"toolCount":16,"toolsHash":"677a30703212ef62b71539b2f368e3f27a628776e4723d654ec09f73d5bc4918","serverName":"arxo-cnaf-mcp","capabilities":["experimental","prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-26T23:24:17.270Z","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, comparer strictement leurs replayControl, et prépar"},{"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 du moteur : les règles candidates et l'état d"},{"name":"law_screen","description":"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"},{"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_inspect","description":"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 "},{"name":"law_case_ask","description":"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"},{"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_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 (14) : anchors, e"}],"toolCount":16,"toolsHash":"677a30703212ef62b71539b2f368e3f27a628776e4723d654ec09f73d5bc4918","serverName":"arxo-cnaf-mcp","capabilities":["experimental","prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-26T16:26:00.881Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":39,"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, comparer strictement leurs replayControl, et prépar"},{"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 du moteur : les règles candidates et l'état d"},{"name":"law_screen","description":"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"},{"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_inspect","description":"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 "},{"name":"law_case_ask","description":"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"},{"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_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 (14) : anchors, e"}],"toolCount":16,"toolsHash":"677a30703212ef62b71539b2f368e3f27a628776e4723d654ec09f73d5bc4918","serverName":"arxo-cnaf-mcp","capabilities":["experimental","prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-26T08:25:27.716Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":174,"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, comparer strictement leurs replayControl, et prépar"},{"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 du moteur : les règles candidates et l'état d"},{"name":"law_screen","description":"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"},{"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_inspect","description":"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 "},{"name":"law_case_ask","description":"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"},{"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_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 (14) : anchors, e"}],"toolCount":16,"toolsHash":"677a30703212ef62b71539b2f368e3f27a628776e4723d654ec09f73d5bc4918","serverName":"arxo-cnaf-mcp","capabilities":["experimental","prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-26T01:33:45.338Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":65,"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, comparer strictement leurs replayControl, et prépar"},{"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 du moteur : les règles candidates et l'état d"},{"name":"law_screen","description":"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"},{"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_inspect","description":"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 "},{"name":"law_case_ask","description":"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"},{"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_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 (14) : anchors, e"}],"toolCount":16,"toolsHash":"677a30703212ef62b71539b2f368e3f27a628776e4723d654ec09f73d5bc4918","serverName":"arxo-cnaf-mcp","capabilities":["experimental","prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-25T18:28:02.289Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":62,"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, comparer strictement leurs replayControl, et prépar"},{"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 du moteur : les règles candidates et l'état d"},{"name":"law_screen","description":"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"},{"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_inspect","description":"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 "},{"name":"law_case_ask","description":"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"},{"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_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 (14) : anchors, e"}],"toolCount":16,"toolsHash":"677a30703212ef62b71539b2f368e3f27a628776e4723d654ec09f73d5bc4918","serverName":"arxo-cnaf-mcp","capabilities":["experimental","prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-25T11:28:07.993Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":38,"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, comparer strictement leurs replayControl, et prépar"},{"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 du moteur : les règles candidates et l'état d"},{"name":"law_screen","description":"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"},{"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_inspect","description":"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 "},{"name":"law_case_ask","description":"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"},{"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_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 (14) : anchors, e"}],"toolCount":16,"toolsHash":"677a30703212ef62b71539b2f368e3f27a628776e4723d654ec09f73d5bc4918","serverName":"arxo-cnaf-mcp","capabilities":["experimental","prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}},{"at":"2026-10-25T03:25:05.603Z","kind":"mcp_initialize","ok":true,"httpStatus":200,"latencyMs":791,"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, comparer strictement leurs replayControl, et prépar"},{"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 du moteur : les règles candidates et l'état d"},{"name":"law_screen","description":"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"},{"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_inspect","description":"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 "},{"name":"law_case_ask","description":"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"},{"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_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 (14) : anchors, e"}],"toolCount":16,"toolsHash":"677a30703212ef62b71539b2f368e3f27a628776e4723d654ec09f73d5bc4918","serverName":"arxo-cnaf-mcp","capabilities":["experimental","prompts","tools"],"serverVersion":"0.1.0","protocolVersion":"2025-06-18"}}],"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, comparer strictement leurs replayControl, et prépar"},{"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 du moteur : les règles candidates et l'état d"},{"name":"law_screen","description":"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"},{"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_inspect","description":"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 "},{"name":"law_case_ask","description":"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"},{"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_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 (14) : anchors, e"}],"package":null,"toolSurface":{"id":"ts_zf73v49yzvuj","endpointId":"ep_r3tqcwybb67a","hash":"677a30703212ef62b71539b2f368e3f27a628776e4723d654ec09f73d5bc4918","toolCount":16,"serverName":"arxo-cnaf-mcp","serverVersion":"0.1.0","protocolVersion":"2025-06-18","firstSeenAt":"2026-10-15T13:23:08.809Z","lastSeenAt":"2026-10-27T21:30:59.360Z","observations":42,"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_inspect","law_case_ask","law_sources","law_query"],"distinctSurfaces":1},"endpointFacts":[{"id":"ep_r3tqcwybb67a","url":"https://mcp.arxo.io/mcp/cnaf","type":"mcp_streamable_http","factsCheckedAt":"2026-10-26T16:26:00.903Z","auth":{"observedAt":"2026-10-26T16:26:00.934Z","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-26T16:26:00.979Z","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":32,"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/cnaf","url":"https://registry.modelcontextprotocol.io/v0/servers/io.arxo%2Fcnaf","firstSeenAt":"2026-10-15T13:18:21.716Z","fetchedAt":"2026-10-25T17:19:16.391Z","normalizedAt":"2026-10-25T17:19:16.391Z"}]},"firstSeenAt":"2026-10-15T13:18:21.716Z","updatedAt":"2026-10-27T21:35:47.950Z"}