AI Rank
← 开发者
#29489 144

Elias Judin

@eliasjudin · South Africa
在 GitHub 打开
334
加权贡献
56
贡献次数
3
项目数
主要项目
上榜的 AI 项目2
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