Back to search
30
MCP

iflow-mcp_mcp_logic

pypi/iflow-mcp_mcp_logic

MCP server for logical reasoning using Prover9

Uptime
0.0%
2 probes
Response
0ms
last probe
Tools
0
callable
Primary URL
—

Similar MCP servers embedding-nearest

iflow-mcp_angrysky56_mcp_rocq
MCP server for advanced logical reasoning using Coq
0 tools
iflow-mcp_mcp-server-calculator
A Model Context Protocol server for calculating
0 tools
iflow-mcp_z3
Z3 Theorem Prover MCP Server
0 tools
iflow-mcp_sequential-thinking
A Sequential Thinking MCP Server for advanced problem solving
0 tools
iflow-mcp_logseq-mcp
MCP server for Logseq integration
0 tools
iflow-mcp_mitmproxy-mcp
A MCP server project
0 tools

How to use

Add to your Claude Desktop / Cursor / Cline MCP config:

{
  "mcpServers": {
    "iflow-mcp_mcp_logic": {
      "url": "None",
      "transport": "http"
    }
  }
}