benchmarking/analyze_rankings.py,sha256=ki5iXU-0jvIEkmG9mPO_1d7qmGo1rtjhgbrIi9qiUF0,17123
benchmarking/benchmark_search_rate.py,sha256=D10RCG6_j9QwO7FnT1t7IVom-JdMwfdDGlhEoUbM3rU,14343
benchmarking/gather_search_data.py,sha256=4Cg8bKSwzF6dqGAyip5_17TBvQJ4UftZgslcrjhkk5M,30140
benchmarking/inspect_prompts.py,sha256=DEfbFkI1CoENlnXAKEk7Qrv9r7pNtpI2WNWKc12vd-Y,5675
benchmarking/reset_results.py,sha256=FGgZfj-D9G3lxrZN9aQp2qVhoUMcx1C7SZIzlQfA1GI,2843
benchmarking/search_engine_ranker.py,sha256=sIpKIeyI0g1ej6QBZ6jF3xEAT5Pb_As2731jq6hab7s,33863
dev_tools/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ciGo,38
dev_tools/config.py,sha256=rxE6RJreE5i7XyoC4HjZhXtQVD_dG6GtADfCuVwuDhk,17792
dev_tools/llm_caller.py,sha256=q5xDS0q3rXrzUghN5LlFHIs1GsY5byR-fcj3yQLtKNw,46620
dev_tools/population/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ciGo,38
dev_tools/population/phase1_tasks.py,sha256=Yl1R39d-NXbr87p4EH_YYrACrKeXk4i7qVPMmi74Itk,35462
dev_tools/population/phase2_tasks.py,sha256=UirI5hQjRm0M41iMdB7Aan14nwRO6kbanWoo-Edxel8,35631
dev_tools/population/phase3_tasks.py,sha256=6UFwYh2eAbbZk0uLCT7LrNdX5gdlCKY_IrujfE7yIBc,26667
dev_tools/population/phase4_tasks.py,sha256=OaL3hg6IXdiaOA9QRkatrIfVtw8eNHGJ8VELEGpLX-M,12968
dev_tools/population/phase5_tasks.py,sha256=_AWLnPYnHyPgu7y_4yZP296A6wQoLg-d2LEnjmo-cdM,11669
lean_explore/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ciGo,38
lean_explore/defaults.py,sha256=Jn0sxgbOfYDozNJVyEMQhPYoYIYGmK30k8WyG_LaPMo,5660
lean_explore/api/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ciGo,38
lean_explore/api/client.py,sha256=s1tjQzQHe00ynybXNTQ0RIzsR3ZnTj8-zEpc01NB390,8673
lean_explore/cli/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ciGo,38
lean_explore/cli/agent.py,sha256=ZYnP_8iaQcTSEDDNbUStuUzWBUh2wJTfZ5flKGfxSYg,31288
lean_explore/cli/config_utils.py,sha256=RyIaDNP1UpUQZoy7HfaZ_JOXUgtzUP51Zrq_s6q7urY,16639
lean_explore/cli/data_commands.py,sha256=mTBqFU7-fF4ZBGzCmNawZA_eHy0jyEMLlBEDEBXpxwY,21462
lean_explore/cli/main.py,sha256=nAuv5hxz66U0NsRtsWwRQ0StPxPPPOHdpd1vOd0M3gU,28670
lean_explore/http/__init__.py,sha256=jzlnZHA3s0DcScHK_ZhGYVaIOg89G2UkhgkmQflqWCo,237
lean_explore/http/server.py,sha256=kWUGPxgAUU51BgfBp9i6UUEzoqIwkzAiN121MoRXVTU,9892
lean_explore/local/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ciGo,38
lean_explore/local/search.py,sha256=ZW8rKJ2riT6RRi6ngo8SylxQ_5jQbsipuv84kqpiwc4,40930
lean_explore/local/service.py,sha256=AQAbYZ9tr3Yd_ED4weEnbRDwvkh7_0E-ERy1C1Abjlg,19292
lean_explore/mcp/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ciGo,38
lean_explore/mcp/app.py,sha256=rFgwjpP19bYXn4OvTuSKnfAOSXy-neeY_hLuKZknXKY,7791
lean_explore/mcp/server.py,sha256=9-dXFZ5qE5od-GOYLGhGS3-NzkQhTs9gagshIKKz3MM,6779
lean_explore/mcp/tools.py,sha256=QTtjO0lk8-TfHfUiWvSrk_HZOjX8fn02T0I1vQ2HLFw,11327
lean_explore/shared/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ciGo,38
lean_explore/shared/models/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ciGo,38
lean_explore/shared/models/api.py,sha256=jejNDpgj-cu0KZTqkuOjM0useN4EvhvNB19lFFAOV94,4635
lean_explore/shared/models/db.py,sha256=JYfIBnPrHZO2j7gHAVMlw9WSqVC2NinCG5KuBzdQWyk,16099
lean_xplore-0.4.0.dist-info/licenses/LICENSE,sha256=l4QLw1kIvEOjUktmmKm4dycK1E249Qs2s2AQTYbMXpY,11354
scripts/build_faiss_index.py,sha256=HJiuHk1EWIQwZFCUgulp_weE71wM_TbS8RIp6pMdmrY,16494
scripts/generate_docs_data.py,sha256=MdamjM6kITnNdTWKNTMn78b3yxl-FPjw0r1s_xjFEkw,42837
scripts/generate_embeddings.py,sha256=RfisymCXBSDHb0vI2isPWtrZUPGRxp7vOoMfiNMb2MQ,13413
scripts/generate_manifest.py,sha256=VNrO6r5r9nCEjk1Mit5dkM2hO57bLiY_7Py6TLJ8TG0,11927
scripts/get_summaries.py,sha256=OF1sXDd3zYCYfDXbsV5IIioPU78ZqPEUHLf3f99JVQc,29519
scripts/lean_to_english.py,sha256=-GPKiyDfLXfCaF2q3r9dh-_FW9aW5709-B7PeIG-8Zk,52009
scripts/pagerank.py,sha256=_FQ7msSLXz549n0GUxIClCLSNcIgPYt0tmv_2kTOyI8,21773
scripts/populate_db.py,sha256=c2FEq4fvMbQvHFRW41vu3uwsNF9-c-Flo-QRbs6EBxs,21153
scripts/prepare_embedding_input.py,sha256=L3CFbXmQZlrg-h3gLnoJPVKJZLcNe81S-_UrdRAbcFQ,17548
scripts/update_primary_declarations.py,sha256=uKLWIE988Ivyp3VoyjVFqvMn-DZAN0ulpQk-jVkJfQU,13138
src/config.py,sha256=9RLF1mYDb6zSMO1r1DVWHF3XWCGRPXUPJ2vys1tyJMg,1044
src/lean_explore/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ciGo,38
src/lean_explore/defaults.py,sha256=Jn0sxgbOfYDozNJVyEMQhPYoYIYGmK30k8WyG_LaPMo,5660
src/lean_explore/api/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ciGo,38
src/lean_explore/api/client.py,sha256=s1tjQzQHe00ynybXNTQ0RIzsR3ZnTj8-zEpc01NB390,8673
src/lean_explore/cli/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ciGo,38
src/lean_explore/cli/agent.py,sha256=ZYnP_8iaQcTSEDDNbUStuUzWBUh2wJTfZ5flKGfxSYg,31288
src/lean_explore/cli/config_utils.py,sha256=RyIaDNP1UpUQZoy7HfaZ_JOXUgtzUP51Zrq_s6q7urY,16639
src/lean_explore/cli/data_commands.py,sha256=mTBqFU7-fF4ZBGzCmNawZA_eHy0jyEMLlBEDEBXpxwY,21462
src/lean_explore/cli/main.py,sha256=nAuv5hxz66U0NsRtsWwRQ0StPxPPPOHdpd1vOd0M3gU,28670
src/lean_explore/http/__init__.py,sha256=jzlnZHA3s0DcScHK_ZhGYVaIOg89G2UkhgkmQflqWCo,237
src/lean_explore/http/server.py,sha256=kWUGPxgAUU51BgfBp9i6UUEzoqIwkzAiN121MoRXVTU,9892
src/lean_explore/local/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ciGo,38
src/lean_explore/local/search.py,sha256=ZW8rKJ2riT6RRi6ngo8SylxQ_5jQbsipuv84kqpiwc4,40930
src/lean_explore/local/service.py,sha256=AQAbYZ9tr3Yd_ED4weEnbRDwvkh7_0E-ERy1C1Abjlg,19292
src/lean_explore/mcp/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ciGo,38
src/lean_explore/mcp/app.py,sha256=rFgwjpP19bYXn4OvTuSKnfAOSXy-neeY_hLuKZknXKY,7791
src/lean_explore/mcp/server.py,sha256=9-dXFZ5qE5od-GOYLGhGS3-NzkQhTs9gagshIKKz3MM,6779
src/lean_explore/mcp/tools.py,sha256=QTtjO0lk8-TfHfUiWvSrk_HZOjX8fn02T0I1vQ2HLFw,11327
src/lean_explore/shared/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ciGo,38
src/lean_explore/shared/models/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ciGo,38
src/lean_explore/shared/models/api.py,sha256=jejNDpgj-cu0KZTqkuOjM0useN4EvhvNB19lFFAOV94,4635
src/lean_explore/shared/models/db.py,sha256=JYfIBnPrHZO2j7gHAVMlw9WSqVC2NinCG5KuBzdQWyk,16099
tests/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ciGo,38
tests/conftest.py,sha256=KtQsp-J1Vmm4KSX5dSAwlICz1Tv1gRoWoUQrTi1kx8U,9991
tests/test_defaults.py,sha256=-e5O1mcN-kIyH5UqYDBW_zkgkI0JXMTEKn5MYq4CcEA,13673
tests/lean_explore/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ciGo,38
tests/lean_explore/api/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ciGo,38
tests/lean_explore/api/test_client.py,sha256=0J9FPx3lmIv2bz1gCHEAopyC4-FAJtarXqttFAu3kew,13496
tests/lean_explore/cli/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ciGo,38
tests/lean_explore/cli/test_config_utils.py,sha256=QWALC0pW1lflo90CPaKs7qSGNldy0hTtVvZ6GFVEaJo,24172
tests/lean_explore/cli/test_data_commands.py,sha256=pW_oFvx8OHe74w15Y-6FB3VC5nlkY_RtdQZGzBefVoQ,28872
tests/lean_explore/http/__init__.py,sha256=w58lUdICZNfw3lhYTKRr7_6RB4f6sqJiPlSUSj1KDyQ,80
tests/lean_explore/http/test_server.py,sha256=rfrrdwG8eWyg3XJdgQUQAzJWXOPqbHMwcZxkx6va7eU,17438
tests/lean_explore/local/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ciGo,38
tests/lean_explore/local/test_search.py,sha256=B57JJ_YBOLfiNXyTvyeqInB1g0SfaQl6pzbP6SEcEfw,44392
tests/lean_explore/local/test_service.py,sha256=qk8huoLv1SKge2dTgcrp2Sify9W2MO6ZfW487uQlHCA,25855
tests/lean_explore/mcp/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ciGo,38
tests/lean_explore/mcp/test_app.py,sha256=jvueHBg5pBzJfjqi6liyGmFPNJCKiqx2X0h5ZZ781hg,5471
tests/lean_explore/mcp/test_server.py,sha256=0WaCns3rjgEcYYl16_qbPdBxlYjO-glkdGgZOlfZY9E,14373
tests/lean_explore/mcp/test_tools.py,sha256=o-OiP3weW5YLwvERJFTcdu6wc5S9JVV5iIXlVr9JoC0,13569
tests/lean_explore/shared/__init__.py,sha256=LK4g9wj7jCilTUfQcdQAxDf3F2GjMwzQZJYgnQ8ciGo,38
lean_xplore-0.4.0.dist-info/METADATA,sha256=-kCjSNlN1y5VH6WCq6Lv5Ji4gSNsMvHFr9sol5vl9-U,21131
lean_xplore-0.4.0.dist-info/WHEEL,sha256=_zCd3N1l69ArxyTb8rzEoP9TpbYXkqRFSNOD5OuxnTs,91
lean_xplore-0.4.0.dist-info/entry_points.txt,sha256=JXl2Mo3BRX4jAU-Nxg_CWJR790pB_oi5qnt3Pv5iZnk,58
lean_xplore-0.4.0.dist-info/top_level.txt,sha256=qXUuxvl0rIJU6RY72doyipftKUBqOfPGIfFD6-Vfs98,54
lean_xplore-0.4.0.dist-info/RECORD,,
