Description
Checks Python code for type problems and can provide language-server features for editors. It is useful for developers who want faster feedback while writing or reviewing typed Python projects.
This is a terminal and editor-integration tool. It reads project code and configuration, so use it inside trusted source trees and treat diagnostics as guidance that still needs developer judgment.