What AI says about Pytype

Pytype is a static type checker and inferrer for Python code that works without requiring type annotations. It lints plain Python code, enforces user-provided annotations, and generates type annotation stub files.