Programming Tool

Pyright

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