MCP Server
USolver
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.
65
GitHub Stars
6/24/2026
Last Updated
MCP Server Configuration
1{
2 "name": "sympy-mcp",
3 "command": "docker",
4 "args": [
5 "run",
6 "-i",
7 "-p",
8 "8081: 8081",
9 "--rm",
10 "ghcr.io/sdiehl/usolver:latest"
11 ]
12}
JSON12 lines
README Documentation
USolver
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.
Quick Install
Quick Actions
Key Features
Model Context Protocol
Secure Communication
Real-time Updates
Open Source