MCP Servers by AI_Programming

"author:IA-Programming" matching MCP servers:

• Gurobi MCP

  KKonuru

  -

  security

  F

  license

  -

  quality

  Enables AI applications to solve optimization problems including linear programming, mixed-integer programming, and quadratic programming using the Gurobi solver installed on the local device.

  Last updated 5 months ago

• HiGHS MCP Server

  wspringer

  -

  security

  A

  license

  -

  quality

  Provides linear programming (LP), mixed-integer programming (MIP), and quadratic programming (QP) optimization capabilities using the HiGHS solver, enabling AI assistants to solve complex optimization problems like production planning, logistics, and portfolio optimization.

  Last updated 8 months ago

  6

  12

  MIT
• 

  MCP-Hyperskillofficial

  hyperskill

  -

  security

  F

  license

  -

  quality

  A FastMCP integration with Hyperskill that allows AI agents to explain programming topics and search for programming resources using Hyperskill's learning materials.

  Last updated 10 months ago

  1

• FxKit MCP Server

  taxfyle

  -

  security

  A

  license

  -

  quality

  Provides comprehensive documentation, code examples, and implementation assistance for the FxKit C# functional programming library. It enables AI models to search API references and access pre-configured prompts for functional patterns like Option, Result, and railway-oriented programming.

  Last updated 6 months ago

  3

  MIT

• Onyx Documentation MCP Server

  elias-michaias

  A

  security

  F

  license

  A

  quality

  Provides AI systems with access to Onyx programming language documentation through web crawling and intelligent search capabilities.

  Last updated 7 months ago

  10

• MCP Optimizer

  mrugankpednekar

  -

  security

  A

  license

  -

  quality

  Enables solving linear programming (LP) and mixed-integer linear programming (MILP) optimization problems through natural language, with built-in simplex and branch-and-cut solvers plus infeasibility diagnostics. Includes optional OR-Tools fallback for larger problems and supports parsing optimization problems from natural language descriptions.

  Last updated 3 months ago

  MIT