12,582 servers. Updated
Featured ↓
Search Relevance ↓
GitHub Stars ↓
Name ↑
Date Updated ↓
MCP connectors by com.axiomatic-ai
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.