Last released Sep 20, 2026
An AST-based static analyzer that hunts real correctness and async-safety bugs in Python code.