Back to search
30
MCP

iflow-mcp_mcp-solver

pypi/iflow-mcp_mcp-solver

MCP server for Constraint, SAT, and SMT solving

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

Similar MCP servers embedding-nearest

mcp-solver
Model Context Protocol (MCP) server for constraint optimization and solving"
0 tools
iflow-mcp_mitmproxy-mcp
A MCP server project
0 tools
iflow-mcp_mcp-server-calculator
A Model Context Protocol server for calculating
0 tools
iflow-mcp_sequential-thinking
A Sequential Thinking MCP Server for advanced problem solving
0 tools
iflow-mcp_mcp_logic
MCP server for logical reasoning using Prover9
0 tools
iflow-mcp_subspace-lab-matlab-mcp-server
MCP server for MATLAB integration
0 tools

How to use

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

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