29,295 servers. Updated
Recommended ↓
Search Relevance ↓
GitHub Stars ↓
Name ↑
Date Updated ↓
"Max" matching MCP connectors:
GET /v1/connectors – MCP directory API referenceMatching Connector Tools:
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
