USolverBLOCK
A model context protocol server for solving combinatorial optimization problems with logical and numerical constraints.
Overview
From the repository's own README, as read at the audited commit. Badges and raw HTML are left out.
This project is no longer maintained.
I've moved on to working at OneChronos, so I'm no longer developing or supporting USolver. The repository has been archived and will remain available read-only for anyone who finds it useful.
If this kind of work interests you (combinatorial optimization, SMT/convex solvers, formal methods, language-model tooling for mathematical problems), OneChronos is hiring. Take a look at the careers page.
4c9ba4008193OBSERVED · 2026-10-07Connect
Built from this server's own package name, version and transport as found in its source — not copied from anyone's documentation, so it cannot drift against a page we do not control. Replace the environment placeholders with a token scoped to the least it needs.
claude mcp add usolver_mcp --env ANTHROPIC_API_KEY=${ANTHROPIC_API_KEY} -- uvx usolver_mcp{
"mcpServers": {
"usolver_mcp": {
"command": "uvx",
"args": [
"usolver_mcp"
],
"env": {
"ANTHROPIC_API_KEY": "${ANTHROPIC_API_KEY}"
}
}
}
}Exposed tools (7)
7 read · 0 write · 0 destructive.
| Tool | Risk | Description |
|---|---|---|
simple_cvxpy_solver | read | A simpler interface for solving CVXPY optimization problems. |
simple_highs_solver | read | A simplified interface for solving HiGHs linear programming problems. |
solve_cvxpy_problem | read | Solve a CVXPY optimization problem. |
solve_highs_problem | read | Solve a HiGHs linear/mixed-integer programming problem. |
solve_ortools_problem | read | Solve a constraint programming problem using Google OR-Tools. |
solve_z3 | read | Solve a Z3 constraint satisfaction problem. |
solve_z3_simple | read | Simplified interface for Z3 constraint problems. |
Trust audit
BLOCKgrade D · trust 61/100 Do not install this without reading the findings. The audit found something that could harm you or your machine.
| Layer | What it checks | Result |
|---|---|---|
| L0 | Provenance & inventory | PASS |
| L1 | Static analysis of the code | FAIL |
| L2 | Instruction surface (what it tells the agent) | PASS |
| L3 | Class-specific surface | PASS |
| L4 | Behavioural (sandbox) | SKIPPED |
What the source does
- Filesystem
- declared (2 observation(s))
- Network
- declared (2 observation(s))
- Shell
- declared (4 observation(s))
- Dependencies
- pinned
- Secrets in source
- none-found
Findings (9)
return eval(expr_str, {"__builtins__": {}}, local_dict)eval(constraint.expression, {"__builtins__": {}}, local_dict)obj_expr = eval(objective.expression, {"__builtins__": {}}, local_dict)z3_constraint = eval(constraint.expression, {"__builtins__": {}}, local_dict)ENV PATH="/root/.local/bin/:$PATH"
"/usr/local/bin/uv", # Manual install
flowsheet_data.xlsx
flowsheet_metadata.xlsx
.github/logo.png
Gates applied: no_behavioural_pass.
4c9ba4008193full audit observations/trust-audit/mcp-server/sdiehl__usolver.json · Report an issue / request a re-scanAudit history
Every audit this server has had. A grade with a past is a grade somebody is still checking.
| Date | Source | Verdict | Grade | Score | Change |
|---|---|---|---|---|---|
| 2026-10-07 | 4c9ba4008193 | BLOCK | D | 61 | first audit |
Questions
What is the USolver MCP server?
A model context protocol server for solving combinatorial optimization problems with logical and numerical constraints.
What tools does USolver expose?
7 in total: 7 read-only, 0 that write, and 0 that can delete or overwrite. Every one is listed on this page with its risk.
Is USolver safe to connect to an agent?
No — not without reading the findings first. The audit graded it D (61/100) and found 4 critical or high issues in the source. Each one is listed on this page with the file and line it is on.
What credentials does USolver need?
It reads ANTHROPIC_API_KEY from the environment. Give it a token scoped to the least it needs — an agent that can be talked into calling a tool can be talked into calling it with your credentials.
How current is this page?
The grade is for one exact copy of the source (4c9ba4008193), read on 2026-10-07. The repository is watched and re-audited when it changes.