mypy

Also written: type checker

A separate tool that reads type hints and warns when an object lacks a method. Python itself doesn't check them.