Merge pull request #60 from szeider/main

michaellatman · Dec 16, 2024 · f75e89b · f75e89b
2 parents bee5042 + 3c97c9a
commit f75e89b
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/packages/package-list.json b/packages/package-list.json
@@ -1,4 +1,13 @@
-[
+  [ 
+  {
+    "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",