Server record / io.github.Evozim/coq-proof-assistant-mcp
Execute coq-proof-assistant-mcp
Premium agentic endpoint for coq-proof-assistant-mcp.
Remote endpoints
https://api.m2mcent.com/coq-proof-assistant-mcp/ssesseTool inventory
No publishable tool enumeration has been recorded.
Recent observations
This server has Registry metadata but no public verification run yet.