Mnehmos/llm-driven-proof-search code health · Repowise