microsoft/pyright

Pyright is a full-featured, standards-based static type checker for Python. It is designed for high performance and can be used with large Python source bases.