io.arxo/cnaf

up checked 2026-11-11T04:38:05.687Z

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided title

French family benefits (CNAF corpus)

Publisher-provided description

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

Summary by lookupd

Queries formalized French family-benefit rules with sources, returning answers, explanations, and verifiable evaluation records.

Install

Claude Code, remote (streamable-http)

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

Claude Code, npm package (stdio)

claude mcp add cnaf -- npx -y @arxo/mcp-cnaf

Codex, remote (streamable-http)

codex mcp add cnaf --url https://mcp.arxo.io/mcp/cnaf

Codex, npm package (stdio)

codex mcp add cnaf -- npx -y @arxo/mcp-cnaf

Cursor, remote (streamable-http) → .cursor/mcp.json

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

Cursor, npm package (stdio) → .cursor/mcp.json

{
  "mcpServers": {
    "cnaf": {
      "command": "npx",
      "args": [
        "-y",
        "@arxo/mcp-cnaf"
      ]
    }
  }
}

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Tools (16 tools)

Publisher-provided text

• 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è
• 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
• 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
• 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 r
• 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épar
• 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 e
• 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 j
• 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 d
• 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 : l
• 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_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/c
• 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
• 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 docum
• 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
• 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, e

Details

• Version: 0.1.1
• Transports: streamable-http, stdio
• Uptime (7 days): 100%
• Median latency: 760 ms
• First indexed: 2026-11-01T09:02:53.349Z
• Last seen in registry: 2026-11-01T09:02:53.359Z
• Repository: https://github.com/arxohq/arxo-cnaf
• Website: https://french-benefits.law.arxo.io/

Badge for your README

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/io.arxo/cnaf.svg)](https://lookupd.com/servers/io.arxo/cnaf)

• 62092 servers
• Last crawl: 2026-11-11T17:38:11.606Z
• API base: https://api.lookupd.com
• MCP URL: https://api.lookupd.com/mcp