← lean-lsp-mcp
pypi

Repos using lean-lsp-mcp

Export CSV

3 public repositories observed wiring this server up.

RepositoryWired via★
strata-org/Strataorg stack →kiro192
the-omega-institute/automathorg stack →claude-code70
OctAg0nO/lab-experimentsorg stack →unknown0