该项目旨在开发一个 PyCharm 插件，在静态分析无法推导出 Python 变量的类型时，用机器学习推导出这些类型。