The Crovia — verifiable silence (TACET) and Crovia Seal MCP server,
connected in one click.

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

lookup_model — What Crovia has observed about one AI model (Hugging Face id, e.g. 'Qwen/Qwen3-32B'): latest verdict on the monitored surface, negative snap

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

get_silence_proof — 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_seal — Verify a crovia.seal.v1 object or a wrapped TACET silence proof offline: signature, canonical bytes, bindings, per-epoch non-inclusion paths

silence_report — Facts of the weekly Silence Report: models observed, epochs closed and anchored, negative snapshots, proofs, longest verifiable silences. La

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

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