# GitHub repos by oOo0oOo [Home](https://repo.masters-masters.com/en) › [oOo0oOo](https://repo.masters-masters.com/en/owners/oOo0oOo) The public GitHub repo by oOo0oOo in RepoMasters, the trading card game of open source: stars, language, tier and card. ## GitHub repos by oOo0oOo 1 public repo by oOo0oOo in the catalog, most starred first. - [oOo0oOo/lean-lsp-mcp · ★ 546 · Python · Alpha](https://repo.masters-masters.com/en/repos/oOo0oOo/lean-lsp-mcp) ## See oOo0oOo on GitHub - [https://github.com/oOo0oOo](https://github.com/oOo0oOo) --- Data: GitHub