Search / com.croviatrust/crovia
Signed, Bitcoin-anchored observations of AI training-data disclosure; verifies silence proofs, seals
v2.0.1 · active · repository · website · descriptor JSON · versions
protogrid{
"mcpServers": {
"crovia": {
"type": "http",
"url": "https://croviatrust.com/mcp"
}
}
}claude mcp add --transport http crovia https://croviatrust.com/mcp[mcp_servers.crovia]
url = "https://croviatrust.com/mcp"
{
"$schema": "https://opencode.ai/config.json",
"mcp": {
"crovia": {
"type": "remote",
"url": "https://croviatrust.com/mcp",
"enabled": true
}
}
}{
"mcpServers": {
"crovia": {
"type": "http",
"url": "https://croviatrust.com/mcp"
}
},
"deeplink": "cursor://anysphere.cursor-deeplink/mcp/install?name=crovia&config=eyJ0eXBlIjoiaHR0cCIsInVybCI6Imh0dHBzOi8vY3JvdmlhdHJ1c3QuY29tL21jcCJ9"
}{
"servers": {
"crovia": {
"type": "http",
"url": "https://croviatrust.com/mcp"
}
}
}{
"mcpServers": {
"crovia": {
"httpUrl": "https://croviatrust.com/mcp"
}
}
}extensions:
"crovia":
enabled: true
name: "crovia"
type: streamable_http
uri: "https://croviatrust.com/mcp"
timeout: 300
protocol.modernnewest supported version is 2025-06-18; 2026-07-28 not supported, older versions are deprecated until 2027-07-28protocol.statelessonly applies to 2026-07-28 serversprotocol.transportstreamable HTTPprotocol.list_ttlonly applies to 2026-07-28 serversauth.prm, auth.as_metadata, auth.cimdno remote uses OAuthauth.secret_in_urlno templated URLtools.descriptionsevery tool has a descriptiontools.description_lengthdescriptions are concisetools.schemasevery tool has an object input schematools.annotations8 of 8 tools declare readOnlyHint or destructiveHinttools.directory_hintsno tool declares all four of readOnlyHint, destructiveHint, idempotentHint and openWorldHint; missing: silence_report (destructiveHint, idempotentHint); verify_seal (destructiveHint, idempotentHint); lookup_model (destructiveHint, idempotentHint); …tools.token_costabout 1,534 tokens to load every tooltools.api_dumptools are not a one-to-one API dumpstability.changes8 tool changes in 30 daysstability.rug_pull7 tools kept their name but changed most of their description in 30 days; review before trusting themdeps.known_vulns, deps.mcp_sdk_version, deps.resolvableno npm or PyPI packagecrovia_vs_causarichangeddescription, annotationsmeaning changedDisambiguate Crovia (AI training-data disclosure observatory) from Causari (code-provenance developer tool).
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.
explainchangeddescription, input schema, annotationsmeaning changedCanonical definitions of Crovia terms: tacet, silence, lacuna, seal, epoch, pnx, predicate, canon. Without a term, returns all.
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_causari, not explain, to tell the two products apart.
silence_reportchangeddescription, input schema, annotationsmeaning changedFacts 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'.
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 names the index. This is not the live status and not one model's proof. Reads published files only.
verify_sealchangeddescription, input schema, annotationsVerify 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).
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 the network. check_anchors defaults to false; true also checks the drand round bytes and the Bitcoin anchors over the network. A seal object with check_anchors false or omitted is checked from that object alone. This tool can reach the network, so it is not a closed-world call.
get_silence_proofchangedtitle, description, input schema, annotationsmeaning changedThe 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.
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 index. This is not the live totals and not the weekly report. Reads published files only.
search_modelschangedtitle, description, input schema, annotationsmeaning changedFind observed models by substring of their id (e.g. 'mistral'). Returns id, live status, last result and record URL.
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 int() accepts is then clamped into 1..100 (500 becomes 100, a negative becomes 1); a value int() cannot parse is an error and nothing is searched. returned and its compatibility alias count are the rows in this page. matched is how many ids match before the limit. catalog_total and its compatibility alias total_records are every record in the catalog, matching or not. limit is the limit actually applied. count is not the match count, and total_records is not the match count. This is not a verdict and not a proof. Reads published files only.
lookup_modelchangedtitle, description, input schema, annotationsmeaning changedWhat 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.
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 substring match is accepted, and several matches return candidates instead of a verdict. This is not a catalog page, not the weekly report, and not the seal bytes. Reads published files only.
crovia_statuschangeddescription, annotationsmeaning changedLive 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.
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 only.
Full history: list_changes · trend: quality JSON.
Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed. How it is computed.
+repository +namespace-matches-repo +dns-namespace +website -unreachable(1 failures) +updated-12d-ago
Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed. How it is computed.
| remote | auth | reachable | uptime 30d | p50 | protocol | last ok |
|---|---|---|---|---|---|---|
https://croviatrust.com/mcp streamable-http | none | no (1 failures) | 93% | 480 ms | 2025-06-18 | 2026-10-19 |
crovia_statusread-only | 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 only. |
crovia_vs_causariread-only | 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. |
explainread-only | 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_causari, not explain, to tell the two products apart. |
get_silence_proofread-only | 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 index. This is not the live totals and not the weekly report. Reads published files only. |
lookup_modelread-only | 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 substring match is accepted, and several matches return candidates instead of a verdict. This is not a catalog page, not the weekly report, and not the seal bytes. Reads published files only. |
search_modelsread-only | 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 int() accepts is then clamped into 1..100 (500 becomes 100, a negative becomes 1); a value int() cannot parse is an error and nothing is searched. returned and its compatibility alias count are the rows in this page. matched is how many ids match before the limit. catalog_total and its compatibility alias total_records are every record in the catalog, matching or not. limit is the limit actually applied. count is not the match count, and total_records is not the match count. This is not a verdict and not a proof. Reads published files only. |
silence_reportread-only | 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 names the index. This is not the live status and not one model's proof. Reads published files only. |
verify_sealread-only | 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 the network. check_anchors defaults to false; true also checks the drand round bytes and the Bitcoin anchors over the network. A seal object with check_anchors false or omitted is checked from that object alone. This tool can reach the network, so it is not a closed-world call. |
Schemas: list_tools.
{
"name": "com.croviatrust/crovia",
"_meta": {
"io.modelcontextprotocol.registry/publisher-provided": {
"auth": "none",
"docs": "https://croviatrust.com/llms.txt",
"tools": [
"crovia_status",
"lookup_model",
"search_models",
"get_silence_proof",
"verify_seal",
"silence_report",
"explain",
"crovia_vs_causari"
],
"resources": [
"crovia://llms.txt",
"crovia://llms-full.txt",
"crovia://canon.json",
"crovia://tacet/latest.json",
"crovia://report.json"
],
"data_license": "CC-BY-4.0"
}
},
"icons": [
{
"src": "https://croviatrust.com/assets/icon-192.png",
"sizes": [
"192x192"
],
"mimeType": "image/png"
},
{
"src": "https://croviatrust.com/assets/icon-512.png",
"sizes": [
"512x512"
],
"mimeType": "image/png"
}
],
"title": "Crovia — verifiable silence (TACET) and Crovia Seal",
"$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
"remotes": [
{
"url": "https://croviatrust.com/mcp",
"type": "streamable-http"
}
],
"version": "2.0.1",
"repository": {
"url": "https://github.com/croviatrust/countersign",
"source": "github",
"subfolder": "ops/mcp"
},
"websiteUrl": "https://croviatrust.com/",
"description": "Signed, Bitcoin-anchored observations of AI training-data disclosure; verifies silence proofs, seals"
}