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커뮤니티
증거