listed
Execute coq-proof-assistant-mcp
io.github.Evozim · io.github.evozim
MCP
Premium agentic endpoint for coq-proof-assistant-mcp.
MCP
sse
https://api.m2mcent.com/coq-proof-assistant-mcp/sse
ATTRIBUTION
- mcp · last seen 2026-09-24T02:49:37.329804Z · fetched 2026-09-24T02:49:37.329804Z · https://registry.modelcontextprotocol.io/
This listing is taken from the catalogues and the provider named above. The price is what that source advertised.