Execute coq-proof-assistant-mcp MCP server

Premium agentic endpoint for coq-proof-assistant-mcp.

Category: Dev tools

● Reachable, no MCP reply, checked 98 min ago · 68 ms

Source: official MCP Registry entry io.github.Evozim/coq-proof-assistant-mcp

Direct MCP URL and setup

CLAUDE CODE

claude mcp add --transport http io-github-evozim-coq-proof-assistant-mcp https://api.m2mcent.com/coq-proof-assistant-mcp/sse

CURSOR / VS CODE (mcp.json)

{ "mcpServers": { "io-github-evozim-coq-proof-assistant-mcp": { "url": "https://api.m2mcent.com/coq-proof-assistant-mcp/sse" } } }