[anentropic]

It's not clear to me that they are building an alternate type checker per se

Seems like `ruff server` is an LSP?

[baggiponte]

Yes but only for linting (the flake8 rules etc). The end goal is to have proper type checking and, I think, proper LSP refactoring capabilities.