Pytype

Pytype is a static type analyzer for Python that infers and checks types in Python code, even without explicit type annotations. It can lint plain Python code for common mistakes, enforce user-provided type annotations, and generate `.pyi` stub files. Developed by Google, Pytype is currently in maintenance mode, with Python 3.12 being the last officially supported version, focusing on bugfixes rather than new features.