"author:sdiehl" matching MCP servers:

• USolver

  sdiehl

  A

  license

  B

  quality

  F

  maintenance

  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.

  Last updated 2026-05-19

  7

  65

  Apache 2.0