Automated security analysis toolkit orchestrating multi-tool checks with Docker isolation and centralized reporting for MCP implementations.

Powerful MCP server for managing and serving programming guidelines with markdown rules, flexible storage, and category-based organization.

Summarizes chat messages with queryable results; supports prompts, local chat.db, and Claude Desktop integration for quick deployment.

A comprehensive CLI to organize Claude App components with discovery, auto-install, and interactive configuration for streamlined setup.

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.

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.

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