krystianycsilva

lean-mcp

可通过 MCP 编译并校验 Lean 4 数学证明与定理。