I used to use qiqqa for local full text search of pdf library, I think the world has moved on to mendeley, and paperless(-ng) I believe performs the same function