Das Projekt zielt darauf ab, ein PyCharm-Plugin zu entwickeln, das Typen von Python-Variablen mit ML herleitet, wenn die statische Analyse sie nicht ableiten kann.