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日 02:40
已添加
explain
2026年9月21日 02:40
已添加
silence_report
2026年9月21日 02:40
已添加
verify_seal
2026年9月21日 02:40
已添加
get_silence_proof
2026年9月21日 02:40
已添加
search_models
2026年9月21日 02:40
已添加
lookup_model
2026年9月21日 02:40
已添加
crovia_status
2026年9月21日 02:40
发现

类似的 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…