Another thought on this is being symmetric:
If I can do ide uninstall tool1 tool2 tool3 why cant I then also do ide install tool1 tool2 tool3.
What is to be considered is that we can also do ide install tool1 1.0.0 where 1.0.0 is not a tool but a version number.
Therefore I am not yet voting to do this but just thinking loud...
BTW: unless we have a stable release we can still change our CLI/API as much as we like. So we could also have it like
ide install tool1 -v 1.0.0 and to support the version only if a single tool is going to be installed to avoid problems such as ide install tool1 -v 1.0.0 tool2 tool3 -v 2.5.7 that could theoretically also be solved but would question our entire Property concept to a new level adding IMHO pointless complexity.