AI Rank
← Developers
#7814 49

Oliver Dressler

@oOo0oOo
Open on GitHub
3.09k
Weighted score
494
Contributions
1
Repos
Top repos
Ranked AI repos1
614411285
oOo0oOo/lean-lsp-mcp
+1

Lean Theorem Prover MCP

523· Python