mcp-solver

mcp-solver

79
developer_tools

The MCP Solver is a server aimed at integrating SAT, SMT, and constraint solving with large language models using the Model Context Protocol. It offers interactive capabilities for creating, editing, and solving models with three different operational modes. This includes extensive support for various problem-solving backends and a test client for experiments.

clear_model

Clear all items in the model

add_item

Add new items at the specified index

delete_item delete_item

Delete items at the specified index

replace_item

Replace the item at the specified index

get_model

Get the current model content (numbered items)

solve_model solve_model

Solve the model (with timeout parameters)