Mnehmos/llm-driven-proof-search documentation · Repowise