Mypy is a static type checker for Python that verifies type correctness before runtime by analyzing your code for type errors. Developers use it to catch bugs early, improve code documentation through type annotations, and enable better IDE tooling and refactoring support. It integrates into development workflows as a linter to validate that function arguments, return values, and variable assignments match their declared types.

3,178 open issues · last updated Jul 21, 2026