Mnehmos/llm-driven-proof-search is 2,459 source files holding 3,903 symbols across 13 modules, written mainly in json, markdown, lean. The largest module is ErdosProblems, with 1,541 files, and 2 files are entry points into the dependency graph.