lean_agent/__init__.py,sha256=kUR5RAFc7HCeiqdlX36dZOHkUI5wI6V_43RpEcD8b-0,22
lean_agent/cli.py,sha256=xCApHdaxnCgaXU-_e0HqEsHpzdUpMnXRaHF-pMSdUDo,7624
lean_agent/prompts/analyze.md,sha256=wRuQOdz63MPDFNOf7uVFMwEBgcq-lPfQ3GniVnZvl04,9952
lean_agent/prompts/formalize.md,sha256=NW26eDpl6VE7UX2u94ICQAwe7jPC4ap73bBbBGEf6pg,4204
lean_agent/prompts/loop.md,sha256=IQ_9BKYBtnCnb-6hkGMTIJZra61Q8SrV7Y2wcthcsz8,10802
lean_agent/prompts/metric.md,sha256=OIQy-OCdxzc0Mdp7McdaRts6hvxsgBgmLNe8_nSfNUg,12824
lean_agent/prompts/protocol.md,sha256=cJL2nIzgBDw9BEgipDC249Tj9T_mTA7LilWj2TgNJIE,4397
lean_agent-0.1.0.dist-info/METADATA,sha256=11sRvhgmwoSM0CwNFGgNuOVqrBmjyPPuPouOCRasSMk,15161
lean_agent-0.1.0.dist-info/WHEEL,sha256=QccIxa26bgl1E6uMy58deGWi-0aeIkkangHcxk2kWfw,87
lean_agent-0.1.0.dist-info/entry_points.txt,sha256=_fWzG2pk_efH6vb8E_tUcbld_iyDKZNLTaBK0Z_nQpM,51
lean_agent-0.1.0.dist-info/licenses/LICENSE,sha256=2PqQocGI-U4CnMQD8BelDVf71bqlfxZ7Ft0CQ2aE_oo,1067
lean_agent-0.1.0.dist-info/RECORD,,
