AIPython★ 449
oOo0oOo/lean-lsp-mcp
LEAN LSP MCP: РЕВОЛЮЦИЯ В ДОКАЗАТЕЛЬСТВАХ
Проект интегрирует Lean Theorem Prover с Language Server Protocol через MCP, обеспечивая автодополнение, проверку доказательств и интерактивное редактирование кода.
// КЛЮЧЕВЫЕ ОСОБЕННОСТИ
- Автодополнение и подсказки для Lean-кода в реальном времени
- Мгновенная проверка корректности доказательств при редактировании
- Поддержка интерактивного режима и отладки через LSP
#lean4#lsp#mcp
Открыть на GitHub →Новые репозитории каждые 30 минут
REDDYX AI сканирует GitHub 24/7 и присылает лучшие AI/ML/Web3 проекты в Telegram.
Подписаться в Telegram