MCP Radar
MCP Server

Crovia — verifiable silence (TACET) and Crovia Seal

com.croviatrust/crovia
AI & Agents Security Public & reachable MCP 2026-07-28

What this MCP does

Provides signed, Bitcoin-anchored observations and verifiable silence proofs about AI model training-data disclosures.

Capabilities

Tools

8 tools
crovia_status
Live TACET totals
Live 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.
Input schema 
{'type': 'object', 'properties': {}, 'additionalProperties': False}
crovia_vs_causari
Crovia vs Causari
Disambiguate Crovia (AI training-data disclosure observatory) from Causari (code-provenance developer tool).
Input schema 
{'type': 'object', 'properties': {}, 'additionalProperties': False}
explain
Definitions
Canonical definitions of Crovia terms: tacet, silence, lacuna, seal, epoch, pnx, predicate, canon. Without a term, returns all.
Input schema 
{'type': 'object', 'properties': {'term': {'type': 'string'}}}
get_silence_proof
Get a 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 it in the browser, in Python, or with verify_seal. Set include_bundle=true to receive the full crovia.seal.v1 bundle.
Input schema 
{'type': 'object', 'properties': {'model': {'type': 'string'}, 'include_bundle': {'type': 'boolean'}}}
lookup_model
Look up a model
What 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.
Input schema 
{'type': 'object', 'required': ['model'], 'properties': {'model': {'type': 'string', 'description': 'Hugging Face model id, org/name'}}}
search_models
Search observed models
Find observed models by substring of their id (e.g. 'mistral'). Returns id, live status, last result and record URL.
Input schema 
{'type': 'object', 'properties': {'limit': {'type': 'integer', 'maximum': 100, 'minimum': 1}, 'query': {'type': 'string'}}}
silence_report
Weekly Silence Report
Facts 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'.
Input schema 
{'type': 'object', 'properties': {'week': {'type': 'string'}}}
verify_seal
Verify a seal or proof
Verify 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).
Input schema 
{'type': 'object', 'properties': {'url': {'type': 'string'}, 'seal': {'type': ['object', 'string']}, 'check_anchors': {'type': 'boolean'}}}
History

Recent tool changes

Added
crovia_vs_causari
Sept. 21, 2026, 2:40 a.m.
Added
explain
Sept. 21, 2026, 2:40 a.m.
Added
silence_report
Sept. 21, 2026, 2:40 a.m.
Added
verify_seal
Sept. 21, 2026, 2:40 a.m.
Added
get_silence_proof
Sept. 21, 2026, 2:40 a.m.
Added
search_models
Sept. 21, 2026, 2:40 a.m.
Added
lookup_model
Sept. 21, 2026, 2:40 a.m.
Added
crovia_status
Sept. 21, 2026, 2:40 a.m.
Discover

Similar MCP servers

GoCreative Agent API

io.github.ColinHughes2121/gocreative-agent-api

Offers pay-per-call LLM completions and data services for company intelligence, KYB, sanctions screening, threat intelligence, co…

IA-QA — 130+ QA & Dev Tools for AI Agents

io.github.JcJamet/ia-qa-toolbox

Provides deterministic QA, evaluation, testing, code analysis, prompt and RAG checks, model comparison, and web security diagnost…

DDG Agent Services

io.github.daedalusdevelopmentgroup/ddg-agent-services-mcp

Acts as a pay-per-call gateway for agent tools including LLM routes, web and market data, Ethereum RPC, security scans, service c…

mainstreet

io.github.philpof102-svg/mainstreet

Provides reputation, trust scoring, validation, consensus, routing, and payment-related tools for on-chain AI agents on Base.

xrpl-referee

io.github.eamwhite1/xrpl-referee

Supports XRPL-based agent hiring, escrow payments, job marketplaces, wallet trust scoring, sanctions and KYC checks, and AI-assis…

InsureLink

io.github.skewing1/insurelink

Manages agent reputation, insurance coverage, SLA agreements, transaction safety checks, attestations, claims, and x402-mediated …

Overwing

ai.overwing/mcp

Evaluates text against configurable safety rules and provides agent policy decisions, approval workflows, compensating actions, a…

Hermes Plant — Agent Commerce Assurance

io.github.JesseGdotIO/hermes-plant

Preflights and attests consequential agent actions, verifies signed evidence, evaluates payments and wallets, and provides determ…