[nullp0tr]

Seeing that mypy is under github.com/python/, you can easily argue that it is in fact the standard tool for type-checking python code.

[milliams]

And also that the second highest contributor is Guido van Rossum (https://github.com/python/mypy/graphs/contributors).

[tom_mellior]

Fair enough, those are reasonable arguments the grandparents could (and should) have made.