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