core/mypy.ini