Provides a unified interface to numerical, logical, and symbolic solvers, leveraging MCP for problem-solving.
Sponsored
USolver is a universal solver interface designed to tackle a wide array of problems using a combination of language models and efficient solvers. It employs the "LLM sandwich" model, interpreting queries with an LLM, calling specialized solvers (like ortools, cvxpy, and z3), and then verbalizing the results. This allows for chaining solver solutions together, enabling the resolution of complex multi-step problems. It's designed to be integrated with MCP, facilitating its use with tools like Claude Desktop and Cursor.
Key Features
015 GitHub stars
02Supports chained solver solutions for complex problems
03Leverages LLMs for query interpretation
04Unified interface for multiple solvers (ortools, cvxpy, z3)
05Integrates with MCP for use with Claude Desktop and Cursor
