Pyright

A full-featured, standards-compliant static type checker for Python designed for high performance...