MCP server

French family benefits (CNAF corpus)

io.arxo/cnaf

Checked 26 Oct 2026, 08:29 UTC · Connected to it and listed its tools

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

Website Source

At a glance

Type

MCP server

Publisher

arxo.io (verified by the MCP Registry)

Status

Working at last check

Tools

16

Token cost

About 8,938 tokens per request

Sets up in

Claude Code, Claude Desktop, Codex, Gemini CLI, Cursor, VS Code, Antigravity, ChatGPT, OpenAI API, Grok

Last checked

26 Oct 2026, 08:29 UTC

Connect it to your agent

Add to CursorAdd to VS CodeVS Code Insiders

Opens the app, which shows the server and asks you to confirm. For other apps, copy the setup below.

Claude Code

claude mcp add --transport http cnaf https://mcp.arxo.io/mcp/cnaf

Claude Desktop

Settings → Connectors → Add custom connector, and paste the URL.

Codex (config.toml)

[mcp_servers.cnaf]
url = "https://mcp.arxo.io/mcp/cnaf"

Gemini CLI

{"mcpServers":{"cnaf":{"httpUrl":"https://mcp.arxo.io/mcp/cnaf"}}}

Cursor

{"mcpServers":{"cnaf":{"url":"https://mcp.arxo.io/mcp/cnaf"}}}

VS Code

{"servers":{"cnaf":{"type":"http","url":"https://mcp.arxo.io/mcp/cnaf"}}}

Antigravity

agy mcp add cnaf https://mcp.arxo.io/mcp/cnaf

ChatGPT

Settings → Apps & Connectors → Advanced settings: turn on Developer mode, then Create a connector and paste the URL. Which plans can do this varies.

OpenAI API (Responses tools)

{"type":"mcp","server_label":"cnaf","server_url":"https://mcp.arxo.io/mcp/cnaf","require_approval":"always"}

Grok (xAI API tools)

{"type":"mcp","server_label":"cnaf","server_url":"https://mcp.arxo.io/mcp/cnaf"}

Tools

• law_answer_capabilities ~99 tokens
  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_ask ~2218 tokens
  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_capture_answer ~111 tokens
  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_case_ask ~676 tokens
  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_explain ~464 tokens
  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 ~584 tokens
  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_packages ~920 tokens
  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_passport ~230 tokens
  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_prepare_answer ~653 tokens
  À 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 Sends messages · ~97 tokens
  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_query ~1087 tokens
  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
• law_revoke_answer Changes accounts · ~116 tokens
  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_rules ~464 tokens
  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_screen ~405 tokens
  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_search ~330 tokens
  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_sources ~484 tokens
  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

Browse

• Notion tools
• Notes and wikis
• Legal research
• Databases

Related MCP servers

• French Rental Compliance
  FR/EN tools for French rental, frontalier & home-employment (CCN 3239) — sourced, dated answers.
• Calculate.co.nz NZ Calculators
  Search and run New Zealand tax, KiwiSaver, mortgage and property calculators
• Voxodds
  All-in outcome rankings with live depth, fees, verified rules, EV checks, and track records.
• Wheelofheaven Corpus
  Read-only Wheel of Heaven corpus: myth search, primary texts, datasets, typed graph. CC0.
• Service Public France
  French public services: tax, property, admin, education, healthcare, security, risks, legal texts
• Sahadeva
  Vedic astrology MCP: panchanga, kundli matching, muhurta, dashas.
• Malwarebazaar
  MalwareBazaar MCP — abuse.ch malware sample database (free, key required)
• Andrew's Freebies
  Find evidence-backed U.S. free trials and savings; public benefits are available by explicit scope.

Badge for your README

[![AptLynx](https://aptlynx.net/badge/io.arxo/cnaf.svg)](https://aptlynx.net/servers/io.arxo/cnaf)

Listing text is written by the maker; AptLynx lists tools and does not vouch for them. Find another tool · Browse by topic · For agents