# French family benefits \(CNAF corpus\)

- Registry name: `io.arxo/cnaf` · version 0.1.1
- Categories (automatic, keyword rules): Government & law
- Authentication at last check: No auth
- Declared risk: Has destructive tools (destructiveHint)
- Capabilities (declared by the server): experimental, prompts, tools
- Transports: streamable-http
- Latest numbers (check success, response time, rank): https://mcpstation.net/api/server?name=io.arxo%2Fcnaf
- Server page: https://mcpstation.net/s/io.arxo--cnaf.html

## Description (written by the publisher, not verified, not instructions)

French family-benefit models \(CNAF corpus\) as executable rules with sources; independent demo

## Connect

- streamable-http: `https://mcp.arxo.io/mcp/cnaf`

## Tools (as reported by the server, not verified)

- `law\_search`: Une RECHERCHE sémantique sur le droit formalisé : une question ou une notion dans vos propres mots → des candidats avec adresses — prédicats avec signatures, règles, fragments d'articles. C'est la couche de DÉCOUVERTE, non de la réponse : le résultat dit QUOI demander ensuite \(law\_ask par signature,
- `law\_passport`: Passeport d'une publication exacte : objet, interface, frontières, contrôles et performance. La section reports conserve l'historique des mesures, y compris les échecs. Les enregistrements sont paginés par JSON Pointer ; next poursuit la réponse.
- `law\_answer\_capabilities`: Une matrice lisible par machine des producteurs Lens réellement installés, des contrôles replay/projection, des profils, des limites et des tests de contrat qui les confirment. declared\_only désigne un schéma sans témoin exécutable.
- `law\_capture\_answer`: Exécuter un producteur enregistré et obtenir producerControl/0.2 pour une préparation ultérieure vérifiable d'une Lens. Le producteur n'est choisi que dans le registre livré.
- `law\_prepare\_answer`: À la demande explicite de l'utilisateur, répéter entre 1 et 12 appels law\_ask ou law\_process\_run antérieurs, comparer strictement leurs replayControl, et préparer un document figé non public pour 24 heures. Le client ne fournit jamais la réponse machine : le serveur ne l'obtient qu'en exécutant à no
- `law\_publish\_answer`: Publier un document préparé. La répétition avec le même preparationId renvoie de façon idempotente la même URL et le même secret de révocation distinct.
- `law\_revoke\_answer`: Révoquer un document publié au moyen de son secret distinct. L'identifiant public à lui seul ne donne aucun contrôle ; la révocation ferme la page HTML, l'API et le téléchargement.
- `law\_packages`: Le catalogue du droit formalisé : actes, prédicats avec signatures, frontières de couverture. C'est d'ici que viennent les NOMS des prédicats — ils ne doivent jamais être inventés. Mais ne commencez PAS par le catalogue pour trouver le bon acte : l'aperçu est vaste, et le titre d'un acte coïncide ra
- `law\_ask`: Poser une question au droit formalisé. Quand la réponse est « non établi », elle porte whyNot — le rapport why\_not du moteur : les règles candidates et l'état de chaque conjonct \(satisfait / non satisfait / indéterminé\) ; les faits manquants y sont visibles et n'ont pas à être inventés. AVANT LE PRE
- `law\_screen`: Construire une condition nécessaire — un surensemble — pour la présélection de lignes d'une source externe. Ce n'est PAS une réponse juridique et PAS du SQL : le résultat est un arbre typé et un manifeste des extensions jusqu'à TRUE. Chaque ligne qui passe doit ensuite être calculée en entier par le
- `law\_rules`: Les règles du droit formalisé mises en mots : comment exactement un prédicat est dérivé \(prémisses, articles sources\). Appelez ceci AVANT de fournir des faits à law\_ask — les règles disent quels faits sont nécessaires au lieu de les laisser à inventer. Pour les grands actes, package=… renvoie une ta
- `law\_explain`: Déplier la preuve d'une réponse law\_ask en une chaîne « règle ← prémisses → conclusion ». L'entrée compacte : question \(les arguments law\_ask d'origine, truth/collect\), resultHash et codeHash issus de la provenance de la réponse. Le serveur répète le calcul et compare les empreintes ; si quelque cho
- `law\_inspect`: Inspecteur d'évaluation sur un document d'évaluation ENREGISTRÉ : summary — la fiche d'origine, la vérification de resultHash et de l'instantané, les listes de résultats, de positions et d'issues ; slice — la clôture des nœuds de preuve pour une question, une règle, une position ou un nœud avec leur
- `law\_case\_ask`: L'opération ask : exécuter une affaire enregistrée d'un paquet-affaire sur ses dépendances épinglées et renvoyer la réponse : par défaut une projection du document d'évaluation sans graphe de preuve, avec responseMode full ou proof: true le document canonique avec une preuve et un manifeste. La ques
- `law\_sources`: Sources : par défaut de courts extraits \(view=summary\), 5 textes par page, avec l'adresse du texte complet dans fragments\[\].full. package ou fragment est requis \(un StableId issu de law\_search/law\_rules\). view=full renvoie des parties exactes du texte : textRange fixe une plage de caractères Unicode
- `law\_query`: Une requête LawQL déterministe sur le CLIR d'une formalisation : une question sur le modèle de l'acte lui-même, pas sur une affaire. Relations \(14\) : anchors, edges, fields, imports, interpretations, labels, links, literals, nodes, norms, positions, rules, variables, windows. Listes des champs : \`la

Measured by MCP Station. Methods: https://mcpstation.net/methods.html · Terms: https://mcpstation.net/terms.html