pyanalyze

By importing modules during checking, pyanalyze understands runtime behaviors and dynamic constructs that static checkers like mypy might miss, as highlighted in the README's emphasis on handling dynamic Python code.

Allows custom signatures to inspect function arguments, enabling validation of domain-specific logic such as SQL query safety, demonstrated in the README's example with database.run_query().

The `-f` flag provides an interactive prompt to examine and fix errors individually, streamlining debugging workflows directly from the command line.

Supports configuration via both command-line options and pyproject.toml files, easing integration into diverse development setups as documented in the configuration guide.