accueil / serveurs / Productivité / com.astranl/local-proof-nl
com.astranl/local-proof-nl
serveur MCP (Model Context Protocol) · astranl-mcp 1.37.0
Référencé dans l'annuaire. Seul le pentest comportemental fait foi, et il n'a pas encore été exécuté sur ce serveur.
Est-ce que com.astranl/local-proof-nl est sûr ?
Au dernier audit MCP Hub, le serveur MCP « com.astranl/local-proof-nl » est classé « Non encore testé ». Référencé dans l'annuaire. Seul le pentest comportemental fait foi, et il n'a pas encore été exécuté sur ce serveur. Le verdict est réévalué en continu ; consultez la fiche pour l'état à jour.
Méthode : MCP Hub analyse la description de chaque outil (couche 1) et, pour le verdict fort, exécute le serveur dans une micro-VM isolée avec leurres et réseau bloqué (couche 2). On publie des noms et des compteurs, jamais le contenu brut renvoyé par un outil.
Les 4 outils
- check_task≈ 186 tokens
Current state of a task or ingress receipt from create_task, and who must act next. Returns only what is recorded; infers nothing.
Paramètres, retour & exemple (3)
Paramètrestask_id· string · optionnel
task id from check_task or a casereceipt_id· string · optionnel
RCPT-n from create_taskreceipt_key· string · optionnel
owner key shown once by create_task; without it links are read-only
Exemple d'appel{"name": "check_task", "arguments": {"task_id": "texte", "receipt_id": "texte", "receipt_key": "texte"}}Exemple de retour{"content": [{"type": "text", "text": "…"}]} - create_task≈ 321 tokens
Ask AstraNL to find and coordinate a verified executor for a physical task in the Netherlands. Returns an ingress receipt at once and a case once planning found a path; the client pays the executor directly; AstraNL holds no money.
Paramètres, retour & exemple (7)
Paramètresneed· string · requis
what must happen, in plain wordsproof· string · optionnel
what evidence closes the task, agreed before work startsdeadline· string · optionnel
by when; ISO date or plain wordslocation· string · optionnel
city or address in the Netherlandssynthetic· boolean · optionnel
true marks a test that must never be counted or executedbudget_cents· integer · optionnel
budget in euro centsreply_channel· string · optionnel
email or https URL where AstraNL may answer you
Exemple d'appel{"name": "create_task", "arguments": {"need": "texte"}}Exemple de retour{"content": [{"type": "text", "text": "…"}]} - get_evidence≈ 157 tokens
Machine-checkable evidence for an AstraNL task, action or receipt: the signed log events that mention it, each verified live, with a proof block stating what is verified, what is not, validity, status, limitations and next actions.
Paramètres, retour & exemple (1)
Paramètrestask_id· string · requis
task id, action id or receipt id
Exemple d'appel{"name": "get_evidence", "arguments": {"task_id": "texte"}}Exemple de retour{"content": [{"type": "text", "text": "…"}]} - verify_astranl≈ 274 tokens
Verify any AstraNL reference without a key. Returns two separate layers: integrity (payload hash, Ed25519 signature, Merkle inclusion, recomputed live) and claim (what exactly is attested, by whom, from which source, when, under which method, with which validity limits and current status VALID/EXPIRED/REVOKED/UNKNOWN). Integrity never implies the claim is true for your purpose; you apply your own acceptance rules. Tells you when to re-verify and how to consume a VALID receipt for a next action. Read-only, deterministic, no model in the path.
Paramètres, retour & exemple (1)
Paramètresref· string · requis
Any AstraNL reference: action receipt ASTRA-A-..., policy receipt ASTRA-R-..., consumption ASTRA-C-..., log event alk_..., attestation att_/atr_..., ingress receipt RCPT-n
Exemple d'appel{"name": "verify_astranl", "arguments": {"ref": "texte"}}Exemple de retour{"content": [{"type": "text", "text": "…"}]}
C'est votre serveur ?
Revendiquez-le sur l'espace créateur (preuve GitHub, domaine ou npm) pour afficher le badge « propriétaire vérifié » et lancer un pentest comportemental à la demande afin d'obtenir le badge « Vérifié ».