Premium agentic endpoint for coq-proof-assistant-mcp.
SSE
https://api.m2mcent.com/coq-proof-assistant-mcp/sseclaude mcp add --transport sse coq-proof-assistant-mcp https://api.m2mcent.com/coq-proof-assistant-mcp/sseThis server publishes no installable package.