Development Tools
Git, Docker, Terminal, and other developer utilities
13,354 servers in this category
mu-mcp
An MCP server that interfaces with the mu mail indexer, allowing AI assistants to search, read, and manage local email archives and attachments.
DevStandards MCP Server
A comprehensive MCP server providing access to over 284 coding standards and security guidelines, including extensive Drupal best practices and OWASP Top 10 vulnerabilities.
Crypto Portfolio MCP Server
A read-only cryptocurrency portfolio management server that aggregates data from Binance, Coinbase, and Kraken. It provides comprehensive analytics, risk assessment, and market intelligence for detailed asset tracking and performance monitoring.
Nuke
MCP (Model Context Protocol) Server. Provides a bridge to Nuke compositing software for automating common tasks like node creation, configuration, and render operations through a Python interface
Filesystem
MCP (Model Context Protocol) Server. Provides secure filesystem operations for reading, writing, and manipulating files and directories within specified access boundaries.
PocGenius
A specialized MCP server that automatically generates secure, pocsuite3-compliant Proof of Concept code from vulnerability data with built-in safety filtering for security researchers.
ZenTao
MCP (Model Context Protocol) Server. Integrates with ZenTao project management system to provide access to projects, products, stories, bugs, tasks, test management, releases, builds, and AI features through structured URI patterns and management tools.
Mo Bus
An unofficial MCP server for Odisha's Mo Bus/Ama Bus network providing intelligent journey planning, route searching, and fare estimation for over 60 routes in Bhubaneswar, Cuttack, and Puri.
Mathematical-Visualization
A specialized MCP server that provides 19 professional mathematical visualization tools based on JSXGraph, covering geometry, calculus, statistics, economics, and engineering for educational and scientific use.
DB-Mcp
A secure database access service for LLMs supporting SQLite, PostgreSQL, MySQL, and MariaDB with query verification and audit logging.
VMWare MCP
Enables AI agents to manage VMware vSphere infrastructure through 55 typed tools built on the govc CLI. It supports comprehensive operations including VM lifecycle management, snapshot control, datastore navigation, and networking configuration.
RayBridge
Bridges locally installed Raycast extensions to any MCP-compatible client via stdio or HTTP. It enables headless execution of extension logic by shimming UI components and leveraging existing OAuth tokens.
Jules MCP Server
Enables orchestration of multiple Jules AI workers for tasks like code generation, bug fixing, and review using the Google Jules API. It features git integration, a shared memory system, and real-time activity monitoring for complex, multi-agent development workflows.
TaskChecker
A production-grade MCP server for intelligent task orchestration, featuring session-based workflow tracking and a precision evaluation scoring system for AI-driven project management.
Worklog
A productivity-focused MCP server that automates the generation and management of daily work logs by collecting session data from AI tools like Claude Code, Kiro, and Cursor.
@stateset/cli
AI-powered command-line interface for StateSet Commerce
MCP Jupyter Complete
A comprehensive MCP server for precise Jupyter notebook manipulation, enabling position-based cell operations and bulk editing with native VS Code synchronization.
Master MCP Proxy
A production-ready proxy server that aggregates multiple MCP backends into a single secure endpoint, offering unified tool discovery, OAuth authentication, and resilient routing.
PubMed MCP Server
A comprehensive MCP server providing access to NCBI's PubMed database of 36+ million citations, enabling advanced searching, citation management, and full-text retrieval from PubMed Central.
CSL-Core
Deterministic AI safety policy engine with Z3 formal verification. Write, verify, simulate, and enforce machine-verifiable safety constraints for AI agents. Completely outside the LLM.
Slack Notification MCP Server
A Model Context Protocol server that dynamically creates tools to send rich-formatted Slack notifications to specific channels via webhooks.
React Native Expo MCP
An MCP server designed for React Native and Expo development that provides specialized tools for project scaffolding, architectural best practices, and troubleshooting. It enables AI assistants to guide users through setup, navigation configuration, and CI/CD processes using modern stacks like NativeWind and Zustand.
MongoDB
A MongoDB-based MCP server that provides schema-enforced database operations, including CRUD functionality and collection management with Pydantic-based validation.
Web Fetch
MCP (Model Context Protocol) Server. Provides web content retrieval capabilities through specialized tools for fetching HTML, JSON, text, and Markdown formats, enabling web scraping and data extraction directly within conversation interfaces.
Hugeicons
A TypeScript-based MCP server providing integrated access to the Hugeicons icon library, facilitating icon discovery, retrieval of glyph codes, and platform-specific usage guidance.
NHL
MCP (Model Context Protocol) Server. Integrates with NHL data sources to provide real-time game updates, player stats, and league standings for sports analysis and fantasy hockey applications.
iOS Development MCP Server
A comprehensive MCP server for iOS development that provides deep control over simulators, including hardware simulation, app lifecycle, UI automation with fb-idb, and Xcode build/test integration.
Cloudera Machine Learning (CML) MCP Server
A standalone MCP server for Cloudera Machine Learning (CML) that enables automated management of data science projects, job scheduling, file operations, and ML runtime environments.
GitHub
A lightweight GitHub MCP server that enables AI agents to manage repositories, navigate file structures, create pull requests, and track issues via the GitHub API.
Lean Mathlib 4 Documentation
Provides searchable access to Lean Mathlib 4 documentation, allowing users to find theorems, definitions, and mathematical constructs via regex-based queries.