I used mypy just fine for a previous job. If you are getting 80k errors, that means you are either starting very late to use the type checker and have done many

I used mypy just fine for a previous job. If you are getting 80k errors, that means you are either starting very late to use the type checker and have done many dubious things before, or you didn't exclude your venv from being type checked by mypy.