Crovia — verifiable silence (TACET) and Crovia Seal is an MCP server with 8 tools an agent can call, among them crovia_status, crovia_vs_causari, explain. It answers at https://croviatrust.com/mcp over streamable HTTP, and it listed its tools to an anonymous client, so no sign-in was needed for that. Our probes reached it 4 of 4 times since 23 September 2026; the last check, on 6 November 2026, succeeded.
Signed, Bitcoin-anchored observations of AI training-data disclosure; verifies silence proofs, seals
Description as the publisher wrote it.
| Tool | What it does |
|---|---|
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 m |
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. |
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, Inputs: term |
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.s Inputs: model, include_bundle |
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 erro Inputs: 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 Inputs: query, limit |
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 i Inputs: week |
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 neithe Inputs: seal, url, check_anchors |
Every block below points at https://croviatrust.com/mcp. Pick your client and copy.
claude mcp add --transport http crovia-verifiable-silence-tacet https://croviatrust.com/mcp
{
"mcpServers": {
"crovia-verifiable-silence-tacet": {
"command": "npx",
"args": ["-y", "mcp-remote", "https://croviatrust.com/mcp"]
}
}
}{
"mcpServers": {
"crovia-verifiable-silence-tacet": {
"url": "https://croviatrust.com/mcp"
}
}
}{
"servers": {
"crovia-verifiable-silence-tacet": {
"type": "http",
"url": "https://croviatrust.com/mcp"
}
}
}{
"context_servers": {
"crovia-verifiable-silence-tacet": {
"url": "https://croviatrust.com/mcp"
}
}
}{
"mcpServers": {
"crovia-verifiable-silence-tacet": {
"serverUrl": "https://croviatrust.com/mcp"
}
}
}{
"mcpServers": {
"crovia-verifiable-silence-tacet": {
"url": "https://croviatrust.com/mcp"
}
}
}name: Crovia — verifiable silence (TACET) and Crovia Seal
version: 0.0.1
schema: v1
mcpServers:
- name: Crovia — verifiable silence (TACET) and Crovia Seal
type: streamable-http
url: https://croviatrust.com/mcp{
"mcpServers": {
"crovia-verifiable-silence-tacet": {
"httpUrl": "https://croviatrust.com/mcp"
}
}
}{
"mcpServers": {
"crovia-verifiable-silence-tacet": {
"type": "http",
"url": "https://croviatrust.com/mcp"
}
}
}{
"mcpServers": {
"crovia-verifiable-silence-tacet": {
"url": "https://croviatrust.com/mcp"
}
}
}goose://extension?url=https%3A%2F%2Fcroviatrust.com%2Fmcp&type=streamable_http&id=crovia-verifiable-silence-tacet&name=Crovia%20%E2%80%94%20verifiable%20silence%20%28TACET%29%20and%20Crovia%20Seal
It answered our last check on 6 November 2026 in 178 ms. Over 4 checks since 23 September 2026 it answered 4. Status here comes from Neuronto's own probes, not from the publisher.
Yes. It is published by croviatrust.com and served from croviatrust.com, the vendor's own domain: https://croviatrust.com/mcp.
8, as returned by the server's own tools/list on 12 November 2026: crovia_status, crovia_vs_causari, explain, get_silence_proof, lookup_model, search_models, silence_report, verify_seal.
It answered our last check on 6 November 2026 in 178 ms. Over 4 checks since 23 September 2026 it answered 4.
Put the server under mcpServers in ~/.cursor/mcp.json with the URL https://croviatrust.com/mcp. The exact JSON is above, with the same setup for Claude Code, Claude Desktop, VS Code, Windsurf, Zed, Gemini CLI and the rest.
It listed its tools to an anonymous client, so reading the tool list needs no key. Individual tools can still ask for credentials in their own inputs.
Publisher: com.croviatrust. Endpoint host: croviatrust.com. ARD identifier: urn:air:com.croviatrust:mcp:crovia.
First indexed 20 September 2026. The tools are exactly what the server returned; nothing on this page
is inferred from its name. Ranking in Neuronto search is never for sale.