1. Conduid
  2. Marketplace
  3. #theorem-prover
Tag

MCP servers tagged theorem-prover

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

2
live servers
34
avg trust
3
most stars
1

Leanstudio

keithadler

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…

★ 3updated 3 days ago
34
2

Leanstudio

Dezz05

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.

★ 1updated 4 days ago
34
← Previous Page 1 of 1 Next →