11,127 servers. Last updated
Featured ↓
Search Relevance ↓
GitHub Stars ↓
Name ↑
Date Updated ↓
MCP connectors by io.github.atomadictech
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.
Architecture compiler for AI code. 11 tools, 92 actions, 872 Lean4 proofs, 100/100 self-cert.