1. Home
  2. Browse All
  3. Theorem Prover

Theorem Prover MCP Servers

Discover Cursor MCP servers tagged with "Theorem Prover" to enhance your AI coding experience.

1 MCP server tagged with "Theorem Prover"

Lean Lsp Mcp

92
oOo0oOo by oOo0oOo

Interact with the Lean theorem prover via the Language Server Protocol.

Theorem Prover Language Server
92 Stars Created: Mar 29, 2025 Updated: 4 days ago
Privacy Policy   11.40ms  0.79MB