Dev Tools
| Server | Language | Stars | Downloads |
|---|---|---|---|
| Dafny Verifier Integrates with Dafny to verify code correctness through analysis of formal specifications and proofs. | — | 2 | — |
| daisyui-mcp-server MCP server for daisyUI React components — search docs, props, and code examples from any AI coding assistant 🌼 | TypeScript | — | — |
| DAM Butler (Breville Brandfolder) Integrates with Breville's digital asset management system using natural language processing and brand intelligence to provide quick access to brand-compliant assets across different regions, use cases, and 14 official Brandfolder sections with confidence scoring and OAuth authentication. | — | 1 | — |
| Dance Notation (Labanotation) Encodes and interprets Labanotation dance notation for movement analysis and choreography documentation. | — | 0 | — |
| @dangerusslee/gitlab-mcp-server GitLab MCP Server - A Model Context Protocol server for GitLab integration | TypeScript | — | — |
| @daniel.stefan/metalink MetaLink MCP Management Platform - Universal MCP server orchestrator | TypeScript | — | — |
| DAP Debugger Integrates with DAP-compatible debuggers like Delve to provide comprehensive debugging session management including breakpoints, execution control, state inspection, and expression evaluation for multiple programming languages. | Go | 67 | — |
| Dart Refactoring Automated Dart and Flutter refactoring tools backed by the Dart Analysis Server for semantically-aware code transformations. | — | 0 | — |
| @dataflint/mcp-server DataFlint MCP Server Core - Model Context Protocol server for Apache Spark optimization | TypeScript | — | — |
| DataGen Run and orchestrate DataGen deployments from validation through execution and monitoring. Generate copy-ready curl commands, input/output schemas, and accessible Mermaid flowcharts to integrate and explain workflows. Build, test, and deploy Python automations, then schedule and track them with ease. | Python | 1.7k | — |
| datazone-mcp-server test | Python | — | — |
| Datetime Formatter Provides flexible, timezone-aware date and time formatting across various locales. | Python | 26 | — |
| Daytona Python Interpreter Integrates with Daytona's secure Python execution environment to enable isolated code running and workspace management for testing and educational purposes. | — | 22 | — |
| dbgprobe-mcp-server Debug probe Model Context Protocol server for AI agents and developer tooling | Python | 1 | — |
| dcisionai-mcp-server DcisionAI MCP Server - AI-Powered Optimization with Intent Classification & Session Persistence | Python | — | — |
| Debate Agent Orchestrates competitive code review debates between CLI-based language models with deterministic scoring to generate merged recommendations and declare winners. | — | 2 | — |
| Debug Adapter Protocol (DAP) Bridges debugging tools with AI systems through the Debug Adapter Protocol, enabling debugger control, breakpoint management, and program state inspection with XML-formatted output for enhanced debugging workflows. | Python | 36 | — |
| DebuggAI Provides zero-configuration end-to-end testing for web applications by creating secure tunnels to local development servers and spawning testing agents that interact with web interfaces through natural language descriptions, returning detailed test results with execution recordings and screenshots. | TypeScript | 99 | — |
| debugger-mcp-server MCP server for VS Code debugging via bridge extension | TypeScript | — | — |
| Debugium Live debugger with bridge support for Python, JavaScript, TypeScript, Rust, Java, and C/C++. | TypeScript | 4 | — |
| debug-mcp-server-launcher Launcher for debug-mcp-server. This package ensures debugpy is installed and provides instructions to run the main server (Node.js or Docker). | Python | — | — |
| Debugpy Docker Attaches debugpy to Python processes in Docker containers with full DAP session control for breakpoints, stepping, and variable inspection. | — | 0 | — |
| @decaf-ts/mcp-server mcp server for code assistance of decaf-ts projects | TypeScript | — | — |
| decision-memory Claude Code için karar hafızası — CLI ve MCP server | TypeScript | — | — |
| Deep Code Reasoning Enables intelligent routing between Claude and Google's Gemini AI for complementary code analysis, leveraging Gemini's 1M token context window for large codebase analysis while Claude handles local operations, with conversational AI-to-AI dialogue capabilities for multi-turn problem-solving sessions. | TypeScript | 103 | — |