Run mypy and pyright over millions of lines of code - View it on GitHub