← all MCP servers
Execute coq-proof-assistant-mcp
io.github.Evozim/coq-proof-assistant-mcp
Premium agentic endpoint for coq-proof-assistant-mcp.
remote endpoints
- sse https://api.m2mcent.com/coq-proof-assistant-mcp/sse
details
- version
- 2.0.0
- published
- 2026-08-17
last synced 2026-08-18