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 verbexplain 内
- LOWTool 'crovia_vs_causari' description lacks action verbcrovia_vs_causari 内
ツール定義とプロトコルへの準拠に関する自動分析に基づいています。
コンテキストコスト
これは、サーバーのツールがモデルのコンテキストに読み込まれるたびに消費されるおおよそのトークン数です。数が多いほど、ほかのタスクに使える注意が減ります。
インストール
ワンクリックインストール
これを `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コミュニティ
エビデンス