The Repowise wiki for Mnehmos/llm-driven-proof-search holds 381 pages, generated from the source rather than written by hand. That breaks down as 193 file pages, 175 symbol pages, 8 module pages. These are deterministic pages built from the parsed source. No AI explanations have been written for this repository.