P
Poly Proof MCP
Poly-proof and multi-solver MCP for use as part of the "poly-mcp" project
创建于 12/23/2025
更新于 2 months ago
README
Repository documentation and setup instructions
README not found
快速设置
此服务器的安装指南
安装命令 （包未发布）
git clone https://github.com/hyperpolymath/poly-proof-mcp
手动安装： 请查看 README 获取详细的设置说明和所需的其他依赖项。
Cursor 配置 (mcp.json)
{
"mcpServers": {
"hyperpolymath-poly-proof-mcp": {
"command": "git",
"args": [
"clone",
"https://github.com/hyperpolymath/poly-proof-mcp"
]
}
}
}
作者服务器
其他服务器由 hyperpolymath