We chose Positron's Python type checker
positron.posit.co