El proyecto pretende desarrollar un complemento de PyCharm que infiera los tipos de variables de Python con ML cuando el análisis estático no pueda derivarlos.