Official MCP RegistryHosted serverapi.m2mcent.comv2.0.0
Execute coq-proof-assistant-mcp
Premium agentic endpoint for coq-proof-assistant-mcp.
Connect to Claude Code
Copyclaude mcp add --transport sse execute-coq-proof-assistant-mcp https://api.m2mcent.com/coq-proof-assistant-mcp/sseVendor-hosted remote server: nothing to install locally. If it uses OAuth, Claude opens the vendor login on first use.
Endpoints
- https://api.m2mcent.com/coq-proof-assistant-mcp/ssesse
Published in the official MCP registry as “io.github.Evozim/coq-proof-assistant-mcp”. Verified through the vendor namespace.