Al año siguiente, y gracias a un favorabilísimo informe del erudito ilustrado padre benedictino Martín Sarmiento, pasó a la Biblioteca de El Escorial para formar el catálogo de códices árabes, en lo que fue ayudado por Manuel Martínez Pingarrón y el hebraísta José Rodríguez de Castro (1739 - 1789); la obra, patrocinada por Mayáns, fue publicada por Antonio Pérez de Soto, impresor madrileño que entre 1760 y 1775 realizó las primeras obras de tipografía árabe del arabismo español.