9,837 servers. Last updated
Featured ↓
Search Relevance ↓
GitHub Stars ↓
Name ↑
Date Updated ↓
"Compiler Explorer" matching MCP connectors:
Matching Connector Tools:
A paid remote MCP for ZeroLang, built to return verdicts, receipts, usage logs, and audit-ready JSON
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.