MCP Radar
MCPサーバー

Crovia — verifiable silence (TACET) and Crovia Seal

com.croviatrust/crovia
AI・エージェント セキュリティ 公開・接続可能 MCP 2026-07-28

このMCPでできること

Provides signed, Bitcoin-anchored observations and verifiable silence proofs about AI model training-data disclosures.

機能

ツール

8 ツール
crovia_status
Live TACET totals
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}
crovia_vs_causari
Crovia vs Causari
Disambiguate Crovia (AI training-data disclosure observatory) from Causari (code-provenance developer tool).
入力スキーマ 
{'type': 'object', 'properties': {}, 'additionalProperties': False}
explain
Definitions
Canonical definitions of Crovia terms: tacet, silence, lacuna, seal, epoch, pnx, predicate, canon. Without a term, returns all.
入力スキーマ 
{'type': 'object', 'properties': {'term': {'type': 'string'}}}
get_silence_proof
Get a silence proof
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'}}}
lookup_model
Look up a 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', 'required': ['model'], 'properties': {'model': {'type': 'string', 'description': 'Hugging Face model id, org/name'}}}
search_models
Search observed models
Find observed models by substring of their id (e.g. 'mistral'). Returns id, live status, last result and record URL.
入力スキーマ 
{'type': 'object', 'properties': {'limit': {'type': 'integer', 'maximum': 100, 'minimum': 1}, 'query': {'type': 'string'}}}
silence_report
Weekly Silence Report
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'}}}
verify_seal
Verify a seal or proof
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': {'url': {'type': 'string'}, 'seal': {'type': ['object', 'string']}, 'check_anchors': {'type': 'boolean'}}}
履歴

最近のツール変更

追加
crovia_vs_causari
2026年9月21日2:40
追加
explain
2026年9月21日2:40
追加
silence_report
2026年9月21日2:40
追加
verify_seal
2026年9月21日2:40
追加
get_silence_proof
2026年9月21日2:40
追加
search_models
2026年9月21日2:40
追加
lookup_model
2026年9月21日2:40
追加
crovia_status
2026年9月21日2:40
関連MCP

類似のMCPサーバー

GoCreative Agent API

io.github.ColinHughes2121/gocreative-agent-api

Offers pay-per-call LLM completions and data services for company intelligence, KYB, sanctions screening, threat intelligence, co…

IA-QA — 130+ QA & Dev Tools for AI Agents

io.github.JcJamet/ia-qa-toolbox

Provides deterministic QA, evaluation, testing, code analysis, prompt and RAG checks, model comparison, and web security diagnost…

DDG Agent Services

io.github.daedalusdevelopmentgroup/ddg-agent-services-mcp

Acts as a pay-per-call gateway for agent tools including LLM routes, web and market data, Ethereum RPC, security scans, service c…

mainstreet

io.github.philpof102-svg/mainstreet

Provides reputation, trust scoring, validation, consensus, routing, and payment-related tools for on-chain AI agents on Base.

xrpl-referee

io.github.eamwhite1/xrpl-referee

Supports XRPL-based agent hiring, escrow payments, job marketplaces, wallet trust scoring, sanctions and KYC checks, and AI-assis…

InsureLink

io.github.skewing1/insurelink

Manages agent reputation, insurance coverage, SLA agreements, transaction safety checks, attestations, claims, and x402-mediated …

Overwing

ai.overwing/mcp

Evaluates text against configurable safety rules and provides agent policy decisions, approval workflows, compensating actions, a…

Hermes Plant — Agent Commerce Assurance

io.github.JesseGdotIO/hermes-plant

Preflights and attests consequential agent actions, verifies signed evidence, evaluates payments and wallets, and provides determ…