mcp-solver

# Changelog --- ### [3.0.0] - 2025-03-28 - **Major Change:** Added PySAT mode and Z3 mode, expanding the supported constraint programming paradigms. - **Major Change:** Added a standalone test client for easier testing and demonstration. - **Major Change:** Lite mode is now the default mode. The additional tools have been removed from the default configuration. - **Update:** The server now advertises only a reduced set of tools by default (clear_model, add_item, replace_item, delete_item, and solve_model). ### [2.3.0] - 2025-02-28 - **New Feature:** Introduced Lite Mode for the MCP Solver. When run with the `--lite` flag, the server advertises only a reduced set of tools (clear_model, add_item, replace_item, delete_item, and solve_model). - **New Feature:** In Lite Mode, the `solve_model` tool returns only the status (and the solution if SAT) without additional metadata. - **New Feature:** Mode-specific instruction prompts are used: `instructions_prompt_mzn.md` for MiniZinc, `instructions_prompt_pysat.md` for PySAT, and `instructions_prompt_z3.md` for Z3. ### [2.2.0] - 2025-02-15 - **New Feature:** Integrated static prompt endpoints (`prompts/list` and `prompts/get`) to advertise MCP prompt templates ("quick_prompt" and "detailed_prompt") without requiring any arguments. - **New Feature:** Advertised detailed tool capabilities by adding descriptive metadata for each tool in the server's capabilities declaration. - **Improvement:** Enhanced error reporting for tool endpoints with improved logging and standardized error responses. - **Update:** Refactored server initialization to explicitly log the declared capabilities for greater transparency and easier debugging. ### [2.1.0] - 2025-02-09 - **Update:** Change minimum Python requirement to 3.11+ (to support `asyncio.timeout`). - **Update:** Bump dependency on `mcp` to version 1.2.0 or later. - **Improvement:** Update tool handler messages so that "delete_item" and "replace_item" commands correctly report the operation performed. - **Update:** Miscellaneous documentation and cleanup. ### [2.0.0] - 2024-12-29 - Major change: Use item-based editing. ### [1.0.0] - 2024-12-21 - Major change: Use line-based model editing. - Makes parameter handling obsolete. - Added dynamic knowledge base handling. ### [0.2.1] - 2024-12-16 - Changed parameter handling. ### [0.2.0] - 2024-12-15 - Initial release.