N/A

sdiehl/USolver

mcp agent Offline

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.

Scan Scheduled

This agent is queued for security scanning. It will be graded in the next scan batch.

What We Know