What is a #coq MCP server?
An MCP server tagged #coq implements the Model Context Protocol so AI assistants like Claude, Cursor, and VS Code can access coq-related tools, data, or APIs.
1 #coq MCP Servers & Clients
Every MCP server and client below is tagged #coq — install one to give Claude, Cursor, VS Code, or any other MCP-compatible client access to coq tools.
All
Frequently asked questions
Common questions about MCP servers and clients tagged #coq
How many #coq MCP servers and clients are there?
mcp.so currently lists 1 MCP servers and clients tagged #coq.
How do I install a #coq MCP server?
Open any server below and copy its install snippet into Claude Desktop, Cursor, VS Code, or another MCP client's configuration — remote servers need no separate download.