Execute coq-proof-assistant-mcp for Claude Code

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

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

client:Claude Code transport:sse

Install Execute coq-proof-assistant-mcp in Claude Code

run in your project directory

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

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs