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

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

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

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

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

D

Mcp Z3 ProverZ3 (доказатель теорем)

daedalus/mcp-z3-prover

MCP-сервер Z3 (доказатель теорем) (Daedalus).

Z3 (доказатель теорем)MCPинструментысерверDaedalus

О пакете

ТипMCP-сервер

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