mathlas/__init__.py,sha256=iCdUyqCb78Pcb5GMi9mPsm2-m25d2NqPiBsS6cEjQUo,5393
mathlas/cli.py,sha256=QjpE8FbijUXXzM-DR_46puHTz-wBizfUqpnIVO8fHQk,9902
mathlas/embed.py,sha256=9it6uBRofR-5MxXGpoEhIqHqimprwUo0iKtdKd8LSFY,6372
mathlas/engine.py,sha256=MvM-RqVUdX7V20m2y5hu_WvlAbsljO_oaXwZDwy2E-c,3249
mathlas/formal_search.py,sha256=_H6_Pyw6l0jd9D9H9jpqxXhgM4ShsUPlskV0R_hsFno,15424
mathlas/funsearch.py,sha256=Ysktvkw_eVPFEtfERApHEzz_zEZXwnfc-XyBYPbslco,27540
mathlas/identify.py,sha256=nsAfjHSdSfNbEDx6WIMvHrXkrIXoJMHivf-ZOW3p7sQ,2018
mathlas/llm.py,sha256=IUGzG5VxzBEtm802SWchQ0AeVi_pEqQMA30CWCU5T8o,1849
mathlas/map.py,sha256=ipyIPvw20wOrBxOXoZKtN9iRIje48290iq5xiYaSCbw,14116
mathlas/provenance.py,sha256=3grx4hzxyGICCkVCinprqbZoEJuypOET6JwOC9zHNP4,2559
mathlas/ramanujan.py,sha256=NRxFBe7GaMPScH6na7N8DWnxV8TK8d54I_Sc1bWZa2I,22540
mathlas/sequence.py,sha256=zj005kFxV4YuHA_FnnXe0eUclREejSk8zVvzVFfXzf0,17049
mathlas/server.py,sha256=wmzRoDncaE12sAo_KoCHyB19oyXGhvhs3bHPvxEfVlY,91856
mathlas/solve.py,sha256=dcIxmiReexf77G49TWC_g1lcIezYGwqMJcQtIOQlFjc,5667
mathlas/verify.py,sha256=X1Y346Ss3vqJ844upQkaoduw5JjDBqBns3w7RRGD6qU,3792
mathlas/verify_apply.py,sha256=D-zKfQU5WrinooeeeBT9LGF4XUC0XEDtTiR7K3djG7M,36817
mathlas/webaug.py,sha256=tBRaybqRLzPwXgqaGLPH95BI1Ml4hPcYeWpf7uXAYGM,27399
mathlas/retrieve/__init__.py,sha256=_hYHNtOU7rrO06uZkSDI2OhLycVYx9fDSRgXNp7-cKo,1720
mathlas/retrieve/bm25.py,sha256=mUhGttTvlAmXuvsoprd8W7TfRxcUii05qTUFjR3r0CA,9515
mathlas/retrieve/corpus.py,sha256=0K-NVFAQvEEu6uGhnSmumvNRfQK0ONUO8ixu_zdGbLc,12271
mathlas/retrieve/hybrid.py,sha256=9eFrIOePiC3SITLW4o4kclUY0BQLablnCVwCJzRhQqg,41911
mathlas/retrieve/manual.py,sha256=_ejaAgs0N-GPiMGn-m84CSt2p243soP4qM_UeBV0zeI,651
mathlas/retrieve/quantized.py,sha256=XgT1ITPogLdhRv48Rcbr4DSn552BPVgOSlJlOtD4ERU,14345
mathlas/retrieve/rerank.py,sha256=3yzJMKKiVvRj5FATnqndzEl82hh0DG5R8JWhME9BnJA,9276
mathlas_mcp-1.4.0.dist-info/licenses/LICENSE,sha256=z8d0m5b2O9McPEK1xHG_dWgUBT6EfBDz6wA0F7xSPTA,11358
mathlas_mcp-1.4.0.dist-info/METADATA,sha256=WPXvVMTC8FsjebbvA68Ef5ZTGwwbm5PzQgRgFbjYF78,36744
mathlas_mcp-1.4.0.dist-info/WHEEL,sha256=aeYiig01lYGDzBgS8HxWXOg3uV61G9ijOsup-k9o1sk,91
mathlas_mcp-1.4.0.dist-info/entry_points.txt,sha256=72lmOn5y8i8_s9YwZSTNYkbdp-ePiaU1Ke3zEZXOtUc,79
mathlas_mcp-1.4.0.dist-info/top_level.txt,sha256=i4uBIyTQKfyxzrUmoQ49ZtffaFx5F9QQzPSATJJKU0U,8
mathlas_mcp-1.4.0.dist-info/RECORD,,
