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

B
Calidad de la descripción
88%
Integridad del esquema
64%
Calidad de los nombres
87%
Riesgo de envenenamiento
100%
Coincidencia de permisos
100%
Cumplimiento del protocolo
100%

Hallazgos (2)

  • LOWTool 'explain' description lacks action verben explain
  • LOWTool 'crovia_vs_causari' description lacks action verben crovia_vs_causari

Basado en el análisis automatizado de las definiciones de herramientas y el cumplimiento del protocolo.

Costo de contexto

~678Tokens (definiciones de herramientas)
~261 BTamaño de respuesta típico
Impacto moderado en la atención (0.53% del contexto de 128k)

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-http

Qué puede hacer

Inventario de herramientas

Herramientas (8)

🟢 Solo lectura🟡 Escritura🔴 Eliminación⚪ Desconocido
⚪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_research
Search for information about [topic] using Crovia — verifiable silence (TACET) and Crovia Seal
Herramientas esperadas: search_models
fetch_info
Fetch [information type] using Crovia — verifiable silence (TACET) and Crovia Seal
Herramientas esperadas: get_silence_proof
retrieve_data
Get details about [item] from Crovia — verifiable silence (TACET) and Crovia Seal
Herramientas esperadas: get_silence_proof
find_specific
Find [specific item] using Crovia — verifiable silence (TACET) and Crovia Seal
Herramientas esperadas: search_models
research_workflow
Search for [topic], then get detailed information about the top results using Crovia — verifiable silence (TACET) and Crovia Seal
Herramientas esperadas: search_modelsget_silence_proof

Comunidad

Califica este servidor

Evidencia

Observaciones recientes

verificadoversión no registrada8 herramientas
verificadoversión no registrada8 herramientas