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

「開発者ツール」の他のコンテンツ

Firma.dev Cheap E-Signature API

Firma-esign

Firma.dev Cheap E-Signature API is a remote MCP server available at https://docs.firma.dev.

Casefile

azimov777

One case file per task — shared by every session, agent and person that touches it. Self-hosted MCP server and live board. MIT.

Ramen

bkraad47

Multi-zone MCP server for GKE/EKS/AKS: Python tools from git, NeMo guardrails, SSO, autoscaling.

Vibgrate MCP

Vibgrate

Query your team's drift, vulnerability, and migration data from any AI assistant. Vibgrate MCP connects Cursor, Claude, ChatGPT, Windsurf, or VS Code to Vibgrate Cloud: 51 tools for DriftScores, CVEs and EOL runtimes, up

Yocoolab

MCP server for AI Agents — exposes Yocoolab feedback threads and design selections as tools