mcp-solver
mcp-serverStable
Model Context Protocol (MCP) server for constraint optimization and solving"
Stars
174
Δ stars 7d
+0
Δ stars 30d
—
Forks
24
Contributors
1
npm DL / wk
—
PyPI DL / wk
—
Language
Python
Last push
2025-09-13
About mcp-solver
A Model Context Protocol (MCP) server that exposes constraint solving, SAT, SMT, and ASP capabilities to Large Language Models. The *MCP Solver* integrates constraint solving, SAT, SMT, and ASP with LLMs through the Model Context Protocol, enabling AI models to interactively create, edit, and solve: For a detailed description of the *MCP Solver's* system architecture and theoretical foundations, see the accompanying research paper: Stefan Szeider, "Bridging Language Models and Symbolic Solvers via the Model Context Protocol", SAT 2025.
Read the full README on GitHub →
Growth score: 0/100 week of 2026-06-29
Signal history
| Week | Score | Δ★ | Signal |
|---|---|---|---|
| 2026-06-29 | 0 | +0 | Stable |
| 2026-06-15 | 0 | +0 | Stable |
mcp-solver alternatives
Projects in the same category, closest in size — picked by data, not opinion.
See all mcp-server projects ranked by growth →
More from szeider
Frequently asked questions
- Is mcp-solver still maintained?
- Activity is low: the last push was on 2025-09-13 (300 days before our latest snapshot).
- Is mcp-solver growing?
- It is stable this week, with a growth score of 0/100. See the weekly history above.
- What are the best mcp-solver alternatives?
- Closest by category and size in our data: Funplay Unity MCP, AgentQL MCP Server, QuantGeekDev/mongo-mcp — full list with live signals above.
Embed this badge
Show your project's live signal in your README — it updates weekly with the data.
Tracked since 2026-06-20 · data as of 2026-07-10 · 4 open issues · 0 releases