prover
远程Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
安装配置
{
"mcpServers": {
"prover": {
"url": "https://prover.axiomatic-ai.com/mcp/"
}
}
}
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
{
"mcpServers": {
"prover": {
"url": "https://prover.axiomatic-ai.com/mcp/"
}
}
}