Gurddy

@novvoo

About Gurddy

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

Config

Add this server to your MCP-compatible client using the configuration below.

{
  "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"
      ]
    }
  }
}

Tools

No tools detected

Fetch the live tool list by running this server in a temporary sandbox using the button above.

Overview

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

FAQ from Gurddy

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).

Frequently asked questions

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).

Comments

Basic information

More Developer Tools MCP servers

SecondSim

econdSim provisions real UK mobile numbers (non-VoIP) via eSIM, built for freelancers, sole traders, small businesses, and enterprise teams. Unlike VoIP apps and virtual numbers, SecondSim numbers register as genuine phy

Hermoso

Hermoso is a remote MCP server that runs a full marketing operation from your agent: research competitor ads, generate image and video ads, publish to social channels, and build and manage paid campaigns. 718 tools (306

Apiosk

obcraft

AI-native payments for tools and APIs. Discover, pay for, execute, and publish monetized APIs directly from your agent, settled per call in USDC over x402, through the Model Context Protocol. payments · finance · x402 ·

Perfex CRM

themesic

Turn Perfex CRM into an AI-ready workspace. This MCP server exposes your full REST API to Claude, ChatGPT and any AI agent, so leads, invoices and tasks are one prompt away.

CodeSentinel

icohangar-ops

Codebase health as MCP tools: dead code, circular dependencies, coupling, architectural drift.