Metadata-Version: 2.4
Name: iflow-mcp_angrysky56_mcp_rocq
Version: 0.1.0
Summary: MCP server for advanced logical reasoning using Coq
License-File: LICENSE
Requires-Python: >=3.11
Requires-Dist: mcp>=1.0.0
Requires-Dist: pydantic>=2.0.0
