Crovia — verifiable silence (TACET) and Crovia Seal
Signed, Bitcoin-anchored observations of AI training-data disclosure; verifies silence proofs, seals
About this server
Crovia provides signed, Bitcoin-anchored observations of AI training-data disclosure and verifies silence proofs and seals. It offers tools including crovia_status, lookup_model, search_models, get_silence_proof, verify_seal, silence_report, explain and crovia_vs_causari. Transport is streamable-http.
Categories: crypto
Remote URL: https://croviatrust.com/mcp
Repository: Repository
Transport: streamable-http
First seen: 2026-10-17T23:06:01 Last seen: 2026-10-18T08:40:05
30-day uptime: 1.0%
Verified data
Not yet checked — owners can claim this listing to enable price-accuracy checks
Tools
| Name | Description | Input keys |
|---|---|---|
| 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 is not a weekly Silence Report, not one model's record, and not a proof bundle. Reads published files | |
| 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 Qwen/Qwen3-32B. An empty model is an error. An exact id is used; otherwise one case-insensitive subst | model |
| 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 rows. limit follows the historical rule: a missing, empty, zero or other falsy value is 25; any value i | limit, query |
| 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 defaults to false; true attaches the crovia.seal.v1 bundle for that one model and does nothing on the ind | include_bundle, model |
| 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://croviatrust.com/ address. With neither, the call is an error. Supplying url fetches that URL over | check_anchors, seal, url |
| 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 week's facts. A week that is not YYYY-Www is an error. A week with no published file is an error and na | week |
| 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 is an error listing those allowed terms, and it does not return the definitions. Use crovia_vs_causa | term |
| 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 between the two. Reads no catalog. |
Issues
No issues found
Install
claude mcp add --transport http crovia https://croviatrust.com/mcp
{
"mcpServers": {
"crovia": {
"type": "http",
"url": "https://croviatrust.com/mcp"
}
}
}
[](https://data.finzdata.com/directory/com-croviatrust-crovia)