Minimal Model Context Protocol variant reproducing Claude Desktop JSON Schema validation bugs with complex unions.

A Noko-based integration enabling AI assistants to list, create, and filter time entries, projects, and users with safety-confirmed actions and convenient date presets.

TypeScript tool that auto-discovers, tracks, and manages SQLite databases across a workspace, with real-time monitoring, pooling, and cross-database operations.

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