"An overview of Docker and related information" matching MCP servers:

An MCP server that extends AI coding assistants with deterministic, algorithmic capabilities such as code analysis, fault localization, and formal verification, enabling an autonomous engineering team within the IDE.

Enables code execution in isolated Docker containers with persistent IPython, Node.js, or R kernels, supporting file import/export and cross-session transfers via MCP tools.

A single, queryable source of engineering constraints that coding agents consult at code-generation time, exposed over an MCP server.

Enables coding agents to search and retrieve persistent repository memory created by Cliper, providing context, gaps, architecture, and timeline information via MCP tools.

Runs as an MCP server providing file system operations, shell execution, and system information tools, allowing Claude or any MCP client to edit files and control the machine.

An MCP server that enables coding agents to run Claude Agent SDK sessions as asynchronous sub-agents, with tools for starting, continuing, and checking status of Claude sessions.

An MCP server for managing, editing, and running Stata .do files, integrating with Claude Desktop to enable natural language control of Stata analysis on macOS.

Unified capability catalogue with formally verified cartridges, distributed community hosting, and the Teranga menu system for single gateway access to a vast rabbfe of MCP, LSP, NeSy and related servers.!

Enables coding agents to navigate and query source code by providing context, symbols, and call graph information through a graph index.

An MCP server for orchestrating a fleet of CLI coding agents in isolated git worktrees. It exposes tools for spawning workers, sending instructions, reviewing diffs, and merging changes, with full terminal visibility.

A server component of the Model Context Protocol that provides intelligent analysis of codebases using vector search and machine learning to understand code patterns, architectural decisions, and documentation.

Code-pinned team memory for AI coding agents — typed artifacts (Decision/Analysis/Debug/Task), MCP-native workflow, self-host with Docker Compose.

MCP server that lets Claude, ChatGPT, or VS Code build a complete, machine-checked model of your domain and generate an app from it.

An MCP server that analyzes codebases and generates contextual prompts, making it easier for AI assistants to understand and work with code repositories.

Connects AI coding agents to FlutterFlow projects, enabling browsing, inspection, and modification of projects directly from the assistant.

An MCP server that lets any MCP-capable agent spawn and drive Claude Code sessions — effectively turning Claude Code into an orchestratable sub-agent fleet.

Provides AI-powered development assistance with continuous chain-of-thought reasoning (CoConuT), automated task planning and execution, quality validation, and persistent memory of project context and decisions.

A Windows proof-of-concept MCP server that connects ChatGPT developer-mode to a local Codex CLI via Secure MCP Tunnel, exposing a small set of read-only, allowlisted tools in an isolated workspace.

This MCP server enables automated maintenance and code analysis for Python/pytest repositories in isolated Docker environments. It supports read-only investigations, fix-and-verify tasks, and provides full audit trails with SQLite event history and artifact exports.

Enables coding agents like Cursor to access Figma design data, fetch layout and styling information, and implement designs in any framework.