mcp-solver
Rank #4195glama/szeider/mcp-solver
Solve complex logic/optimization problems using MiniZinc syntax.
mcp-solver is a Model Context Protocol (MCP) server published by szeider. It ranks #4195 of 58,832 servers tracked on MCP Toplist, and its repository has 170 GitHub stars. mcp-solver is listed across 3 registries — Glama, PulseMCP and mcp.so, and ships as a single rolling release with no explicit version metadata. It was first listed on Dec 14, 2024.
Ranks ahead of 54,637 of 58,832 servers on MCP Toplist.
Use mcp-solver
mcp-solver doesn’t publish a machine-readable install config. Follow the setup instructions in its repository ↗, or open one of its registry listings above.
Listed on 3 registries
szeider
Other servers by szeider
View all szeider servers →Not versioned
This server is published through registries that do not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.
Frequently asked questions
- What is mcp-solver?
- Solve complex logic/optimization problems using MiniZinc syntax.
- Who maintains mcp-solver?
- mcp-solver is maintained by szeider, which publishes 3 MCP servers (0 total versions) tracked on MCP Toplist.
- Is mcp-solver an official MCP server?
- mcp-solver is not on the Official MCP Registry. It is listed on Glama, PulseMCP and mcp.so.
- How many versions does mcp-solver have?
- mcp-solver ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for mcp-solver?
- The source code for mcp-solver is hosted at github.com/szeider/mcp-solver.