io.github.Evozim/coq-proof-assistant-mcp
name:io.github.evozim/coq-proof-assistant-mcp
Premium agentic endpoint for coq-proof-assistant-mcp.
- transport:
- remote
- credential class:
- unreachable
Owner verification
Not yet verified. Verifying proves you control this server and is free, permanently — it never changes a published score.
Start verification →Tools
Embed this server’s score
Tool count and median score across every tool in this server’s corpus — honest in a way a single cherry-picked tool’s badge wouldn’t be.
[](https://vouch.tools/servers/51231cf8-de96-48ec-84a1-fd30416858f1)