ArduinoJson 7 is not in the Arduino Library Manager yet. To install it, you must either:

See also