AI Rank
← Developers
#29489 144

Elias Judin

@eliasjudin · South Africa
Open on GitHub
334
Weighted score
56
Contributions
3
Repos
Top repos
Ranked AI repos2
614411285
oOo0oOo/lean-lsp-mcp
+1

Lean Theorem Prover MCP

523· Python
16900518
eliasjudin/oai-skills
+0

The contents of /home/oai/skills in ChatGPT's code interpreter environment

522· Python