MCP server that integrates Coq LSP (Language Server Protocol) support, enabling developers to work with the Coq proof assistant with enhanced IDE features like code completion and diagnostics.
mcp-coq-lsp is a Model Context Protocol (MCP) server that provides Language Server Protocol (LSP) integration for Coq, a formal proof assistant. It enables developers to use Coq within MCP-compatible environments with full IDE support including code completion, error diagnostics, documentation lookup, and real-time feedback on proof development.
Installation requires having Coq and its LSP implementation installed on your system. The MCP server can be configured by adding it to your MCP client configuration file, specifying the server executable path and any necessary parameters. Once configured, restart your MCP client to activate Coq LSP support.
Monday.com MCP Server streamlines board management, item operations, and workflow automation for teams. I…
by NotionFlow
Sentry MCP Server provides comprehensive error tracking and performance monitoring, helping developers id…
by AnalyticsPro
Cloudflare MCP Server simplifies Cloudflare management by providing tools for DNS management, Workers dep…
by PricingBot