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社群
證據