Registry oficial MCPServidor hostedapi.m2mcent.comv2.0.0
Execute coq-proof-assistant-mcp
Premium agentic endpoint for coq-proof-assistant-mcp.
Conectar a Claude Code
Copiarclaude mcp add --transport sse execute-coq-proof-assistant-mcp https://api.m2mcent.com/coq-proof-assistant-mcp/sseServidor remoto alojado por el proveedor: no hay nada que instalar en local. Si usa OAuth, Claude abre el login del proveedor la primera vez.
Endpoints
- https://api.m2mcent.com/coq-proof-assistant-mcp/ssesse
Publicado en el registry oficial MCP como “io.github.Evozim/coq-proof-assistant-mcp”. Verificado por el namespace del proveedor.