google/pytype

Features

• Annotation Tools - Toolchain for applying stub files to source code.
• Code Analysis - Listed in the “Code Analysis” section of the Awesome Python awesome list.
• Static Type Checkers - Static type inference and checking tool that works without explicit annotations.
• Type Checkers - Analyzes code to infer and verify type information.
• Type Checking - Infers and checks types without requiring manual annotations.