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.

The issue is that duck typing with a minimal set of types was the great idea of ABC, which is the language Guido cloned to make Python