Skip to main content
Glama
novvoo

Gurddy MCP Server

by novvoo
OverviewSchemaRelated ServersScoreDiscussions
Python
Hybrid

Related Servers

Alternatives to Gurddy MCP Server

No user-submitted related servers found.

    Related Servers

    • MCP Solver

      swesmith-repos
      A
      license
      -
      quality
      -
      maintenance
      An MCP server that enables Large Language Models to interactively create, edit, and solve constraint models using backends like MiniZinc, Z3, PySAT, and Clingo. It bridges natural language with symbolic reasoning for solving complex logical, SAT, SMT, and optimization problems.

    • Google OR-Tools server

      Jacck
      A
      license
      -
      quality
      D
      maintenance
      MCP-ORTools integrates Google's OR-Tools constraint programming solver with Large Language Models through the MCP, enabling AI models to: Submit and validate constraint models Set model parameters Solve constraint satisfaction and optimization problems Retrieve and analyze solution
      21
      MIT

    • mcp-solver

      szeider
      A
      license
      -
      quality
      A
      maintenance
      A Model Context Protocol (MCP) server that exposes MiniZinc constraint solving capabilities to Large Language Models.
      177
      MIT

    • minizinc-mcp

      r33drichards
      A
      license
      -
      quality
      D
      maintenance
      Enables solving constraint satisfaction and optimization problems using MiniZinc models via a single tool.
      4
      MIT

    • mcp-z3-prover

      daedalus
      A
      license
      A
      quality
      C
      maintenance
      MCP server exposing Z3 solver API for creating variables, adding constraints, and solving SMT problems with optimization support.
      11
      1
      MIT

    • SAGE

      pragnakar
      A
      license
      -
      quality
      D
      maintenance
      Enables Claude Desktop and MCP-compatible agents to formulate, solve, and certify mathematical optimization problems using production-grade open-source solvers, providing mathematically grounded decisions.
      MIT

    Latest Blog Posts

    MCP directory API

    We provide all the information about MCP servers via our MCP API.

    curl -X GET 'https://glama.ai/api/mcp/v1/servers/novvoo/gurddy-mcp'

    If you have feedback or need assistance with the MCP directory API, please join our Discord server