python/mypy

Health v2 · maintenance only

Flags: no_releases no_license

Adoption not part of the score

20605 stars · 3278 forks observed · 2026-08-28

What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-29, confidence not recorded

Mypy is an optional static type checker for Python that validates type hints (PEP 484) in your code. It catches type errors before runtime while allowing gradual migration from dynamic to static typing.

Use cases

• check python code for type errors before running it
• add type hints to an existing python codebase gradually
• catch bugs like passing wrong argument types to functions
• enforce type annotations in ci pipeline
• verify stub files for a python library
• find attribute errors and typos in large python projects

When to choose

• you want compile-time-like type checking for python code
• you are migrating a dynamic python codebase to typed code incrementally
• you need to validate type hints against typeshed stubs
• you want machine-checked documentation via annotations

When to avoid

• you need runtime type validation or enforcement rather than static analysis
• you want a general-purpose linter for style issues rather than type checking
• your code relies heavily on dynamic patterns mypy cannot infer

Facets

library · maturity stable

type-system linter developer-tools developer-tools programming-languages testing python cli cross-platform static-analysis type-checking type-hints pep-484 gradual-typing

Member repositories

For agents

markdown · JSON · MCP: product_card(name="python/mypy")