USolver is a Model Context Protocol (MCP) tool for solving optimization and constraint satisfaction problems using various solvers:

• Z3 Solver: Solve constraint satisfaction and optimization problems with boolean, integer, real, and string variables (e.g., logic puzzles, symbolic constraints)

• HiGHs Solver: Handle linear programming (LP) and mixed-integer programming (MIP) problems with support for dense/sparse matrices, various algorithms (simplex, interior point), and detailed solver options

• CVXPY Solver: Solve convex optimization problems with matrix operations and parameterized problems

• OR-Tools Solver: Address combinatorial optimization problems like scheduling, routing, and resource allocation using boolean, integer, and interval variables

USolver supports both detailed and simplified interfaces across various domains including finance, chemical engineering, transportation, and scheduling.

Used to format responses and queries, enabling structured presentation of mathematical problems, optimization constraints, and solution outputs in a readable format.

1. Click on "Install Server".

2. Wait a few minutes for the server to deploy. Once ready, it will show a "Started" state.

3. In the chat, type @ followed by the MCP server name and your instructions, e.g., "@USolver solve this logic puzzle about coins that can't make change"

That's it! The server will respond to your query, and you can continue using it as needed.

Here is a step-by-step guide with screenshots.