mcp-solver

About mcp-solver

MCP Solver An MCP server for constraint solving (SAT, MaxSAT, SMT, CP, ASP, DP). It turns the connected LLM host into a solver-writing agent: the host gets a Python kernel preloaded with a real solver library, modeling instructions for the chosen backend, and a submission gate. The host encodes the problem, runs and verifies it against the real solver, and submits the final program — the outcome is the solution plus the verified solver program that produced it. Version 4 is a complete re-architecture.

Quick Facts

Compatible Skills

These tools work well together with mcp-solver for enhanced workflows:

• usolver — semantic(0.84)+same_lang+similar_pop+shared_platform (55%)
• mcp-server-12306 — semantic(0.68)+same_lang+similar_pop+shared_platform (54%)
• ContextPilot — semantic(0.16)+complementary+same_lang+similar_pop+shared_platform (51%)
• optim-agent — semantic(0.16)+complementary+same_lang+similar_pop+shared_platform (51%)
• bloodhound_mcp — semantic(0.69)+same_lang+similar_pop (49%)

More MCP Server Tools

Explore other popular mcp server tools:

• rea ⭐ 335.5k
• ECC ⭐ 283.7k
• n8n ⭐ 208.0k
• everything-claude-code ⭐ 186.4k
• dify ⭐ 158.9k
• open-webui ⭐ 156.2k
• cc-switch ⭐ 146.2k
• graphify ⭐ 127.2k
• browser-use ⭐ 118.3k
• gemini-cli ⭐ 107.5k

Popular Python Agent Tools

• hermes-agent ⭐ 255.2k · Codex Skill
• skills ⭐ 179.5k · Agent Tool
• dify ⭐ 158.9k · MCP Server
• open-webui ⭐ 156.2k · MCP Server
• langflow ⭐ 155.8k · Agent Tool

Frequently Asked Questions