Back to search
100
MCP live MCP 2025-06-18 streamable-http

Crovia — verifiable silence (TACET) and Crovia Seal

com.croviatrust/crovia

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

Watch this dependency Share evidence report
Uptime
100.0%
5 direct probes · 30d
Response
840ms
last probe
Tools
8
callable
Resources
5
readable
Prompts
0
available
Primary URL
https://croviatrust.com/mcp
Score: 100/100
Handshake verified by our own probe.
pass Answers the MCP handshake 50/50
The handshake and the list calls succeeded on the primary URL.
pass Lists tools, resources or prompts 30/30
8 tools, 5 resources, 0 prompts returned.
pass 3 or more catalogue items 10/10
13 items in total; 3 or more earns these points.
pass Describes itself 10/10
100 characters; more than 30 earns these points.

Tools · 8

crovia_status

Live totals at this moment: epochs closed, epochs anchored in Bitcoin, models on the map, snapshot counts, signed silence proofs, and a pointer to the longest verifiable silence. No parameters. This i…

lookup_model

One model's observation: latest verdict, negative snapshots, anchored epochs, silence proof pointer, archive silence, badge and record URL. Required model is a Hugging Face id, org/name, for example Q…

search_models

A page of observed model ids whose id contains query, compared case-insensitively, in catalog order, not a ranking. query omitted or empty matches the whole catalog and still returns at most limit row…

get_silence_proof

The published silence proof for one model: silence_days, observed window, epochs, seal id, URL, and how to verify it. model omitted or empty returns the proof index, not a bundle. include_bundle defau…

verify_seal

Check a crovia.seal.v1 object or a wrapped TACET silence proof: signature, canonical bytes, bindings, and per-epoch non-inclusion paths. Pass seal as a JSON object or a JSON string, or url as an https…

silence_report

One published weekly Silence Report, or the latest report index. week is an ISO week YYYY-Www, for example 2026-W38. Omit week, or pass an empty string, to receive the latest index rather than one wee…

explain

The definition of one Crovia term. Allowed terms: tacet, silence, lacuna, seal, epoch, pnx, predicate, canon. Omit term, or pass an empty or blank string, to receive every definition. Any other value …

crovia_vs_causari

Which product is which. Crovia observes training-data disclosure. Causari is the code-provenance tool. No parameters. Use this, not explain and not crovia_status, when the question is the difference b…

Resources · 5

llms.txt

Short orientation: what Crovia is, what it publishes, where the files are.

crovia://llms.txt
llms-full.txt

Complete context for language models.

crovia://llms-full.txt
canon.json

Names, URLs, data files, retired paths, forbidden claims.

crovia://canon.json
tacet/latest.json

Latest epoch sheet summary and totals.

crovia://tacet/latest.json
report.json

Current and last closed week.

crovia://report.json

How to use

Claude Desktop or claude.ai: add a custom connector (Customize → Connectors; on Team and Enterprise plans an owner adds it under Organization settings → Connectors) with this server URL: https://croviatrust.com/mcp

Cursor or Cline: add to your MCP config:

{
  "mcpServers": {
    "crovia_\u2014_verifiable_silence_(tacet)_and_crovia_seal": {
      "url": "https://croviatrust.com/mcp",
      "transport": "streamable-http"
    }
  }
}