MCP Solver
by szeider
Model Context Protocol (MCP) server for constraint optimization and solving"
No known CVEs
MIT license
Maintained
Last commit 56d ago
Works with most clients
Transport: stdio, sse, http
6 tools · ~358 tok
Grade A · 0.2% of 200K ctx
MCPpedia last refreshed this data
MCP Solver is an MCP server that model Context Protocol (MCP) server for constraint optimization and solving". Its tool list has not been published yet over stdio, sse and http, requires no API key, and scores 72/100 on MCPpedia's security, maintenance and efficiency rubric.
Step 1
Install in your client
Config is the same across clients - only the file and path differ.
CD
Supported in Claude Desktopstdio, sse, http · Node 18+
Paste into ~/Library/Application Support/Claude/claude_desktop_config.json
{
"mcpServers": {
"mcp-solver": {
"args": [
"--from",
"mcp-solver[agent]",
"mcp-solver-serve"
],
"command": "uvx"
}
}
}Are you the author?
Add this badge to your README to show your security score and help users find safe servers.
Embed in your READMEAbout badges →
[](https://mcppedia.org/s/mcp-solver)
Read me
What Mcp Solver does
A Model Context Protocol (MCP) server that exposes constraint solving, SAT, SMT, and ASP capabilities to Large Language Models.
Test This Server
No automated test available for this server. Check the GitHub README for setup instructions.
Scored, not listed
Why this score
Five weighted categories - click any category to see the underlying evidence.
Score breakdown
72/100across 5 weighted dimensions
0255075100
17
10
20
15
10
−28
Security
Maintenance
Efficiency
Documentation
Compatibility
Categoriesclick a row to see evidence
Security
OSV.devNo known CVEs.
No package registry to scan.
Inventory
Tools (6)
Click any tool to inspect its schema.
~358 tokens total
Community
Reviews
Be the first to review
Have you used this server?
Share your experience - it helps other developers decide.
How easy was setup?Did it work reliably?How was the documentation?
Sign in to write a review.
Frequently Asked Questions
- Is Mcp Solver safe to use?
- Mcp Solver has no known CVEs as of the latest MCPpedia security scan. Authentication requirements were not detected automatically - check the project's documentation before connecting in a shared environment. Licensed under MIT.
- How do I install Mcp Solver?
- Mcp Solver supports copy-paste install configs on its MCPpedia page for Claude Desktop, Cursor, and Claude Code. Scroll to the Quick Install section and select your client.
- What can Mcp Solver do?
- Mcp Solver provides 6 tools: clear_model, add_item, delete_item, replace_item, get_model and 1 more. See the full tools list on the server page for descriptions and parameters.
- What AI clients work with Mcp Solver?
- Mcp Solver is compatible with claude-desktop, cursor, claude-code. It uses stdio and sse and http transport.
- Is Mcp Solver actively maintained?
- Mcp Solver is recently maintained - last commit was 56 days ago. It has 182 GitHub stars.
Related
Similar servers
Others in ai-ml / developer-tools
Supabase MCP Server96Manage Supabase projects — databases, auth, storage, and edge functions
2.9k 4
Modelcontextprotocol96The official MCP server implementation for the Perplexity API Platform
2.5k 4
G
Mcp Gitlab96MCP server for using the GitLab API
2.0k 12
I
io.github.mims-harvard/tooluniverse962,500+ scientific tools for AI scientists: life science, research, literature, and more.
1.7k 4
MCP Security Weekly
Get CVE alerts and security updates for Mcp Solver and similar servers.
Community
Discussion
Start a conversation
Ask a question, share a tip, or report an issue.
Has anyone used this with Cursor?How do you handle auth?Any alternatives?
Sign in to join the discussion.