SERVER
mcp-solver
Rank #2,286glama/szeider/mcp-solver
Solve complex logic/optimization problems using MiniZinc syntax.
First listed
Dec 14, 2024
Last publish date
—
OVERVIEW
mcp-solver is a Model Context Protocol (MCP) server published by szeider. It ranks #2,286 of 76,851 servers tracked on MCP Toplist, and its repository has 175 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.
STANDING
#2,286of 76,851 tracked serversTop 5%
Ranks ahead of 74,565 of 76,851 servers on MCP Toplist.
Recent momentum
+13GitHub stars since Apr 27 (+8%)
REGISTRIES
Listed on 1 registry (2 delisted)
ORGANIZATION
szeider
MORE FROM THIS PUBLISHER
Other servers by szeider
View all szeider servers →VERSIONS
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.
FAQ
Frequently asked questions
- Who maintains mcp-solver?
- mcp-solver is maintained by szeider, which publishes 3 MCP servers (1 total version) tracked on MCP Toplist.
- Is mcp-solver listed on the Official MCP Registry?
- 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.
EXPLORE