- Conduid
- Marketplace
- #theorem-proving
MCP servers tagged theorem-proving
8 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.
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
Tengoku
Mathlib plus research libraries in one verified Lean 4 tree, every theorem with its source and credit.
Certo Math
Between having a mathematical idea and having a proof of it there is a lot of work that is not proving: find the object, break the false claims, measure what survives, reduce it t…
Math Workspace
Local workspace for long-form mathematical writing, structural review, Lean alignment, and Codex collaboration ｜ 面向长篇数学写作、结构审阅、Lean 对齐与 Codex 协作的本地工作空间
InferFund
Donate AI inference to advance open mathematical problems.