Mirror of https://github.com/dillip285/mcp-dev-server

Mirror of https://github.com/PolarVista/Xcode-mcp-server

Mirror of https://github.com/QuantGeekDev/docker-mcp

Mirror of https://github.com/wrale/mcp-server-make

Mirror of https://github.com/sammcj/mcp-package-version

Mirror of https://github.com/adamwattis/mcp-proxy-server

Mirror of https://github.com/loglmhq/mcp-server-prometheus

Mirror of https://github.com/emiryasar/mcp_code_analyzer

Mirror of https://github.com/kaichen/mcp-config-editor

Python-based daemon to orchestrate Model Context Protocol engines with Docker packaging and multi-instance control.

Modular, plugin-driven Python toolkit to orchestrate context-aware workflows with clean integration and scalable inter-component communication.

Spinnaker-integrated AI-driven deployment decisions with proactive remediation and context-aware automation.

Generates customizable context environments with automated file creation, tool management, and robust debugging for rapid development workflows.

In this project, we will explore how the problem of the Multiple Couriers Planning (MCP) is modeled and discuss various approaches to address it: Constraint Programming (CP), Satisfiability Modulo Theories (SMT) and Mixed-Integer Linear Programming (MIP).