Crovia — verifiable silence (TACET) and Crovia Seal
Signed, Bitcoin-anchored observations of AI training-data disclosure; verifies silence proofs, seals
¿Debería usar esto?
Calidad y seguridad
Hallazgos (2)
- LOWen explain
- LOWen crovia_vs_causari
Basado en el análisis automatizado de las definiciones de herramientas y el cumplimiento del protocolo.
Costo de contexto
Este es el número aproximado de tokens que se consumen cada vez que las herramientas del servidor se cargan en el contexto de un modelo. Los recuentos más altos reducen la atención disponible para otras tareas.
Instalar
Instalación con un clic
Agrega esto a tu archivo `claude_desktop_config.json`:
{
"mcpServers": {
"crovia": {
"url": "https://croviatrust.com/mcp"
}
}
}Puntos de conexión remotos
https://croviatrust.com/mcpstreamable-httpQué puede hacer
Inventario de herramientas
Herramientas (8)
⚪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 longest verifiable silence and the latest weekly Silence Report. Every figure with its source URL.
Esquema de entrada
{
"type": "object",
"properties": {},
"additionalProperties": false
}⚪lookup_model(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",
"properties": {
"model": {
"type": "string",
"description": "Hugging Face model id, org/name"
}
},
"required": [
"model"
]
}🟢search_models(query, limit)
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": {
"query": {
"type": "string"
},
"limit": {
"type": "integer",
"minimum": 1,
"maximum": 100
}
}
}🟡get_silence_proof(model, include_bundle)
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"
}
}
}🟢verify_seal(seal, url, check_anchors)
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": {
"seal": {
"type": [
"object",
"string"
]
},
"url": {
"type": "string"
},
"check_anchors": {
"type": "boolean"
}
}
}⚪silence_report(week)
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"
}
}
}🟢explain(term)
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"
}
}
}⚪crovia_vs_causari
Disambiguate Crovia (AI training-data disclosure observatory) from Causari (code-provenance developer tool).
Esquema de entrada
{
"type": "object",
"properties": {},
"additionalProperties": false
}Prompts recomendados
search_modelsget_silence_proofget_silence_proofsearch_modelssearch_modelsget_silence_proofComunidad
Evidencia