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

Notion API integration for Claude to read, update, and manage Notion workspaces with rich block and database operations.

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

Deep Jira Cloud integration enabling AI assistants to search, create, and analyze issues with rich configurations and workflows.

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