Execute coq-proof-assistant-mcp

远程

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

⭐ 0开发工具

安装配置

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