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