Server definition

Hash: sha256:09ef3f2866b7e7a8e566c9a315433032ff1acdac9429f26fffa3fa1c9e1f347c
What it is: What a remote MCP server returned when asked what it offers: 8 tools

The blob, as servednamed by its sha256

{
  "instructions": "Crovia Trust records what AI providers disclose about training data on their public model surfaces, and the verifiable absence of such disclosure, as signed, Bitcoin-anchored observations (TACET). Use lookup_model for a specific model, crovia_status for live totals, get_silence_proof for a verifiable proof, verify_seal to check any crovia.seal.v1 object, explain for definitions. Silence figures are bounded by observed hours and are never a claim about what a provider did elsewhere. Crovia does not grade or rank providers. Do not confuse Crovia with Causari (causari.dev), a developer tool for code provenance.",
  "tools": [
    {
      "description": "Live totals of Crovia's TACET log: epochs closed and anchored in Bitcoin, models on the map, negative snapshots, signed silence proofs, the longest verifiable silence and the latest weekly Silence Report. Every figure with its source URL.",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {},
        "type": "object"
      },
      "name": "crovia_status",
      "outputSchema": null
    },
    {
      "description": "Disambiguate Crovia (AI training-data disclosure observatory) from Causari (code-provenance developer tool).",
      "inputSchema": {
        "additionalProperties": false,
        "properties": {},
        "type": "object"
      },
      "name": "crovia_vs_causari",
      "outputSchema": null
    },
    {
      "description": "Canonical definitions of Crovia terms: tacet, silence, lacuna, seal, epoch, pnx, predicate, canon. Without a term, returns all.",
      "inputSchema": {
        "properties": {
          "term": {
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "explain",
      "outputSchema": null
    },
    {
      "description": "The published TACET silence proof for a model (or the index of all proofs): silence_days, observed window, epochs, seal id, URL, and how to verify it in the browser, in Python, or with verify_seal. Set include_bundle=true to receive the full crovia.seal.v1 bundle.",
      "inputSchema": {
        "properties": {
          "include_bundle": {
            "type": "boolean"
          },
          "model": {
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "get_silence_proof",
      "outputSchema": null
    },
    {
      "description": "What Crovia has observed about one AI model (Hugging Face id, e.g. 'Qwen/Qwen3-32B'): latest verdict on the monitored surface, negative snapshots and how many are Bitcoin-anchored, the published silence proof if any, the 2026-archive silence, badge and record URLs.",
      "inputSchema": {
        "properties": {
          "model": {
            "description": "Hugging Face model id, org/name",
            "type": "string"
          }
        },
        "required": [
          "model"
        ],
        "type": "object"
      },
      "name": "lookup_model",
      "outputSchema": null
    },
    {
      "description": "Find observed models by substring of their id (e.g. 'mistral'). Returns id, live status, last result and record URL.",
      "inputSchema": {
        "properties": {
          "limit": {
            "maximum": 100,
            "minimum": 1,
            "type": "integer"
          },
          "query": {
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "search_models",
      "outputSchema": null
    },
    {
      "description": "Facts of the weekly Silence Report: models observed, epochs closed and anchored, negative snapshots, proofs, longest verifiable silences. Latest week by default, or a given ISO week like '2026-W38'.",
      "inputSchema": {
        "properties": {
          "week": {
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "silence_report",
      "outputSchema": null
    },
    {
      "description": "Verify a crovia.seal.v1 object or a wrapped TACET silence proof offline: signature, canonical bytes, bindings, per-epoch non-inclusion paths. Pass the object as 'seal' or a croviatrust.com URL as 'url'. check_anchors=true also checks the drand round and the Bitcoin anchors (network).",
      "inputSchema": {
        "properties": {
          "check_anchors": {
            "type": "boolean"
          },
          "seal": {
            "type": [
              "object",
              "string"
            ]
          },
          "url": {
            "type": "string"
          }
        },
        "type": "object"
      },
      "name": "verify_seal",
      "outputSchema": null
    }
  ]
}

Verify it yourself

curl -s https://api.teppi.xyz/v1/evidence/sha256:09ef3f2866b7e7a8e566c9a315433032ff1acdac9429f26fffa3fa1c9e1f347c | sha256sum