pytype

Pytype is a Python type-checking tool designed to provide compile-time type checking through type inference and annotations. Its primary use case is to improve code quality by detecting type errors before runtime, although the development has phased out support after Python 3.12 due to challenges with its bytecode-based design. Notable features include collaboration with the Python community to create typeshed, while the maintainers now recommend exploring alternative typing solutions as the ecosystem matures.