Coq LSP(言語サーバープロトコル)サポートを統合したMCPサーバーで、開発者がコード補完や診断などの強化されたIDE機能を使用してCoq証明助手で作業できるようにします。
mcp-coq-lspは、形式的証明助手であるCoqのための言語サーバープロトコル(LSP)統合を提供するModel Context Protocol(MCP)サーバーです。これにより、開発者はMCP互換環境内でCoqを使用でき、コード補完、エラー診断、ドキュメント検索、証明開発に関するリアルタイムフィードバックなど、完全なIDEサポートが提供されます。
インストールには、システムにCoqとそのLSP実装がインストールされている必要があります。MCPサーバーは、サーバーの実行可能パスと必要なパラメータを指定して、MCPクライアントの設定ファイルに追加することで構成できます。構成が完了したら、Coq LSPサポートを有効にするためにMCPクライアントを再起動します。
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