Logic (Prover9/Mace4)
Integrates Prover9/Mace4 for automated reasoning, theorem proving, and logical analysis.
Directory
Search MCP Servers
Tasks Organizer
Converts Cursor agent plans into markdown task lists for organizing and structuring project plans into readable, actionable formats.
Shell
Integrates with the local shell environment to enable execution of system commands, file operations, and retrieval of system information for task automation…
Goose Extensions
Extends Goose AI assistant with five specialized servers for Plex Media Server interaction, Rotten Tomatoes scraping, eBay sales data retrieval, SearxNG web…
Ethereal Rust
Provides a flexible, type-safe Rust foundation for building applications with tool management, authentication handling, and custom middleware support, offering…
Shell Command
Provides a secure Docker container environment for executing shell commands with Kubernetes tools, enabling isolated DevOps workflows and infrastructure…
Browser Automation
Enables Claude to automate browser interactions by detecting elements and executing planned actions for website navigation, form filling, and content…
GitHub Repository Integration
Integrates GitHub repositories with Cursor IDE, enabling direct access and interaction with GitHub content within the editor using only a Personal Access Token…
Filesystem
Provides a filesystem interface to perform file operations like creation, deletion, and manipulation without direct system access.
OmniFocus
A professional MCP server for OmniFocus with smart caching and analytics to manage tasks and projects.
UpTier
Desktop task manager with clean To Do-style UI and 25+ MCP tools for prioritization, goal tracking, and multi-profile workflows.
Cursor Task Manager
An MCP server for task management, time tracking, and workflow automation, integrated with Cursor IDE and a Directus backend.
Gorev
A powerful, Go-based task management server with MCP support, AI editor integration, and a VS Code extension. It supports smart task creation, markdown, and…
Claude Code Buddy (CCB)
Add persistent project memory and smart task routing to Claude Code. Stop repeating context every session - Claude finally remembers your architecture…
AgentBay
Persistent memory, teams, and projects for AI agents. 76 MCP tools for storing, recalling, and sharing knowledge across sessions.
Cloudflare to GitHub Backup MCP Server
Automates backing up Cloudflare configurations to GitHub repositories, enabling version control and disaster recovery for DNS, Workers, and security settings.
Magic: The Gathering
Integrates Magic: The Gathering data sources to provide unified access for card searches, rules lookup, and set information retrieval.
Make
Integrates with Make (formerly Integromat) to enable automated workflows and task execution using AI assistants and Make's extensive app integration library.
Buildable
Official MCP server for Buildable AI-powered development platform. Enables AI assistants to manage tasks, track progress, get project context, and collaborate…
Critical Path Partners forensic scheduling MCP
13 tools for Primavera P6 forensic delay analysis — AACE windows (29R-03 MIP 3.3), DCMA-14 health checks, Monte Carlo SRA with AACE 122R-22 QRAMM maturity, TIA…
GitHub
The official GitHub MCP Server is a Model Context Protocol (MCP) server that provides seamless integration with GitHub APIs, enabling advanced automation and…
Agentic Tools MCP Companion
A VS Code extension with a GUI for the agentic-tools-mcp server, enhancing task and memory management.
Azure DevOps MCP Server for Cursor
An MCP server for Azure DevOps with tools for project management, work items, pull requests, builds, tests, and more.
ClickUp MCP Server
Apify-hosted MCP server for ClickUp with 20 tools. Tasks, spaces, folders, lists, views, docs, and custom fields. No local setup needed.