Descrição
Verifica problemas de tipos em código Python e pode oferecer recursos de servidor de linguagem para editores. É útil para desenvolvedores que querem retorno mais rápido ao escrever ou revisar projetos Python tipados.
É uma ferramenta de terminal e integração com editores. Ela lê código e configuração do projeto, então use em árvores de código confiáveis e trate diagnósticos como orientação que ainda precisa de julgamento do desenvolvedor.