MCP Server Directory

Integrates the Coq proof assistant with natural language inputs to enable automated dependent type checking, inductive type definition, and property proving for formal verification and theorem proving tasks.

Integrates OpenAI and Mistral models for versatile language tasks via the Vercel AI SDK.

Retrieves image dimensions from URLs and local files with optional compression capabilities through the Tinify API for image analysis and processing tasks.

Enables breaking down complex tasks into manageable steps with queue-based planning and execution, maintaining context across conversations through structured task tracking and visual progress monitoring.

Enables AI agents in Antigravity to read, edit, execute, and orchestrate Jupyter notebooks with cell management, kernel control, and tag-based pipeline execution.

Parallel AI task execution system that spawns specialized AI agents with distinct roles to execute tasks concurrently.

Integrates with Autotask PSA platform for ticket management, company and contact operations, time tracking, and resource management with automatic name-to-ID lookups.

Connects AI assistants to Union's tasks, workflows, and apps, enabling access to distributed computing capabilities through customizable tools and resources.

Integrates with Python's difflib to generate unified diffs for efficient text comparison and version control tasks.

Coordinates multiple agents working on the same project by providing shared memory, task queuing with dependencies, and resource locking to prevent conflicts.

Implements Niklas Luhmann's Zettelkasten methodology with atomic note-taking, semantic linking types, and bidirectional connections for building emergent insights through interconnected knowledge networks rather than hierarchical organization.

Integrates with Zoho Projects API to manage projects, tasks, issues, milestones, and users across portals with OAuth authentication, multi-session support, and 20 specialized tools for project lifecycle management and workflow automation.

CLI tool for managing tasks in TaskChute Cloud 2 with MCP integration.

Integrates with Nostr to enable posting notes and interacting with relays, simplifying decentralized social network engagement and content publishing.

Integrates with OpenRouter's AI SDK to enable deep reasoning capabilities for complex analysis and inference tasks.

Unofficial Leapsome HR platform integration for reading performance reviews, goals, and meeting notes.

Multi-agent Claude orchestration that routes tasks by complexity across four tiers — from lightweight formatting to full strategic analysis.

Integrates with the Dart task management system to enable AI-driven project organization, document handling, and workflow automation through secure API interactions and Dartboard feature integration.

Integrates with Vikunja self-hosted task management to enable project and task operations including kanban boards, labels, comments, assignees, and bulk operations with safety controls for destructive actions.

Integrates with Agenda note-taking app on macOS to enable creating notes, managing projects, and opening existing notes using x-callback-urls.

Planka v2.x kanban board management with task lists, time tracking, and membership control.

Integrates with Zoom's API to enable scheduling meetings, managing participants, retrieving recordings, and automating administrative tasks through OAuth 2.0 authentication and structured tools.

Integrates with TickTick task management service to create, update, delete, and retrieve tasks and projects with OAuth and username/password authentication, featuring specialized tools for overdue and today's tasks with timezone compensation and priority displays.

Integrates with Folk CRM for contact and company management, note-taking, reminder scheduling, and interaction logging with optimized token usage.

Integrates with Things 3 and Apple Notes through native macOS APIs and URL schemes to enable task creation, project management, note operations, and productivity workflow automation.

Monitors and processes Feishu/Lark messages with file upload, async tasks, and scheduled messaging.

Windows-compatible website downloader for efficient web content retrieval and storage, leveraging asynchronous processing and concurrent downloads for tasks like web scraping and content archiving.

Fetches website content using Python and MCP, enabling web scraping and content analysis tasks

Integrates with Freedcamp's task management platform to create, update, list, and delete tasks with bulk operations and secure HMAC-SHA1 authentication.

Native Apple Calendar integration through hybrid TypeScript/Swift with EventKit APIs on macOS.

Integrates Notion workspaces, enabling seamless interaction with Notion's API for tasks like automated note-taking and knowledge base management.

File-based Kanban board that enables task management through natural language, storing tasks in JSON with YAML configuration for project-specific workflow management.

Integrates with Remember The Milk's task management API to enable natural language task creation, list management, note attachments, and Smart Add syntax with undo functionality and timezone-aware date handling.

Integrates with Cal.com Calendar API to enable appointment scheduling, management, and listing capabilities through calendar operation tools with rate limiting and error handling.

Integrates with OpenAI's API to enable direct querying of various language models, supporting efficient text generation and question answering tasks.

Manages Joplin notes, notebooks, tags, and resources through a Rust-based implementation with stdio and HTTP transport.

Integrates with Brevo's email marketing and CRM platform to manage contacts, send transactional and campaign emails, handle SMS and WhatsApp messaging, manage deals and tasks, and automate customer communication workflows.

Bridges AI assistants with iFlytek's workflow orchestration system, enabling complex business automation tasks through configurable sequential, parallel, loop, and nested execution modes.

MCP server exposing all 21 Celery Flower REST API endpoints for monitoring workers, tasks, and queues.

Integrates with Cloudflare's AI image generation capabilities, leveraging Workers for serverless deployment to enable on-demand image creation for content generation and visual design tasks.

Integrates with Folderr's API to enable management and communication with Folderr Assistants, facilitating tasks like listing assistants and sending questions.

Connects AI agents to Meegle (Feishu Project) for project management via 102 tools covering work items, workflows, subtasks, comments, and attachments.

Integrates with markdown files and Apple Notes to automatically save and format Claude conversation content for easy reference and sharing.

Enables systematic software project planning by breaking down complex tasks into manageable components, defining project structures, and creating implementation roadmaps through a Python-based FastMCP framework deployable via Docker or locally.

MCP server for managing Semaphore UI CI/CD projects, tasks, templates, and schedules.

Delegate agentic tasks to local or cloud Ollama models by proxying Claude's configured MCP tools.