Running mypy and managing importsThe mypy command lineThe mypy configuration fileInline configurationMypy daemon (mypy server)Using installed packagesExtending and integrating mypyAutomatic stub generation (stubgen)