How do I install Execute coq-proof-assistant-mcp?

Pick a client above and copy the generated config. Cursor and VS Code also have a deep link when the server can run locally or remotely.

Is Execute coq-proof-assistant-mcp official?

No. Registry-listed is not the same as vendor-official. Read the methodology for the difference.

This listing scores 47 (Fair). The formula is published on the methodology page.

Execute coq-proof-assistant-mcp MCP Server | MCPpedia

Name: Execute coq-proof-assistant-mcp MCP Server
Author: evozim

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

RegistryRemoteevozim

47Fair

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "evozim-coq-proof-assistant-mcp": {
      "url": "https://api.m2mcent.com/coq-proof-assistant-mcp/sse"
    }
  }
}

This server does not declare environment variables.

75Good

Google PageSpeed Insights and CrUX: six workflow tools for web performance.

Registryruslanlap72 stars500/wk

73Good

Evidence-backed crypto due diligence with sources, freshness, and a runtime receipt on every call.