MCP Radar
Servidor MCP

Crovia — verifiable silence (TACET) and Crovia Seal

com.croviatrust/crovia
IA y agentes Seguridad Público y accesible MCP 2026-07-28

Qué hace este MCP

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

Capacidades

Herramientas

8 herramientas
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.
Esquema de entrada 
{'type': 'object', 'properties': {}, 'additionalProperties': False}
crovia_vs_causari
Crovia vs Causari
Disambiguate Crovia (AI training-data disclosure observatory) from Causari (code-provenance developer tool).
Esquema de entrada 
{'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.
Esquema de entrada 
{'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.
Esquema de entrada 
{'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.
Esquema de entrada 
{'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.
Esquema de entrada 
{'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'.
Esquema de entrada 
{'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).
Esquema de entrada 
{'type': 'object', 'properties': {'url': {'type': 'string'}, 'seal': {'type': ['object', 'string']}, 'check_anchors': {'type': 'boolean'}}}
Historial

Cambios recientes en herramientas

Añadido
crovia_vs_causari
21 de September de 2026 a las 02:40
Añadido
explain
21 de September de 2026 a las 02:40
Añadido
silence_report
21 de September de 2026 a las 02:40
Añadido
verify_seal
21 de September de 2026 a las 02:40
Añadido
get_silence_proof
21 de September de 2026 a las 02:40
Añadido
search_models
21 de September de 2026 a las 02:40
Añadido
lookup_model
21 de September de 2026 a las 02:40
Añadido
crovia_status
21 de September de 2026 a las 02:40
Descubrir

Servidores MCP similares

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…