The answer
Mathematical Programming Solver
Top verified match: it matches your intent, it is the official vendor server.
fresh · published 25d ago · verified 2026-07-11tested · static-verifiedsigned passport ✓score 47/100
Runners-up
- sublinear-time-solver54/100 · higher verification score, weaker intent match
- z3-solver-mcp-servernot yet verified8/100 · weaker match