@mistersql @simon Yeah, usually I install things like mypy on a per-project basis (e. g. as dev-dependencies).

As an added benefit it makes it easier to enforce processes across the whole team (and everybody uses the same version, which means less surprising non-reproducible bugs).