Gurddy MCP Server

@novvoo

代码仓库

基本信息

分类

开发工具

传输方式

stdio

作者

novvoo

提交者

novvoo

关于 Gurddy MCP Server

A Model Context Protocol (MCP) server providing solutions for Constraint Satisfaction Problems (CSP) and Linear Programming (LP). Built on the gurddy optimization library, it supports solving a variety of classic problems through two MCP transports: stdio (for IDE integration) an

#csp#lp#optimization

Gurddy MCP Server 配置

使用下面的配置,将此服务器添加到你的 MCP 客户端。

{
  "mcpServers": {
    "gurddy": {
      "command": "uvx",
      "args": [
        "gurddy-mcp@latest"
      ],
      "env": {},
      "disabled": false,
      "autoApprove": [
        "run_example",
        "info",
        "install",
        "solve_n_queens",
        "solve_sudoku",
        "solve_graph_coloring",
        "solve_map_coloring",
        "solve_lp",
        "solve_production_planning"
      ]
    }
  }
}

Gurddy MCP Server 工具

工具列表暂未提供

当前收录暂时没有可展示的工具列表，不代表服务没有工具。请查阅项目文档了解支持的能力。

点击上方按钮,在临时沙箱中运行此服务器并实时获取工具列表。

概览

What is Gurddy?

Gurddy is an MCP (Model Context Protocol) server that solves Constraint Satisfaction Problems (CSP), Linear Programming (LP), and Minimax optimization problems using the gurddy library. It provides 13 MCP tools over stdio (for IDE integration) and HTTP/SSE transports (for web clients), and is intended for developers and AI assistants needing optimization capabilities.

How to use Gurddy?

Install via pip install gurddy_mcp, then configure the MCP server in your IDE (e.g., Kiro) using a JSON block with command "uvx" and args ["gurddy-mcp@latest"]. Alternatively, run the HTTP server via Docker with docker run -p 8080:8080 gurddy-mcp. Example MCP configuration is provided in the README.

Key features of Gurddy

CSP solving (N‑Queens, Sudoku, graph/map coloring, scheduling)
Linear and Mixed Integer Programming optimization
Minimax and game theory (zero‑sum games, Nash equilibria)
Robust optimization and conservative decision making
Stdio and HTTP/SSE transport support
13 dedicated MCP tools for various problem types

Use cases of Gurddy

Solve classic puzzles like N‑Queens or Sudoku automatically
Optimize production planning under resource constraints
Perform portfolio optimization with risk scenarios
Find optimal strategies in two‑player zero‑sum games
Allocate defender‑attacker resources in security games

常见问题

What types of problems can Gurddy solve?

Constraint Satisfaction Problems (CSP), Linear Programming (LP) and Mixed Integer Programming (MIP), and Minimax/game theory problems.

What transports does Gurddy support?

Stdio (for local IDE integration) and HTTP/SSE (for remote web clients).

How do I install Gurddy?

Install via `pip install gurddy_mcp`. For HTTP deployment, use the Docker image `gurddy-mcp`.

Is there a live demo available?

Yes, a live demo is hosted at https://gurddy-mcp.fly.dev (indicated by the badge in the README).

Does Gurddy require Python?

Yes, the server is a Python package and requires Python 3.8+ (the badge shows Python support).

开发工具分类下的更多 MCP 服务器

Machina

MCP server for Machina's x402-powered AI agent services. 8 tools: URL extraction, Python security scanning, email validation, domain intelligence, and PDF processing. Pay-per-call in USDC on Base — no subscriptions, no A

DB Planner

CNC Software Solutions

Read and edit DB Planner database schemas (DBML/SQL), Mermaid diagrams and board layouts from any MCP client. 38 tools, OAuth sign-in, read and write as separate scopes enforced server-side.