mcp_rocq/__init__.py,sha256=Cl7fO5vwdfhg7fddlhqhK270NwlRa4uPfAqDWsyXkVw,79
mcp_rocq/__main__.py,sha256=OpWJ5DZvWgji3qcLudIaUi4eb6FTzmVM6tRmYrlcE9Y,700
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=0y8y9PdycrpHcU-im5TY0eWRZqywLDSJOa-r2S6UjIA,3751
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
mseep_mcp_rocq-0.1.1.dist-info/METADATA,sha256=cpwayagNs_ZwFo5Tiri1ANCijR5DHa-dIvsI9ofh6qQ,328
mseep_mcp_rocq-0.1.1.dist-info/WHEEL,sha256=qtCwoSJWgHk21S1Kb4ihdzI2rlJ1ZKaIurTj_ngOhyQ,87
mseep_mcp_rocq-0.1.1.dist-info/entry_points.txt,sha256=LvRGry9VOXjhrBPSaKUskxKE3RRCrn0FaSh6E7MVEA0,49
mseep_mcp_rocq-0.1.1.dist-info/licenses/LICENSE,sha256=frTcEaUl0xgNdX8RRsGhDWXunohd1fX-qaT7yGeiB_k,1074
mseep_mcp_rocq-0.1.1.dist-info/RECORD,,
