USolver by sdiehl
28 score
A best-effort universal logic and numerical solver interface using MCP that implements the 'LLM sandwich' model to process queries, call dedicated solvers (ortools, cvxpy, z3), and verbalize results.
Ranked #2422 out of 4710 indexed tools.
Is this your tool? Claim this listing to add maintainer context, get a verified badge, and unlock analytics.
Claim listing → Signal Breakdown
Installs 350
Freshness 2mo ago
Issue Health 0%
Stars 65
Platform Breadth 1 platform
Contributors 2
Description Detailed
How to Improve
Freshness high impact
Issue Health high impact
Platforms medium impact
Badge
[](https://agentrank-ai.com/skill/glama-sdiehl--usolver/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge) <a href="https://agentrank-ai.com/skill/glama-sdiehl--usolver/?utm_source=badge&utm_medium=readme&utm_campaign=agentrank_badge"><img src="https://agentrank-ai.com/api/badge/skill/glama-sdiehl--usolver" alt="AgentRank"></a> Supported Platforms
From the README
<p align="center">
</p>
# USolver
A Model Context Protocol server that exposes tools for solving combinatorial, convex, integer programming, and non-linear optimization problems. Exposes interfaces to the following solvers:
* [`highs`](https://highs.dev/) - Linear and mixed-integer programming solver
* [`ortools`](https://developers.google.com/optimization) - Combinatorial optimization solver
* [`cvxpy`](https://www.cvxpy.org/) - Convex optimization solver
* [`z3`](https://github.com/Z3Prover/z3) - SMT solver over booleans, integers, reals, and strings
To install run the `install.py` script. This will install the MPC server for Claude Desktop and/or Cursor.
```shell
uv run install.py
```
Then open Claude or Cursor and you should see the MCP tool `usolver` available in the tool list.
## Examples
To run the individual solver examples you can invoke the individual example modules. Each module contains a docstring which can be used to prompt the language model to solve the pro Read full README on GitHub →