io.github.ypratap11/dokimo-mcp

Est-ce que io.github.ypratap11/dokimo-mcp est sûr ?

Au dernier audit MCP Hub, le serveur MCP « io.github.ypratap11/dokimo-mcp » 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

• dokimo_agent_card≈ 101 tokens

  Fetch Dokimo's public A2A agent card — the discovery document describing what it can verify (skills, endpoints, supported A2A versions).

  Paramètres, retour & exemple (0)

  Exemple d'appel

  {"name": "dokimo_agent_card", "arguments": {}}

  Exemple de retour

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

• recompute_merkle_root≈ 313 tokens

  Trustlessly recompute a dokimo-merkle-v1 root — LOCAL, no network, no trust. Hash ``leaf`` in the leaf domain (H(0x00 ‖ leaf)) and replay ``proof_path`` — a list of ``[sibling_hash, side]`` where side is "L" or "R" — hashing internal nodes as H(0x01 ‖ left ‖ right). Compare the returned root to the ``root`` in an evidence package yourself; if it differs, the package was tampered with. Returns ``{recomputed_root, merkle_scheme, steps}``.

  Paramètres, retour & exemple (2)

  Paramètres

  • leaf · string · requis
    The raw leaf value (e.g. a JSON string like '{"k":"total_assets","v":"..."}'). Hashed in the leaf domain as H(0x00 ‖ leaf).
  • proof_path · array · requis
    Ordered Merkle proof path: a list of [sibling_hash_hex, side] pairs, where side is "L" if the sibling is on the left or "R" if on the right. Empty list for a single-leaf tree.

  Exemple d'appel

  {"name": "recompute_merkle_root", "arguments": {"leaf": "texte", "proof_path": []}}

  Exemple de retour

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

• verify_evidence_package≈ 322 tokens

  Fully verify a Dokimo evidence package against the LIVE on-chain anchor. Sends the package to Dokimo's public A2A endpoint, which recomputes the Merkle proof AND checks the compound commitment (root + rule version) against the anchor on Base. ``package`` must contain: ``leaf`` (str), ``root`` (str), ``proof_path`` (list of [sibling_hash, "L"|"R"]), and ``rule_version_commitment`` (str); ``close_id`` is optional/echoed. Returns the verdict: ``{verified, checks:{recompute, onchain_anchor, rule_version_bound}, ...}``. ``verified`` is true only if the proof recomputes AND the commitment is anchored on-chain.

  Paramètres, retour & exemple (1)

  Paramètres

  • package · object · requis
    The Dokimo evidence package to verify. Required keys: 'leaf' (str), 'root' (str), 'proof_path' (list of [sibling_hash, "L"|"R"]), and 'rule_version_commitment' (str). 'close_id' (str) is optional and echoed back.

  Exemple d'appel

  {"name": "verify_evidence_package", "arguments": {"package": {}}}

  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://dokimo.augaster.com/mcp