Don't all the exact same problems exist with e.g. what version of Python or what formatter/linter your team uses? I don't see how this is unique to mypy.
There is undoubtedly setup with all these tools, but the benefit massively outweighs the cost to my mind.
Version of Python is a runtime thing that can be checked.
Formatting is not relevant to whether the code is correct, but types are.
The problem compared to static languages is that it does not need to compile, types are completely ignored at runtime and there is no built-in way of checking it (like python binary with a special flag) so everyone does things different.
There is undoubtedly setup with all these tools, but the benefit massively outweighs the cost to my mind.