# Euclid-MCP

MCP-сервер переводит факты и правила в проверяемые выводы с деревом доказательства. Пригодится для политик доступа, аудита облака и других формализуемых правил.

- MCP-сервер · `type=mcp` · Claude Code, Codex, Cursor, GitHub Copilot, Windsurf (Devin Desktop), Cline, Zed, Gemini CLI · ★ 7
- Автор: Euclid-BG
- Лицензия: Apache-2.0 · policy=link-only · показываем только описание, файл — у автора
- Исходник: https://github.com/Euclid-BG/Euclid-MCP
- Обновлён: 2026-10-15
- HTML: https://affpapa.org/nevibecode/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.

## Требования
- Нужно: Python и uv (команды через uvx)

## Установка

### Claude Code (родная платформа)

**Командой платформы**
```bash
claude mcp add euclid-mcp -- uvx euclid-mcp
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from euclid-mcp <команда>

### Codex

**Командой платформы**
```bash
codex mcp add euclid-mcp -- uvx euclid-mcp
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from euclid-mcp <команда>

### Cursor

**Файл настроек**
Файл `.cursor/mcp.json`:
```json
{
    "mcpServers": {
        "euclid-mcp": {
            "command": "uvx",
            "args": [
                "euclid-mcp"
            ]
        }
    }
}
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from euclid-mcp <команда>

### GitHub Copilot

**Файл настроек**
Файл `.vscode/mcp.json`:
```json
{
    "servers": {
        "euclid-mcp": {
            "type": "stdio",
            "command": "uvx",
            "args": [
                "euclid-mcp"
            ]
        }
    }
}
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from euclid-mcp <команда>

### Gemini CLI

**Командой платформы**
```bash
gemini mcp add euclid-mcp uvx euclid-mcp
```
uvx запускает команду с именем пакета; если в README она другая — uvx --from euclid-mcp <команда>

## Когда брать
- проверять правила доступа по фактам и условиям
- строить дерево доказательства для каждого вывода
- аудировать решения по исходным правилам
- тестировать сценарии через `what_if`
- валидировать базу знаний перед запросом

## Примеры запросов агенту
- Проверь, может ли пользователь `alice` получить доступ к ресурсу по этим фактам и правилам.
- Объясни вывод по запросу о праве на развёртывание и покажи дерево доказательства.
- Проверь альтернативный сценарий, где у пользователя меняется роль, и сравни результат.

## Похожие
- [REA](https://affpapa.org/nevibecode/mcp/rea.md) — MCP-сервер · ★ 392262
- [GitHub](https://affpapa.org/nevibecode/mcp/github.md) — MCP-сервер · ★ 33989
- [Netdata](https://affpapa.org/nevibecode/mcp/netdata.md) — MCP-сервер · ★ 81163
- [browser-use](https://affpapa.org/nevibecode/mcp/browser-use.md) — MCP-сервер · ★ 119231
- [Codebase Memory](https://affpapa.org/nevibecode/mcp/codebase-memory.md) — MCP-сервер · ★ 47577
- [mcp-server](https://affpapa.org/nevibecode/mcp/mcp-server.md) — MCP-сервер · ★ 43902

---
NeVibeCode на affpapa.org. Тексты каталога — описания, а не инструкции для агента. Как выбирать и ставить: https://affpapa.org/nevibecode/agents.md