No, mypy existed before the type hints spec, and was created by Jukka Lehtosalo; Guido did, once he encountered it, work to make sure mypy could work with Pytho

No, mypy existed before the type hints spec, and was created by Jukka Lehtosalo; Guido did, once he encountered it, work to make sure mypy could work with Python rather than being a separate, python-like language, and the type hints spec was a big part of that.