Have you checked out Pyright[1]? It's not one tool to rule then all, but it is nice and fast.

[1]https://github.com/microsoft/pyright