"CodeQL for Code Auditing" matching MCP servers:

MCP server that gives AI agents isolated, named Linux computers with stable IDs and lifecycle control. Supports multiple backends like Docker, Fly Machines, Modal, and E2B, with a dashboard for managing sandboxes.

MCP server that lets Claude Code drive the local Codex CLI as a sub-agent for concurrent queries and optional file/shell actions, using the CLI's existing login and sessions.

An MCP server that implements Claude Code-like functionality, allowing the AI to analyze codebases, modify files, execute commands, and manage projects through direct file system interactions.

Enables AI agents to execute SSH commands, read files, and list directories on remote hosts with a configurable command-safety policy.

Runs git-bash (MSYS2) commands for AI agents on Windows from outside the agent's sandbox, so pipelines, command substitution, and subprocesses work. Exposes exec, bash_info, doctor, and policy tools with timeouts, output spilling, concurrency limits, capability-based command gating, and JSONL auditing.

MCP server for E2B code sandbox, enabling creation, management, and execution of code in secure sandboxes using Python and shell commands.

Unofficial Powershell MCP server

An MCP server that enables secure terminal command execution, directory navigation, and file system operations through a standardized interface for LLMs.

Windows-focused MCP server for terminal automation with persistent PowerShell sessions, live session logs, and VS Code integrated terminal bridge.

Gives Claude Code full control over tmux sessions, windows, and panes, with an optional Sonnet-based safety classifier for destructive commands.

An MCP server that provides secure code execution capabilities using AWS Bedrock AgentCore's CodeInterpreter, supporting Python, JavaScript, TypeScript, shell commands, and file operations.

A local STDIO MCP server for running one bounded command and waiting for its final result, eliminating model-driven polling. Designed for builds, test suites, and other trusted foreground commands.

Enables persistent SSH sessions and SFTP file transfers with native GUI credential prompts for secure remote server management. It supports background command execution, session pooling, and automatic connection reuse across multiple commands.

A Model Context Protocol server for complete shell and SSH mastery, enabling command execution, interactive sessions, file transfer, and port forwarding with auditing and policy controls.

Agent-native SSH control plane with a local Web Terminal, human-in-the-loop secret input, keychain-backed profiles, and user-confirmed uploads for Codex, Claude Code, and MCP-compatible coding agents.

An MCP server that bridges LLM platforms with multiple socket_server targets, enabling batch parallel execution of packet capture, dial testing, command, and file operations with authentication, auditing, and status locking.

MCP server wrapping Kimi Code CLI (kimi-k2.5) to provide tools for filesystem, shell, web, and agent operations.

MCP server for running shell commands on a Linux development board via UART serial.

SassyMCP is a comprehensive MCP server that replaces 75+ individual servers with one 34MB executable. It provides 274 tools for file operations, shell, desktop automation, GitHub/Git, Android interaction, network/security auditing, SSH, OCR, and Windows system management.

An MCP server that enables AI agents to execute terminal commands and Python code on the host system, leveraging Agent Zero's battle-tested implementation with session management and smart output handling.