folprover_mcp/__init__.py,sha256=73pK9nOzPjCMDvhg5BnkR3645F3NK6UbEdTKui9KbmM,96
folprover_mcp/fol_parser.py,sha256=lURaAUrgYH5oBonVAZ3tcwo8vr1PaHq7i2Z1p4hcs-g,6248
folprover_mcp/provers.py,sha256=RPChLesPSUh_hvZoSug2YCB03_OK5qqaa4o-SWXR3r8,17596
folprover_mcp/server.py,sha256=On6JqizmDrv6EFM89_u2uZvhaKZ7fBeD6fAnuP8uvow,19301
folprover_mcp/simple_prover.py,sha256=JvTY0znq5csONOcZPswhN8rmP8qVBE-1OoybcJdRVMQ,8334
folprover_mcp/tptp_converter.py,sha256=LFbgtWamAA5wXHi9WWeFJN3vWMe8sVTzmKExSbvKuUo,8214
folprover_mcp-0.1.0.dist-info/METADATA,sha256=3wT3bMDUllDbUemyK9HbrgKw8G5fxjRCbUZTIRWB9Ug,6677
folprover_mcp-0.1.0.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
folprover_mcp-0.1.0.dist-info/entry_points.txt,sha256=kgHJGK2OOWtuRF_afhgVkvNcEVZcSegFLZlAgFZWk3o,60
folprover_mcp-0.1.0.dist-info/licenses/LICENSE,sha256=fanntthB7SLmw0jZWa4WS_jUUeKE-o6ZM8o65hzsTE4,1065
folprover_mcp-0.1.0.dist-info/RECORD,,
