chore: Install stub packages interactively
Mypy now only ships with type stubs for stdlib modules. To use third-party libraries that don’t include stubs, we need to explicitly install stub packages.
See: http://mypy-lang.blogspot.com/2021/06/mypy-0910-released.html