ZoteGrep downloads the PDFs of your library, indexes every page, then lets you search inside all of them at once. You need a Zotero API key and your library ID. Everything stays on this computer.