MCP-Logic

MIT License

Overview InspectNew Schema Related Servers Reviews Score

mcp-logic

Documents
.handoff_docs
src
tests
claude-app-config.json
.gitignore
LICENSE
pyproject.toml
README.md

{
  "app": {
    "version": "1"
  },
  "mcpServers": {
    "mcp-logic": {
      "command": "uv",
      "args": [
        "--directory",
        "F:/GithubRepos/repo-development/mcp-logic/src/mcp_logic",
        "run",
        "mcp_logic",
        "--prover-path",
        "F:/Prover9-Mace4/bin-win32"
      ]
    }
  }
}