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.

Where can I find the source code for mcp-solver?

The source code for mcp-solver is hosted at github.com/szeider/mcp-solver.

SERVER

mcp-solver

Rank #5,386

glama/szeider/mcp-solver

A Model Context Protocol (MCP) server that exposes MiniZinc constraint solving capabilities to Large Language Models.

Not versioned

180 GitHub stars

by szeider (3 servers)View repository ↗

First listed

Dec 14, 2024

Last publish date

—

OVERVIEW

mcp-solver is a Model Context Protocol (MCP) server published by szeider. It ranks #5,386 of 115,460 servers tracked on MCP Toplist, and its repository has 180 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

#5,386of 115,460 tracked serversTop 5%

Ranks ahead of 110,074 of 115,460 servers on MCP Toplist.

Recent momentum

+18GitHub stars since Apr 27 (+11%)

CONNECT

Use mcp-solver

No setupRuns out of the box

No credentials or required configuration declared — add it to your MCP client and go.

This server doesn't publish a machine-readable install config — see the repository README for install instructions.

BADGE

Show your rank

Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.

Markdown

[![MCP Toplist](https://mcptoplist.com/badge/glama%2Fszeider%2Fmcp-solver.svg)](https://mcptoplist.com/server/glama%2Fszeider%2Fmcp-solver)

HTML

<a href="https://mcptoplist.com/server/glama%2Fszeider%2Fmcp-solver"><img src="https://mcptoplist.com/badge/glama%2Fszeider%2Fmcp-solver.svg" alt="MCP Toplist: Top 5% of 115,460" /></a>

Variants: append ?metric=score or ?metric=stars to the image URL.

REGISTRIES

Listed on 1 registry (2 delisted)

Glama

PulseMCPDelisted · last seen Jun 4, 2026

mcp.soDelisted · last seen Jun 4, 2026

ORGANIZATION

szeider

Organization

szeider

Servers in org

Versions across org

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

All MCP Servers GitHub MCP Servers Best MCP Servers Most Active MCP Servers New MCP Servers Best New MCP Servers