We added mypy last year and it’s been a huge benefit. It catches a lot of bugs and makes onboarding easier.

However, mypy is woefully limited when compared to TypeScript. Granted, TypeScript is maintained by a trillion dollar company while mypy is a community project.