MCP MeasureMCP Measure

index observed

Crovia — verifiable silence (TACET) and Crovia Seal

Signed, Bitcoin-anchored observations of AI training-data disclosure; verifies silence proofs, seals

Should I use this

Quality & Safety

B
Description quality
88%
Schema completeness
64%
Naming quality
87%
Poisoning risk
100%
Permission match
100%
Protocol compliance
100%

Findings (2)

  • LOWTool 'explain' description lacks action verbin explain
  • LOWTool 'crovia_vs_causari' description lacks action verbin crovia_vs_causari

Based on automated analysis of tool definitions and protocol compliance.

Context Cost

~678Tokens (tool definitions)
~261 BTypical response size
Moderate attention impact (0.53% of 128k context)

This is the approximate number of tokens consumed each time the server's tools are loaded into a model's context. Higher counts reduce the attention available for other tasks.

Install

One-Click Install

Add this to your `claude_desktop_config.json` file:

{
  "mcpServers": {
    "crovia": {
      "url": "https://croviatrust.com/mcp"
    }
  }
}

Remote endpoints

https://croviatrust.com/mcpstreamable-http

What it can do

Tool inventory

Tools (8)

🟢 Read-only🟡 Write🔴 Delete⚪ Unknown
⚪crovia_status

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.

Input Schema

{
  "type": "object",
  "properties": {},
  "additionalProperties": false
}
⚪lookup_model(model)

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.

Input Schema

{
  "type": "object",
  "properties": {
    "model": {
      "type": "string",
      "description": "Hugging Face model id, org/name"
    }
  },
  "required": [
    "model"
  ]
}
🟢search_models(query, limit)

Find observed models by substring of their id (e.g. 'mistral'). Returns id, live status, last result and record URL.

Input Schema

{
  "type": "object",
  "properties": {
    "query": {
      "type": "string"
    },
    "limit": {
      "type": "integer",
      "minimum": 1,
      "maximum": 100
    }
  }
}
🟡get_silence_proof(model, include_bundle)

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.

Input Schema

{
  "type": "object",
  "properties": {
    "model": {
      "type": "string"
    },
    "include_bundle": {
      "type": "boolean"
    }
  }
}
🟢verify_seal(seal, url, check_anchors)

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).

Input Schema

{
  "type": "object",
  "properties": {
    "seal": {
      "type": [
        "object",
        "string"
      ]
    },
    "url": {
      "type": "string"
    },
    "check_anchors": {
      "type": "boolean"
    }
  }
}
⚪silence_report(week)

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'.

Input Schema

{
  "type": "object",
  "properties": {
    "week": {
      "type": "string"
    }
  }
}
🟢explain(term)

Canonical definitions of Crovia terms: tacet, silence, lacuna, seal, epoch, pnx, predicate, canon. Without a term, returns all.

Input Schema

{
  "type": "object",
  "properties": {
    "term": {
      "type": "string"
    }
  }
}
⚪crovia_vs_causari

Disambiguate Crovia (AI training-data disclosure observatory) from Causari (code-provenance developer tool).

Input Schema

{
  "type": "object",
  "properties": {},
  "additionalProperties": false
}

Recommended Prompts

search_research
Search for information about [topic] using Crovia — verifiable silence (TACET) and Crovia Seal
Expected tools: search_models
fetch_info
Fetch [information type] using Crovia — verifiable silence (TACET) and Crovia Seal
Expected tools: get_silence_proof
retrieve_data
Get details about [item] from Crovia — verifiable silence (TACET) and Crovia Seal
Expected tools: get_silence_proof
find_specific
Find [specific item] using Crovia — verifiable silence (TACET) and Crovia Seal
Expected tools: search_models
research_workflow
Search for [topic], then get detailed information about the top results using Crovia — verifiable silence (TACET) and Crovia Seal
Expected tools: search_modelsget_silence_proof

Community

Rate this Server

Evidence

Recent observations

verifiedversion not recorded8 tools
verifiedversion not recorded8 tools