Is the mcp-solver MCP server actively maintained?

The mcp-solver MCP server was last committed 2mo ago and has 1 contributor. Issue health: 60% of issues resolved. AgentRank freshness score reflects real-time maintenance activity.

mcp-solver MCP Server

Name: szeider/mcp-solver
Rating: 3.0 (1 reviews)
Author: szeider

szeider/mcp-solver

Score: 49.3 Rank #20661 MCP Server

[![AgentRank](https://agentrank-ai.com/api/v1/badge/szeider--mcp-solver)](https://agentrank-ai.com/tool/szeider--mcp-solver/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)

Are you the maintainer of szeider/mcp-solver? Claim this listing →

Model Context Protocol (MCP) server for constraint optimization and solving"

Add AgentRank to Claude Code Discover and compare tools like szeider/mcp-solver — your AI finds the right one automatically

Get API Access →

claude mcp add agentrank -- npx -y agentrank-mcp-server

Overview

szeider/mcp-solver is a Python MCP server licensed under MIT. Model Context Protocol (MCP) server for constraint optimization and solving"

Ranked #20661 out of 24846 indexed tools.

Ecosystem

Python MIT 145 weekly downloads

Score Breakdown

Stars 15% 185

185 stars → growing community

Freshness 25% 2mo ago

Last commit 2mo ago → moderate activity

Issue Health 25% 60%

6/10 issues closed → decent issue management

Contributors 10% 1

1 contributor → solo project

Dependents 25% 0

No dependents → no downstream usage

npm Downloads N/A

PyPI Downloads N/A

Forks 23

Description Good

License MIT

Weights: Freshness 20% · Issue Health 20% · Dependents 22% · Stars 10% · Contributors 8% · How we score →

How to Improve

Description low impact

Expand your description to 150+ characters for better discoverability

Freshness high impact

Last commit was 86 days ago — a recent commit would boost your freshness score

Contributors medium impact

Single-contributor projects carry bus-factor risk — welcoming contributors boosts confidence

Badge all embed codes →

Markdown

[![AgentRank](https://agentrank-ai.com/api/v1/badge/szeider--mcp-solver)](https://agentrank-ai.com/tool/szeider--mcp-solver/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge)

HTML

<a href="https://agentrank-ai.com/tool/szeider--mcp-solver/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge"><img src="https://agentrank-ai.com/api/v1/badge/szeider--mcp-solver" alt="AgentRank"></a>

Embed Widget docs →

HTML

<script src="https://agentrank-ai.com/embed.js" data-tool="szeider/mcp-solver"></script>

Details

Stars: 185
Forks: 23
Open Issues: 4
Closed Issues: 6
Contributors: 1
Dependents: —
Language: Python
License: MIT
Last Commit: 2mo ago

Matched Queries

"mcp server""mcp-server""model context protocol""model-context-protocol"

From the README

# MCP Solver

 

An MCP server for constraint solving (SAT, MaxSAT, SMT, CP, ASP, DP). It turns
the connected LLM host into a solver-writing agent: the host gets a Python
kernel preloaded with a real solver library, modeling instructions for the
chosen backend, and a submission gate. The host encodes the problem, runs
and verifies it against the real solver, and submits the final program —
the outcome is the solution plus the verified solver program that produced
it.

> **Version 4 is a complete re-architecture.** Both the MCP interface and the
> solving engine changed; the design from the SAT 2025 paper (v3) lives on
> unchanged on the
> [`v3`](https://github.com/szeider/mcp-solver/tree/v3) branch.
> See [From v3 to v4](#from-v3-to-v4-a-new-architecture) below.

## The MCP server

`mcp-solver-serve` runs over stdio and works with any MCP host: Claude
Desktop, Claude Code, Cursor, or your own client. The host LLM does the
solving itself — the server is a solver toolkit; it runs no LLM

Read full README on GitHub →