mcp_rocq/__init__.py,sha256=Cl7fO5vwdfhg7fddlhqhK270NwlRa4uPfAqDWsyXkVw,79
mcp_rocq/__main__.py,sha256=1fPRpvLX_-W-sbVrkrhoWaRMxIHO21-KazvwRFNxnfA,607
mcp_rocq/cli.py,sha256=UXJTYPlji6Nbs-v76xEkXDLC3Zio6eefvLiYuUuZwSs,204
mcp_rocq/patch.py,sha256=smQbYiLPzbUWJc5n0KLjv5G4ksHfxrU-Gji0VR_DHO4,6358
mcp_rocq/server.py,sha256=WTcM4dKJeC9omjo36WsNX2gA_Q8DA90CWrI_mUBqdu8,7330
mcp_rocq/handlers/__init__.py,sha256=WOOLlzAT6GlBBeEx9I4UGBC7YMQshzLB6UUFHoKVRxY,300
mcp_rocq/handlers/coq_session.py,sha256=TIYD2Wrz2BBQOFjRhjdtuhp8mgdCMfpbWv8I_y1jOaQ,4368
mcp_rocq/handlers/inductive_types.py,sha256=iH3QG2AO8z9uv4NI3DJbvYWoZVTMUoeh-eCppGUsk2c,2557
mcp_rocq/handlers/prover.py,sha256=wx15CSckY2I0K7pIIejDP4gsDurgOoDDPwB4sa4WQoY,3243
mcp_rocq/handlers/type_checker.py,sha256=Isdj5xjQ1Et22IFxesTWfYj-qDkGACMbVxJ934ikcU8,1768
mcp_rocq/parsers/xml_parser.py,sha256=IVyaQqczouUPFZeVqyIa_COwg4Ill7DKzF3_YowICEg,1377
iflow_mcp_angrysky56_mcp_rocq-0.1.0.dist-info/METADATA,sha256=VVivhpoYRtX_2OLmDZg8ZT1c0C6QHHirF3bGf6DKKHg,237
iflow_mcp_angrysky56_mcp_rocq-0.1.0.dist-info/WHEEL,sha256=WLgqFyCfm_KASv4WHyYy0P3pM_m7J5L9k2skdKLirC8,87
iflow_mcp_angrysky56_mcp_rocq-0.1.0.dist-info/entry_points.txt,sha256=LvRGry9VOXjhrBPSaKUskxKE3RRCrn0FaSh6E7MVEA0,49
iflow_mcp_angrysky56_mcp_rocq-0.1.0.dist-info/licenses/LICENSE,sha256=frTcEaUl0xgNdX8RRsGhDWXunohd1fX-qaT7yGeiB_k,1074
iflow_mcp_angrysky56_mcp_rocq-0.1.0.dist-info/RECORD,,
