A versioned Lean 4 / Mathlib knowledge graph, served over MCP + REST.
Sign in with GitHub to see the tenants you can access and get your claude mcp add snippets.
claude mcp add
Sign in with GitHub