What solvers does Mcp_constrained_optimization support?
It supports Z3 for constraint satisfaction, CVXPY for convex optimization, HiGHS for linear/mixed-integer programming, and OR-Tools for constraint programming.
@Sharmarajnish
Basic information
No overview available yet
Add this server to your MCP-compatible client using the configuration below.
{
"mcpServers": {
"MCP-Constrained-Optimization": {
"command": "python",
"args": [
"examples/nqueens.py"
]
}
}
}Tool list not available yet
This listing does not currently have a tool list to display. This does not mean the server has no tools; check its documentation for supported capabilities.
We auto-extract tools from the README. The maintainer can list them under a ## Tools heading to populate this section.
Mcp_constrained_optimization is a general-purpose MCP server for solving combinatorial optimization problems with logical and numerical constraints. It provides a unified interface to multiple optimization solvers, enabling AI assistants to handle complex optimization across various domains.
Install via pip install constrained-opt-mcp, then start the server with constrained-opt-mcp. Add it to your MCP client configuration using the command constrained-opt-mcp with no arguments. The server exposes five tools: solve_constraint_satisfaction, solve_convex_optimization, solve_linear_programming, solve_constraint_programming, and solve_portfolio_optimization.
It supports Z3 for constraint satisfaction, CVXPY for convex optimization, HiGHS for linear/mixed-integer programming, and OR-Tools for constraint programming.
Install via pip: `pip install constrained-opt-mcp`. You can also clone the repository and run `pip install -e .` from the source directory.
The server handles linear programming, quadratic programming, convex optimization, constraint satisfaction problems, and portfolio optimization.
Yes, it is purpose-built for use with AI assistants through the Model Context Protocol (MCP).
It is licensed under the Apache License 2.0.
MCP Toolbox for Databases is an open source MCP server for databases.

Health by Dr Brad works out a health plan from your own results: which screening is due at your age, and evidence-based suggestions, each with the reason and the published guideline or study behind it. Your record is one

A free remote MCP server for The Living Bread. Bible passages read word for word from a stored public domain text with an evidence label, keyword search and cross references, real churches, gatherings and prayer groups w
๐ The fast, Pythonic way to build MCP servers and clients.
Free moving quotes for AI agents from Next Generation Movers, a licensed interstate mover (USDOT 3764697). US long-distance nationwide and local DC/MD/VA. Indicative ballpark price and booking options; optional $0.01 x40
Comments