The project aims to develop a PyCharm plugin that infers types of Python variables with ML where static analysis cannot derive them.