From 0ddf33fa63041ecf406e18df546232ec27eecb4b Mon Sep 17 00:00:00 2001 From: Stefan Szeider Date: Sun, 15 Dec 2024 19:03:13 +0100 Subject: [PATCH 1/2] Update package-list.json The MCP Solver integrates MiniZinc constraint programming with LLMs through the Model Context Protocol, enabling AI models to: submit and validate constraint models, set model parameters, solve constraint satisfaction problems, and retrieve and analyze solutions. --- packages/package-list.json | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/packages/package-list.json b/packages/package-list.json index 93d8c97..1a908e7 100644 --- a/packages/package-list.json +++ b/packages/package-list.json @@ -1,4 +1,12 @@ -[ + [ { + "name": "mcp-solver", + "description": "MCP server for Constraint Solving and Optimization", + "vendor": "Stefan Szeider", + "sourceUrl": "https://github.com/szeider/mcp-solver", + "homepage": "https://github.com/szeider/mcp-solver", + "license": "MIT", + "runtime": "python" + } { "name": "@modelcontextprotocol/server-brave-search", "description": "MCP server for Brave Search API integration", From 3c97c9a7c758efee4f329ce59a4c58fb714ce970 Mon Sep 17 00:00:00 2001 From: Stefan Szeider Date: Mon, 16 Dec 2024 10:56:17 +0100 Subject: [PATCH 2/2] Update package-list.json --- packages/package-list.json | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/packages/package-list.json b/packages/package-list.json index 1a908e7..07f47da 100644 --- a/packages/package-list.json +++ b/packages/package-list.json @@ -1,4 +1,5 @@ - [ { + [ + { "name": "mcp-solver", "description": "MCP server for Constraint Solving and Optimization", "vendor": "Stefan Szeider", @@ -6,7 +7,7 @@ "homepage": "https://github.com/szeider/mcp-solver", "license": "MIT", "runtime": "python" - } + }, { "name": "@modelcontextprotocol/server-brave-search", "description": "MCP server for Brave Search API integration",