11,667 servers. Updated
Featured ↓
Search Relevance ↓
GitHub Stars ↓
Name ↑
Date Updated ↓
"Max" matching MCP connectors:
Matching Connector Tools:
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
Matching Connector Tools:
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.