Crovia TACET Seal — MCP-сервер для Claude Code
MCP-сервер для проверки доказательств TACET и печатей Crovia Seal. Подтверждает отсутствие раскрытия обучающих данных ИИ с криптографической фиксацией в Bitcoin.
claude mcp add --transport http crovia https://croviatrust.com/mcpЧто делает Crovia — verifiable silence (TACET) and Crovia Seal
Сервер работает с протоколом TACET. Обычные журналы прозрачности фиксируют факт публикации. TACET решает обратную задачу: создаёт проверяемое доказательство того, что разработчики модели не раскрывали состав обучающей выборки в заданные интервалы времени. Каждый час фиксируется с помощью случайных чисел drand и закрывается блоком Bitcoin.
Оператор Crovia ежечасно проверяет карточки моделей. Он вычисляет предикаты по байтам, подписывает вердикты и вносит результат в разреженное дерево Меркла (sparse Merkle map). Все доказательства упаковываются в формат crovia.seal.v1 и подтверждаются через OpenTimestamps.
Для работы сервера не нужно держать собственный узел Bitcoin: проверки опираются на публичные эксплореры и эндпоинт https://croviatrust.com/mcp. Но при недоступности внешних ретрансляторов drand или обозревателей блокчейна валидатор возвращает предупреждения вместо подтверждения.
Какие задачи решает
- проверить доказательство отсутствия раскрытия обучающих данных модели
- валидировать криптографические печати
crovia.seal.v1 - сопоставить метки OpenTimestamps с заголовками блоков Bitcoin
- подтвердить целостность часовых эпох в дереве Меркла
Примеры запросов агенту
- Проверь файл доказательства молчания
Qwen__Qwen3-32B.seal.jsonчерез Crovia - Проверь печать Crovia Seal для указанной модели и покажи статус привязки к Bitcoin
- Запроси валидацию эпох TACET для модели и проверь наличие предупреждений
Как установить Crovia — verifiable silence (TACET) and Crovia Seal
Командой платформы: удалённый сервер
claude mcp add --transport http crovia https://croviatrust.com/mcpКомандой платформы: удалённый сервер
codex mcp add mcp --url https://croviatrust.com/mcpФайл настроек
{
"mcpServers": {
"mcp": {
"url": "https://croviatrust.com/mcp"
}
}
}Файл настроек
{
"servers": {
"mcp": {
"type": "http",
"url": "https://croviatrust.com/mcp"
}
}
}Командой платформы: удалённый сервер
gemini mcp add -t http mcp https://croviatrust.com/mcpПо шагам, с командами для каждой платформы: Как подключить MCP-сервер: Claude Code, Codex, Cursor, VS Code, Gemini CLI и другие
Вопросы о Crovia — verifiable silence (TACET) and Crovia Seal
Как установить Crovia в Claude Code?
Выполните в терминале команду claude mcp add --transport http crovia https://croviatrust.com/mcp. Она подключит удалённый HTTP-эндпоинт Crovia к вашему окружению.
Что проверяет протокол TACET?
Он подтверждает факт отсутствия публикации документов об обучении модели за конкретные часовые интервалы. Данные подписываются наблюдателем и закрепляются в блокчейне Bitcoin через OpenTimestamps.
Нужен ли локальный узел Bitcoin для верификации?
Локальный узел необязателен. Проверка может идти через публичные обозреватели блоков по сети, но при необходимости функцию tacet.ots.verify_sheet_anchor можно переключить на собственный источник заголовков.
