szeider/mcp-solver
mcp-solver is hosted online, so all tools can be tested directly either in theInspector tabor in theOnline Client.
If you are the rightful owner of mcp-solver and would like to certify it and/or have it hosted online, please leave a comment on the right or send an email to henry@mcphub.com.
A Model Context Protocol (MCP) server that exposes SAT, SMT, and constraint solving capabilities to Large Language Models.
Try mcp-solver with chat:
Tools
Functions exposed to the LLM to take actions
mcp-solver-mzn_clear_model
Remove all items from the minizinc model, effectively resetting it.
mcp-solver-mzn_add_item
Add new minizinc item to the model at a specific index (indices start at 0). Required parameters: 'index' and 'content'.
mcp-solver-mzn_replace_item
Replace an existing item in the minizinc model at a specified index with new content. Required parameters: 'index' and 'content'.
mcp-solver-mzn_delete_item
Delete an item from the minizinc model at the specified index. Required parameter: 'index'.
mcp-solver-mzn_get_model
Fetch the current content of the minizinc model, listing each item with its index.
mcp-solver-mzn_solve_model
Solve the current minizinc model with a timeout parameter. Required parameter: 'timeout'.
mcp-solver-pysat_clear_model
Remove all items from the PySAT Python model, effectively resetting it.
mcp-solver-pysat_add_item
Add new Python code to the PySAT model at a specific index (indices start at 0). Required parameters: 'index' and 'content'.
mcp-solver-pysat_replace_item
Replace an existing item in the PySAT Python model at a specified index with new content. Required parameters: 'index' and 'content'.
mcp-solver-pysat_delete_item
Delete an item from the PySAT Python model at the specified index. Required parameter: 'index'.
mcp-solver-pysat_get_model
Fetch the current content of the PySAT Python model, listing each item with its index.
mcp-solver-pysat_solve_model
Solve the current PySAT Python model with a timeout parameter. Required parameter: 'timeout'.
mcp-solver-maxsat_clear_model
Remove all items from the MaxSAT optimization model, effectively resetting it.
mcp-solver-maxsat_add_item
Add new Python code to the MaxSAT optimization model at a specific index (indices start at 0). Required parameters: 'index' and 'content'.
mcp-solver-maxsat_replace_item
Replace an existing item in the MaxSAT optimization model at a specified index with new content. Required parameters: 'index' and 'content'.
mcp-solver-maxsat_delete_item
Delete an item from the MaxSAT optimization model at the specified index. Required parameter: 'index'.
mcp-solver-maxsat_get_model
Fetch the current content of the MaxSAT optimization model, listing each item with its index.
mcp-solver-maxsat_solve_model
Solve the current MaxSAT optimization model with a timeout parameter. Required parameter: 'timeout'.
mcp-solver-z3_clear_model
Remove all items from the Z3 Python model, effectively resetting it.
mcp-solver-z3_add_item
Add new Python code to the Z3 model at a specific index (indices start at 0). Required parameters: 'index' and 'content'.
mcp-solver-z3_replace_item
Replace an existing item in the Z3 Python model at a specified index with new content. Required parameters: 'index' and 'content'.
mcp-solver-z3_delete_item
Delete an item from the Z3 Python model at the specified index. Required parameter: 'index'.
mcp-solver-z3_get_model
Fetch the current content of the Z3 Python model, listing each item with its index.
mcp-solver-z3_solve_model
Solve the current Z3 Python model with a timeout parameter. Required parameter: 'timeout'.
Prompts
Interactive templates invoked by user choice
mcp-solver-mzn_instructions
Instructions for using the MCP Solver
mcp-solver-pysat_instructions
Instructions for using the MCP Solver
mcp-solver-maxsat_instructions
Instructions for using the MCP Solver
mcp-solver-z3_instructions
Instructions for using the MCP Solver
Resources
Contextual data attached and managed by the client
