Claude Маркетплейс

Скиллы MCP-серверы Плагины Дайджест

Русскоязычный каталог инструментов для Claude Code: скиллы, MCP-серверы, плагины и еженедельный дайджест — с переводом описаний на русский. · О проекте

Prover · MCP-серверы · Claude Маркетплейс

Главная · MCP-серверы · Prover

C

ProverProver

com.axiomatic-ai/prover

MCP-сервер Prover (формальная верификация).

ProverверификацияMCPдоказательствалогика

О пакете

ТипMCP-сервер

Открыть на GitHub →Оригинал (источник) →