pyright

Fast type checker meant for large Python source bases. It can run in a “watch” mode and performs fast incremental updates when files are modified.