MCP Server

Execute coq-proof-assistant-mcp

            io.github.Evozim/coq-proof-assistant-mcp
        

What this MCP does

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

Tool metadata is not publicly available.

MCP Radar has not retrieved any tools from this server yet.

Version

2.0.0

Transport

SSE

Tools

Latency

—

Last scan

—

First seen

Sept. 13, 2026, 2:15 a.m.

https://api.m2mcent.com/coq-proof-assistant-mcp/sse