MCP servers tagged mathlib

1 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.

live servers

avg trust

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…