"Checking Supabase migrations in GitHub Actions" matching MCP servers:

Enables Codex to manage a local Claude Code companion through MCP, implementing a dual-agent workflow where Codex handles reasoning and review while Claude Code performs engineering tasks.

Provides 29 Git operations and 11 workflow combinations for AI assistants and developers, enabling comprehensive Git repository management through a standardized interface.

Wraps GitHub Copilot CLI as an MCP server, enabling MCP clients to run Copilot conversations for code tasks with support for session resumption and permission modes.

Wraps the GitHub Copilot CLI to provide natural language command suggestions, explanations, and shell configuration for shell, git, and GitHub CLI commands through the Model Context Protocol.

Enables querying today's GitHub commits, performing local git operations (status, diff, add, commit, push), and creating GitHub issues through natural language.

Enables AI clients to operate on a remote Linux server over MCP, allowing shell command execution, file editing, package installation, project builds, and service management.

Provides the current date in multiple formats (e.g., European, ISO, US) via a simple MCP tool.

Enables agents to inspect ROS topics, processes, tmux sessions, and logs, and to perform operational actions such as sending tmux commands, restarting services, executing commands in containers, and running SSH remote commands.

Enables running SPICE netlists with ngspice in batch mode and returning .meas results as JSON.

Enables Claude Code to interact with Linux X11 desktops by performing mouse actions, keyboard input, and capturing screenshots. It provides a suite of tools for automation tasks such as clicking, typing, and zooming on specific screen regions.

Enables AI agents to control virtual computers through Orgo, supporting computer management, screen actions, shell commands, file operations, streaming, and AI completions.

Enables AI models to control Android devices via ADB through natural language commands, supporting screen analysis and automated actions.

Enables voice-controlled hardware to execute approved Mac actions (like opening apps and querying system status) through a secure MCP bridge.

Enables local management of Raspberry Pi devices over SSH from VS Code, including status checks, remote file reads, systemd service inspection and control, command execution, and power actions with explicit opt-in security safeguards.

Enables AI agents to manage a Canonical Landscape estate, including inventory, alerts, patching, and script execution, with built-in safety layers to prevent accidental destructive actions.

An MCP server for FPGA toolchain operations including linting, simulation, synthesis, place-and-route, bitstream programming, and IP core registry via GitHub.

Enables controlling robots in ROS environments through natural language, supporting topics, services, actions, and GUI tools.

Enables MCP clients to run allow-listed show commands and fixed, safety-gated configuration actions—such as port admin state, PoE, descriptions, and saving config—on a single Linksys LGS-series switch over SSH.

Enables AI coding assistants to access hosts (e.g., GitHub) behind a local proxy by automatically launching the proxy client and configuring tools to route through it.

Enables an assistant to control a Tandy Color Computer 3 emulated in MAME, allowing typing, disk operations, screen viewing, and state management.

Provides intelligent command completion, validation, and contextual help for the Kafka Docker Playground CLI. Integrates with GitHub Copilot to offer auto-complete suggestions, detailed command assistance, and debugging support for playground operations.

Enables autonomous AI coding agents to claim exclusive per-domain execution seats, record session handover notes, and validate terminal commands against domain whitelists to prevent concurrency collisions, context loss, and out-of-domain actions.

A Model Context Protocol server that generates lightweight ASCII charts directly in terminal environments, supporting line charts, bar charts, scatter plots, histograms, and sparklines without GUI dependencies.

Enables coding agents to work on the MUSICA supercomputer without hand-written ssh and sbatch by providing tools to sign in, run light commands, draft, check, submit, wait for, and read jobs, move files, and monitor budgets, while enforcing runbook rules and human approval for expensive or destructive actions.

Allows Codex desktop to control the Steam game Balatro via local STDIO MCP tools, exposing only constrained normal game actions without debugging or cheat capabilities.

A Model Context Protocol server that enables AI clients to interact with virtual Ubuntu desktops, allowing them to browse the web, run code, and control instances through mouse/keyboard actions and bash commands.

A Model Context Protocol (MCP) SSH client server that provides autonomous SSH operations for GitHub Copilot and VS Code. Enable natural language SSH automation without manual prompts or GUI interactions.

Exposes Laravel development tools (artisan, migrations, config, schema, logs) as MCP tools for use with compatible clients.

An MCP server that allows AI agents to drive real Android devices via adb, capturing screenshots, reading the live UI tree, and performing actions like tap, swipe, and type.

Enables interaction with a Minecraft server using Skript scripting language. Provides tools for checking and reloading Skript files, executing Minecraft commands, and retrieving server logs.

A lightweight MCP server that acts as a secure proxy for AI assistants to run local Git operations and GitHub API macros simultaneously.

Enables AI agents to manage TP-Link routers by listing clients, checking status, controlling Wi-Fi, and rebooting via natural language.

Connects coding agents to local development services managed by Kranz. Agents can inspect service health, ports, logs, and run history, and perform lifecycle actions through the same live runtime as the TUI and CLI.

A Node.js implementation of the Model Context Protocol that provides secure shell command execution capabilities, allowing AI models like Claude to run shell commands in a controlled environment with built-in security measures.

Connects MCP-enabled editors to GitHub Copilot CLI for non-interactive code analysis, batch processing, and code review.

Enables AI assistants to interact with IBM SVC storage systems, checking system status and executing arbitrary SVC CLI commands via SSH.

Turn any REST API into an MCP server in one command. Point mcpify at an OpenAPI spec and every endpoint becomes a tool your AI agent (Claude, Cursor, Windsurf) can call — zero glue code, always in sync with the spec.

Enables AI assistants to discover and manage Huawei Cloud resources such as ECS, VPC, CCE, RDS, VPN, OBS, and IAM through 149 structured read-only tools, plus a generic CLI tool for write operations that defaults to dry-run and requires explicit confirmation before destructive actions.

A server built on the Model Context Protocol that enables controlling the Unitree Go2 robot using natural language commands, which are translated into ROS2 instructions for the robot to perform corresponding actions.

MCP server that evaluates Terraform plans, shell commands, and tool calls to assess recoverability and risk before execution, enabling safe AI agent actions.