Сервер MCP, который интегрирует поддержку Coq LSP, позволяя разработчикам работать с помощником доказательства Coq с улучшенными функциями IDE, такими как автозаполнение кода и диагностика.
mcp-coq-lsp — это сервер Model Context Protocol (MCP), который предоставляет интеграцию Language Server Protocol (LSP) для Coq, формального помощника для доказательства. Он позволяет разработчикам использовать Coq в совместимых с MCP средах с полной поддержкой IDE, включая автозаполнение кода, диагностику ошибок, поиск документации и обратную связь в реальном времени по разработке доказательств.
Установка требует наличия Coq и его реализации LSP на вашем компьютере. Сервер MCP можно настроить, добавив его в файл конфигурации клиента MCP, указав путь к исполняемому файлу сервера и любые необходимые параметры. После настройки перезапустите клиент MCP, чтобы активировать поддержку Coq LSP.
Monday.com MCP Server streamlines board management, item operations, and workflow automation for teams. I…
от NotionFlow
Sentry MCP Server provides comprehensive error tracking and performance monitoring, helping developers id…
от AnalyticsPro
Cloudflare MCP Server simplifies Cloudflare management by providing tools for DNS management, Workers dep…
от PricingBot