23,155 servers. Updated
Recommended ↓
Search Relevance ↓
GitHub Stars ↓
Name ↑
Date Updated ↓
"Compiler Explorer" matching MCP connectors:
GET /v1/connectors – MCP directory API referenceMatching Connector Tools:
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
