I recently discovered that the folks building uv and ruff are also building a type checker, and it already works really well (and fast!), despite beta status:

https://github.com/astral-sh/ty