Crovia — verifiable silence (TACET) and Crovia Seal
Signed, Bitcoin-anchored observations of AI training-data disclosure; verifies silence proofs, seals
我该使用它吗
质量与安全性
发现（2）
- LOWTool 'explain' description lacks action verb在 explain 中
- LOWTool 'crovia_vs_causari' description lacks action verb在 crovia_vs_causari 中
基于对工具定义和协议合规性的自动分析。
上下文开销
这是每次将服务器的工具加载到模型上下文窗口时所消耗的大致 token 数。数值越高，可用于其他任务的注意力就越少。
安装
一键安装
将以下内容添加到你的 `claude_desktop_config.json` 文件中：
{
"mcpServers": {
"crovia": {
"url": "https://croviatrust.com/mcp"
}
}
}远程端点
https://croviatrust.com/mcpstreamable-http它能做什么
工具清单
工具（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.
输入模式
{
"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.
输入模式
{
"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.
输入模式
{
"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.
输入模式
{
"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).
输入模式
{
"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'.
输入模式
{
"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.
输入模式
{
"type": "object",
"properties": {
"term": {
"type": "string"
}
}
}⚪crovia_vs_causari
Disambiguate Crovia (AI training-data disclosure observatory) from Causari (code-provenance developer tool).
输入模式
{
"type": "object",
"properties": {},
"additionalProperties": false
}推荐提示词
search_modelsget_silence_proofget_silence_proofsearch_modelssearch_modelsget_silence_proof社区
证据