Metadata-Version: 2.4
Name: mseep-mcp_rocq
Version: 0.1.1
Summary: MCP server for advanced logical reasoning using Coq
Author-email: mseep <support@skydeck.ai>
License-File: LICENSE
Requires-Python: >=3.12
Requires-Dist: mcp>=1.0.0
Requires-Dist: pydantic>=2.0.0
Description-Content-Type: text/plain

Package managed by MseeP.ai