dirindexer (pypi): Pure Python command line utility for efficiently indexing then searching a directory
Keywords: search|index|utility