25,996 servers. Updated
Recommended ↓
Search Relevance ↓
GitHub Stars ↓
Name ↑
Date Updated ↓
MCP connectors by com.axiomatic-ai
GET /v1/connectors – MCP directory API referenceLean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
