Here you can search libraries via Type and Topic, and once you find the one you want, select the version and click on Install ...

The project, called arduino-cli, is the first time that the official toolchain has departed from the Java-based editor known as the Arduino IDE ... can do things like install and manage libraries.