io.github.inventor1975/ztl-judge

Est-ce que io.github.inventor1975/ztl-judge est sûr ?

Au dernier audit MCP Hub, le serveur MCP « io.github.inventor1975/ztl-judge » 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 3 outils

• examples≈ 74 tokens

  Worked examples: questions already written as ZFL documents, ready to judge.

  Paramètres, retour & exemple (0)

  Exemple d'appel

  {"name": "examples", "arguments": {}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

• judge≈ 310 tokens

  Judge a ZFL document with ZTL, a zero-trust logic: three values, two-valued connectives. Args: document: The ZFL document, as an object or as JSON text: {"rows": [{"name": ..., "means": ..., "status": ..., "ground": ...}], "claim": ...}. Returns: The verdict with its disposition and grade, the receipt, the instruments that applied, the issues found, and what the core read. Read the verdict WITH its disposition: T EARNED = established; F REFUTED = false; F OPEN or Z OPEN = NOT ESTABLISHED, it could still turn either way (do not report it as false) — `why` and `unverified` say what to check; ON CREDIT = holds only on an unverified ground. A compound claim gets T or F; a claim that is a single name gets that name's own value, Z while unverified. The full report is returned whatever `ask` says.

  Paramètres, retour & exemple (1)

  Paramètres

  • document · ? · requis

  Exemple d'appel

  {"name": "judge", "arguments": {"document": "texte"}}

  Exemple de retour

  {"content": [{"type": "text", "text": "…"}]}

• language≈ 76 tokens

  The ZFL language: the columns of a row, the document fields, their meaning and rules.

  Paramètres, retour & exemple (0)

  Exemple d'appel

  {"name": "language", "arguments": {}}

  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é ».

Créer un compte / revendiquer →

Source

https://api.vitalyreznik.com/mcp