GitHub repository: rhpco/library-registry
Description: Arduino Library Manager list