Developer Tools MCP Repositories

Access Swagger/OpenAPI documentation and make API requests while validating them against the Swagger specification. Features include authentication support and caching to enhance performance during API interactions.

Custom tools for Cursor IDE can be created using the Model Context Protocol, enabling tailored functionalities that enhance the user's experience within the IDE.

Visualizes and analyzes directory structures with real-time updates, configurable depth, and smart exclusions. Enhances project navigation and organization insights for AI assistants.

Execute Unix/macOS terminal commands through a secure interface with interactive permission management and comprehensive command filtering. Ensures safe operations by classifying commands based on their impact and required approvals.

Integrates with the Flowise API to manage chatflows and create predictions, offering functionalities for dynamic tool registration and flexible access to chatflow resources.

Provides automated reasoning capabilities through Prover9 and Mace4, enabling logical theorem proving and model verification. Facilitates formal validation of knowledge representations and implications via a clean MCP interface.

Provides advanced logical reasoning capabilities through integration with the Coq proof assistant, enabling automated dependent type checking, inductive type definitions, and property proving with custom tactics and automation.

Automate the provisioning and termination of AWS EC2 instances using natural language commands while facilitating multi-agent communication through the MCP framework. Integrates intelligent agents to streamline cloud management tasks on AWS.

Expose multiple AI tools over an SSE transport with secure JWT-based authentication, enabling dynamic tool registration and session management.

Analyzes Git repositories to provide Dockerfile creation guidance, detect dependencies, and identify programming languages. Offers detailed recommendations for both public and private repositories to streamline development workflows.

Enhances Vite/Nuxt applications with advanced model understanding capabilities to improve interactions and functionalities. Integrates seamlessly into applications for better AI model performance in recognizing and processing app-specific data.

Integrate UML modeling capabilities into applications for dynamic generation and manipulation of UML diagrams, supporting various types of diagrams including Class, Sequence, and Activity. Enables seamless creation and collaboration through visual representations of systems.

Provides access to fal.ai models and services through a standardized interface for listing, searching, generating content, managing queued requests, and uploading files to a CDN.

Manage RunPod resources through an MCP-compatible client, enabling operations such as creating, listing, updating, and deleting pods, serverless endpoints, templates, network volumes, and container registry authentications.

Provides a functional implementation of the Model Context Protocol (MCP) server that connects various LLM clients to tools, resources, and prompts for enhanced AI capabilities.

Apifox MCP Server provides access to API documentation within Apifox projects, allowing AI tools to generate, modify code, and search through API documentation seamlessly. It facilitates direct interaction with API data through supported IDEs such as Cursor and VSCode.

Connect and control DaVinci Resolve projects, manage media, and execute Python code through an AI interface for enhanced video editing automation.

Directly interact with MySQL databases through a standardized MCP interface to perform operations such as connecting, querying, modifying tables, and listing schema details. Streamlines database management and integration within LLM applications.

Fetches and indexes documentation for various software libraries, packages, and APIs. Provides powerful search capabilities to enable AI systems to access the latest official documentation from multiple sources.

Edit files using a TypeScript MCP server, based on Anthropic's filesystem editing tools. It facilitates direct file manipulation while working with MCP protocols.

Facilitates structured thinking by breaking down complex problems into sequential steps, allowing users to track their thought progression and generate summaries of their reasoning.

Displays Kafka topic messages in a user-friendly web interface. Streamlines message monitoring and management with configurable settings to connect to a Kafka server.

Integrate and utilize neuro-symbolic autonomy capabilities for AI assistants, enabling the execution of customizable NSAF evolution and comparison of different agent architectures. This server exposes NSAF functionalities via a simplified Model Context Protocol implementation without requiring the official MCP SDK.

Provides quick access to local system utilities, allowing retrieval of system information such as time, hostname, public IP, directory listings, Node.js version, and process checks on specific ports.

Manage and search data in Redis using natural language queries, enabling efficient data operations like caching, indexing, and real-time event processing for AI applications.

Integrate AI agents with blockchain capabilities for wallet management, trading, and crypto strategies. Supports swaps, event-based trades, and provides tools for seamless interaction across multiple cryptocurrency ecosystems.

A Python-based MCP server designed for software development tasks that integrates with multiple LLM providers, offering real-time visualization and cost management. It supports multi-agent synchronization for intricate problem-solving scenarios.

Interact with GitHub repositories, manage files, perform repository operations, and search code, issues, and users utilizing the GitHub API.

Control Spotify playback using voice commands, manage playlists, and retrieve artist information through a user-friendly interface.

Manage MCP servers locally through a command line interface and HTTP API, with functionality to download, start, stop, and restart servers from public GitHub repositories. Access HTTP routes for monitoring and invocation of tools, alongside process management features.