- Conduid
- Marketplace
- #mathlib
MCP servers tagged mathlib
5 live MCP servers tagged "mathlib", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with mathlib.
AI Safety Formalization Atlas
The open workbench for AI safety, made formal. Turn safety questions into machine-checked Lean proofs — a shared launchpad where researchers and AI agents build provable safety to…
LeanProbe
Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.
Leanstudio
A native desktop IDE for Lean 4 on macOS, Windows and Linux. Every proof re-checked by Tenet, an independent Lean 4 kernel. An MCP server for AI assistants, with Git and GitHub bu…
Lean Local Search MCP
MCP server for fast local Lean and Mathlib theorem search with tree-sitter indexing and proof probes
Leanstudio
The Lean 4 IDE that checks the checker. A native desktop IDE for macOS, Windows, and Linux with an independent kernel re-verifying all proofs.