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

singlestore mcp server

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

MCP server implementation in Rust

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.

Visualization tool for contig-level viral integration and MCPV link plots from targeted capture sequencing.

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