Euclid-MCP — MCP-сервер для Claude Code: логика и установка
MCP-сервер переводит факты и правила в проверяемые выводы с деревом доказательства. Пригодится для политик доступа, аудита облака и других формализуемых правил.
claude mcp add euclid-mcp -- uvx euclid-mcpЧто делает Euclid-MCP
Euclid-MCP принимает факты, правила и запросы на языке Euclid-IR, а затем возвращает решения и деревья доказательств в структурированном JSON. Euclid-IR поддерживает переменные, логические связки, отрицание, арифметические сравнения и запросы с несколькими условиями. Это позволяет описывать правила без синтаксиса Prolog.
Сервер переводит Euclid-IR в Prolog и выполняет вывод через постоянный процесс SWI-Prolog. Если SWI-Prolog недоступен, используется встроенный движок на Python. Дополнительные инструменты explain, diagnose, what_if и check_kb объясняют вывод, ищут проблемы, проверяют сценарии и валидируют базу знаний. Базу знаний можно загрузить при старте и переиспользовать между запросами.
Для запуска через команды установки нужен uvx. Подключение доступно в Claude Code, Codex, Cursor, GitHub Copilot, Windsurf (Devin Desktop), Cline, Zed и Gemini CLI.
Какие задачи решает
- проверять правила доступа по фактам и условиям
- строить дерево доказательства для каждого вывода
- аудировать решения по исходным правилам
- тестировать сценарии через
what_if - валидировать базу знаний перед запросом
Примеры запросов агенту
- Проверь, может ли пользователь
aliceполучить доступ к ресурсу по этим фактам и правилам. - Объясни вывод по запросу о праве на развёртывание и покажи дерево доказательства.
- Проверь альтернативный сценарий, где у пользователя меняется роль, и сравни результат.
Как установить Euclid-MCP
Командой платформы
claude mcp add euclid-mcp -- uvx euclid-mcpuvx запускает команду с именем пакета; если в README она другая — uvx --from euclid-mcp <команда>
Командой платформы
codex mcp add euclid-mcp -- uvx euclid-mcpuvx запускает команду с именем пакета; если в README она другая — uvx --from euclid-mcp <команда>
Файл настроек
{
"mcpServers": {
"euclid-mcp": {
"command": "uvx",
"args": [
"euclid-mcp"
]
}
}
}uvx запускает команду с именем пакета; если в README она другая — uvx --from euclid-mcp <команда>
Файл настроек
{
"servers": {
"euclid-mcp": {
"type": "stdio",
"command": "uvx",
"args": [
"euclid-mcp"
]
}
}
}uvx запускает команду с именем пакета; если в README она другая — uvx --from euclid-mcp <команда>
Командой платформы
gemini mcp add euclid-mcp uvx euclid-mcpuvx запускает команду с именем пакета; если в README она другая — uvx --from euclid-mcp <команда>
По шагам, с командами для каждой платформы: Как подключить MCP-сервер: Claude Code, Codex, Cursor, VS Code, Gemini CLI и другие
Вопросы о Euclid-MCP
Как установить Euclid-MCP в Claude Code?
Выполните claude mcp add euclid-mcp -- uvx euclid-mcp. Команда добавит MCP-сервер с запуском через uvx.
Что делает Euclid-MCP?
Сервер принимает факты, правила и запросы в Euclid-IR, выполняет детерминированный логический вывод и возвращает решения с деревьями доказательства. Для этого он использует SWI-Prolog или движок на Python.
Что нужно для работы Euclid-MCP?
Команды подключения используют uvx. При наличии SWI-Prolog сервер выполняет вывод через него, а при его недоступности переключается на встроенный движок на Python.
