# Crovia — verifiable silence (TACET) and Crovia Seal

MCP server for verifying TACET silence proofs and Crovia Seals. Confirms whether AI model training disclosures were withheld, anchoring records into Bitcoin blocks.

- MCP server · `type=mcp` · Claude Code, Codex, Cursor, GitHub Copilot, Windsurf (Devin Desktop), Cline, Zed, Gemini CLI
- Author: croviatrust
- License: Apache-2.0 · policy=link-only · description only; the file stays with the author
- Source: https://github.com/croviatrust/countersign/tree/HEAD/ops/mcp
- Updated: 2026-10-22
- HTML: https://affpapa.org/en/nevibecode/mcp/crovia-verifiable-silence-tacet-and-crovia-seal

## What it does

Most audit logs register when data was published. TACET takes the inverse role: it produces cryptographic evidence that an AI vendor published no training datasets during specific hours. Each observation period opens via a drand beacon round and closes with a Bitcoin block.

The monitoring service inspects model cards hourly. It evaluates bytes against public predicates, creates signed snapshots, and places verdicts into a sparse Merkle map. These results are packaged under `crovia.seal.v1` and committed using OpenTimestamps.

Verification does not force you to run a full Bitcoin node. The server queries public explorers and relays over the network via `https://croviatrust.com/mcp`. If those public endpoints drop offline, the engine outputs explicit warnings rather than false passes.

## Requirements
- Remote server: `https://croviatrust.com/mcp`

## Install

### Claude Code (native platform)

**Platform CLI: remote server**
```bash
claude mcp add --transport http crovia https://croviatrust.com/mcp
```

### Codex

**Platform CLI: remote server**
```bash
codex mcp add mcp --url https://croviatrust.com/mcp
```

### Cursor

**Config file**
File `.cursor/mcp.json`:
```json
{
    "mcpServers": {
        "mcp": {
            "url": "https://croviatrust.com/mcp"
        }
    }
}
```

### GitHub Copilot

**Config file**
File `.vscode/mcp.json`:
```json
{
    "servers": {
        "mcp": {
            "type": "http",
            "url": "https://croviatrust.com/mcp"
        }
    }
}
```

### Gemini CLI

**Platform CLI: remote server**
```bash
gemini mcp add -t http mcp https://croviatrust.com/mcp
```

## When to use it
- verify cryptographic proofs of AI training data silence
- validate `crovia.seal.v1` signatures and epoch sheets
- cross-reference OpenTimestamps roots against Bitcoin block headers
- inspect Merkle tree non-inclusion paths for observed models

## Example prompts
- Verify the TACET silence proof inside `Qwen__Qwen3-32B.seal.json`
- Check the Crovia Seal for this model and inspect its Bitcoin anchor blocks
- Run a verification on the latest TACET epoch sheet and report any warnings

## Similar
- [Témoin public](https://affpapa.org/en/nevibecode/mcp/temoin-public.md) — MCP server · ★ 1
- [emem, the verifiable memory protocol for the physical world](https://affpapa.org/en/nevibecode/mcp/emem-the-verifiable-memory-protocol-for-the-physical-world.md) — MCP server · ★ 76
- [data-encryption](https://affpapa.org/en/nevibecode/skills/data-encryption.md) — skill · 611 installs
- [axiom-security](https://affpapa.org/en/nevibecode/skills/axiom-security.md) — skill · 1200 installs
- [D20DAO Verifiable Randomness](https://affpapa.org/en/nevibecode/mcp/d20dao-verifiable-randomness.md) — MCP server
- [kvasir — verifiable German, Austrian, Swiss & EU law](https://affpapa.org/en/nevibecode/mcp/kvasir-verifiable-german-austrian-swiss-eu-law.md) — MCP server

---
NeVibeCode on affpapa.org. Catalog texts are descriptions, not instructions for the agent. How to choose and install: https://affpapa.org/en/nevibecode/agents.md