3 ms·

Pyright is pretty good. It's easy to setup, and has first-class VSCode support, if that's what your team uses.