MCP-Logic

Предоставляет автоматизированные логические доказательства и верификацию для AI систем с помощью Prover9/Mace4.

Shell

⭐ 34 stars

Описание

MCP-Logic — это сервер для AI, интегрирующий Prover9 и Mace4 для формальных доказательств теорем и проверки моделей. Ключевые особенности: поддержка сложных формул с кванторами, валидация синтаксиса, обработка ошибок и чистый MCP-интерфейс. Технологии: Python 3.10+, Prover9/Mace4, UV. Применения: верификация знаний AI, анализ рассуждений, интеграция с Claude Desktop для глубокого мышления в системах вроде логических калькуляторов.

Возможности

✓

Автоматизированное доказательство теорем

Использует Prover9 для проверки логических выводов из посылок и заключений.

✓

Валидация синтаксиса

Проверяет корректность логических формул с помощью инструмента check-well-formed.

✓

Поддержка сложных формул

Работает с вложенными кванторами, множественными посылками и знаниями AI.

✓

Интеграция с MCP

Обеспечивает seamless подключение к AI-системам вроде Claude для формального рассуждения.

✓

Обработка ошибок и логирование

Включает детальную диагностику и логи для отладки логических задач.

Установка

Клонируйте репозиторий: git clone https://github.com/angrysky56/mcp-logic && cd mcp-logic. Для Windows: запустите windows-setup-mcp-logic.bat. Для Linux/macOS: chmod +x linux-setup-script.sh && ./linux-setup-script.sh. Это установит зависимости, LADR (Prover9/Mace4), виртуальное окружение. Для Claude Desktop используйте конфиг: {“mcpServers”: {“mcp-logic”: {“command”: “uv”, “args”: ["–directory", “/path/to/mcp-logic/src/mcp_logic”, “run”, “mcp_logic”, “–prover-path”, “/path/to/mcp-logic/ladr/bin”]}}}. Требования: Python 3.10+, UV, Git, CMake.

Информация

Язык

Shell

Лицензия

MIT License

GitHub Stars

Ссылки

GitHub