Command Palette

Search for a command to run...

UnylyUnyly

Euclid vs GitHub

Сравнение двух MCP-серверов по фактам. Выбери подходящий для Claude Desktop, Claude Code или Cursor.

MCP server for logical reasoning that turns facts into formal proofs using a deterministic inference engine with Prolog.

Подробнее

PRs, issues, code search, CI status

Подробнее

Сравнение

ПараметрEuclidGitHub
ЦенаFreeFree
Установки15
Рейтинг
Проверен
HostedHosted
Инструменты5
Категорияdevelopmentdevelopment
АвторmeobGitHub
Репозиторийmeob/Euclid-MCPgithub/github-mcp-server

Когда выбрать Euclid

MCP server for logical reasoning that turns facts into formal proofs using a deterministic inference engine with Prolog.

Когда выбрать GitHub

Full GitHub access from Claude. Browse repos, read PRs, open issues, check CI runs, review diffs — without switching tabs.

Ищешь что-то другое? Весь каталог MCP или в тренде на неделе.