Metadata-Version: 2.4
Name: iflow-mcp_mcp_logic
Version: 0.1.0
Summary: MCP server for logical reasoning using Prover9
License-File: LICENSE
Requires-Python: >=3.10
Requires-Dist: mcp>=1.0.0
Requires-Dist: pydantic>=2.0.0
