Descrição
Verifique código Python em busca de erros de tipo, imports ausentes, incompatibilidades de API e diagnósticos úteis para editores sem executar o programa. Isso ajuda desenvolvedores a encontrar erros mais cedo em projetos Python tipados ou gradualmente tipados.
A verificação de tipos lê código-fonte e configuração, mas não prova comportamento em execução. Revise supressões e configurações do projeto para não esconder problemas reais.