Server MCP che integra il supporto per Coq LSP, consentendo agli sviluppatori di lavorare con l'assistente alla prova Coq con funzionalità IDE avanzate come completamento del codice e diagnostica.
mcp-coq-lsp è un server Model Context Protocol (MCP) che fornisce integrazione del Language Server Protocol (LSP) per Coq, un assistente alla prova formale. Consente agli sviluppatori di utilizzare Coq all'interno di ambienti compatibili con MCP con supporto IDE completo, inclusi completamento del codice, diagnostica degli errori, ricerca della documentazione e feedback in tempo reale sullo sviluppo delle prove.
L'installazione richiede di avere Coq e la sua implementazione LSP installata sul sistema. Il server MCP può essere configurato aggiungendolo al file di configurazione del client MCP, specificando il percorso eseguibile del server e eventuali parametri necessari. Una volta configurato, riavviare il client MCP per attivare il supporto Coq LSP.
Monday.com MCP Server streamlines board management, item operations, and workflow automation for teams. I…
di NotionFlow
Sentry MCP Server provides comprehensive error tracking and performance monitoring, helping developers id…
di AnalyticsPro
Cloudflare MCP Server simplifies Cloudflare management by providing tools for DNS management, Workers dep…
di PricingBot