What is mypy?

Mypy is a static type checker for Python developed by the original author of PEP 484. It analyzes annotated code and reports type errors before runtime. Alternatives include pyright from Microsoft, used by Pylance and increasingly considered the fastest, and pyre from Meta. As of 2026, pyright and ty are the dominant fast type checkers.