Server definition

Hash: sha256:2d59279f97e11f58b6f839171894efbb2e2e0ee466d53cf0961145b629fabdd8
What it is: What a remote MCP server returned when asked what it offers: 3 tools

The blob, as servednamed by its sha256

{
  "instructions": null,
  "tools": [
    {
      "description": "Fetch Dokimo's public A2A agent card — the discovery document describing what\n    it can verify (skills, endpoints, supported A2A versions).",
      "inputSchema": {
        "properties": {},
        "title": "dokimo_agent_cardArguments",
        "type": "object"
      },
      "name": "dokimo_agent_card",
      "outputSchema": null
    },
    {
      "description": "Trustlessly recompute a dokimo-merkle-v1 root — LOCAL, no network, no trust.\n\n    Hash ``leaf`` in the leaf domain (H(0x00 ‖ leaf)) and replay ``proof_path`` —\n    a list of ``[sibling_hash, side]`` where side is \"L\" or \"R\" — hashing internal\n    nodes as H(0x01 ‖ left ‖ right). Compare the returned root to the ``root`` in an\n    evidence package yourself; if it differs, the package was tampered with.\n\n    Returns ``{recomputed_root, merkle_scheme, steps}``.\n    ",
      "inputSchema": {
        "properties": {
          "leaf": {
            "description": "The raw leaf value (e.g. a JSON string like '{\"k\":\"total_assets\",\"v\":\"...\"}'). Hashed in the leaf domain as H(0x00 ‖ leaf).",
            "title": "Leaf",
            "type": "string"
          },
          "proof_path": {
            "description": "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.",
            "items": {},
            "title": "Proof Path",
            "type": "array"
          }
        },
        "required": [
          "leaf",
          "proof_path"
        ],
        "title": "recompute_merkle_rootArguments",
        "type": "object"
      },
      "name": "recompute_merkle_root",
      "outputSchema": null
    },
    {
      "description": "Fully verify a Dokimo evidence package against the LIVE on-chain anchor.\n\n    Sends the package to Dokimo's public A2A endpoint, which recomputes the Merkle\n    proof AND checks the compound commitment (root + rule version) against the\n    anchor on Base. ``package`` must contain: ``leaf`` (str), ``root`` (str),\n    ``proof_path`` (list of [sibling_hash, \"L\"|\"R\"]), and\n    ``rule_version_commitment`` (str); ``close_id`` is optional/echoed.\n\n    Returns the verdict: ``{verified, checks:{recompute, onchain_anchor,\n    rule_version_bound}, ...}``. ``verified`` is true only if the proof recomputes\n    AND the commitment is anchored on-chain.\n    ",
      "inputSchema": {
        "properties": {
          "package": {
            "additionalProperties": true,
            "description": "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.",
            "title": "Package",
            "type": "object"
          }
        },
        "required": [
          "package"
        ],
        "title": "verify_evidence_packageArguments",
        "type": "object"
      },
      "name": "verify_evidence_package",
      "outputSchema": null
    }
  ]
}

Verify it yourself

curl -s https://api.teppi.xyz/v1/evidence/sha256:2d59279f97e11f58b6f839171894efbb2e2e0ee466d53cf0961145b629fabdd8 | sha256sum