MCP servers tagged theorem-proving

2 live MCP servers tagged "theorem-proving", ranked by trust score. Tags come from package metadata and repository topics, so this list covers servers across every category that work with theorem-proving.

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…

Math Workspace

Local workspace for long-form mathematical writing, structural review, Lean alignment, and Codex collaboration ｜面向长篇数学写作、结构审阅、Lean 对齐与 Codex 协作的本地工作空间