MCP-RoCQ

[project] name = "mcp_rocq" version = "0.1.0" description = "MCP server for advanced logical reasoning using Coq" requires-python = ">=3.12" dependencies = [ "mcp>=1.0.0", "pydantic>=2.0.0" ] [project.scripts] mcp_rocq = "mcp_rocq.server:cli" [build-system] requires = ["hatchling"] build-backend = "hatchling.build" [tool.hatch.build.targets.wheel] packages = ["src/mcp_rocq"] [tool.pytest.ini_options] testpaths = ["tests"]