Protegido por Campomanes, que fue además discípulo suyo en el aprendizaje de esta lengua, imprimió su catálogo con el título de "Bibliotheca Arabico-Hispana Escurialensis" (Madrid 1760-70) en dos tomos; clasifica por temas y describe 1851 manuscritos árabes de la Biblioteca del Monasterio de San Lorenzo de El Escorial.