O projeto visa desenvolver um plug-in para o PyCharm que deduza os tipos de variáveis do Python através de aprendizado de máquina, em situações nas quais a análise estática não consegue derivá-los.