Crovia TACET Seal — Claude Code MCP server: setup guide
MCP server for verifying TACET silence proofs and Crovia Seals. Confirms whether AI model training disclosures were withheld, anchoring records into Bitcoin blocks.
claude mcp add --transport http crovia https://croviatrust.com/mcpWhat Crovia — verifiable silence (TACET) and Crovia Seal 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.
What it helps with
- verify cryptographic proofs of AI training data silence
- validate
crovia.seal.v1signatures and epoch sheets - cross-reference OpenTimestamps roots against Bitcoin block headers
- inspect Merkle tree non-inclusion paths for observed models
Example prompts for the agent
- 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
How to install Crovia — verifiable silence (TACET) and Crovia Seal
Platform CLI: remote server
claude mcp add --transport http crovia https://croviatrust.com/mcpPlatform CLI: remote server
codex mcp add mcp --url https://croviatrust.com/mcpConfig file
{
"mcpServers": {
"mcp": {
"url": "https://croviatrust.com/mcp"
}
}
}Config file
{
"servers": {
"mcp": {
"type": "http",
"url": "https://croviatrust.com/mcp"
}
}
}Platform CLI: remote server
gemini mcp add -t http mcp https://croviatrust.com/mcpStep by step, with commands for each platform: How to add an MCP server to Claude Code, Codex, Cursor, VS Code, Gemini CLI and more
Questions about Crovia — verifiable silence (TACET) and Crovia Seal
How do I install Crovia in Claude Code?
Run claude mcp add --transport http crovia https://croviatrust.com/mcp in your terminal. This registers the remote HTTP endpoint directly in Claude Code.
What does TACET actually verify?
It proves that a targeted AI model had no public training-data disclosures during tracked hourly windows. The observations are signed and anchored into the Bitcoin blockchain.
Do I need a local Bitcoin node for validation?
A local node is optional. Verification works against public block explorers by default, though you can pass a custom header source to tacet.ots.verify_sheet_anchor.
