"Search results for proofcut" matching MCP servers:

GDB Enhanced Features MCP server for remote debugging and CTF exploitation with 41 specialized tools including ROP search, format-string detection, and memory patching.

An MCP server that gives coding agents hands and eyes on an Android device, providing 19 tools for building, testing, installing, UI inspection, input, logs, and toolchain diagnosis. It returns concise, structured results to make the build-debug loop efficient.

Delegates coding tasks to the locally installed DeepSeek Harness CLI, enabling MCP clients to run prompts through dsh and receive results with exit code and timing.

Enables Windows users to connect Antigravity CLI as an MCP subagent for coding tasks such as file reading, code execution, edits, and terminal commands, with model selection, conversation continuity, and streaming progress.

Enables OpenAI Codex to delegate tasks to Google Antigravity CLI, running them headlessly and polling for results.

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

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

Enables AI assistants to execute code in isolated sandboxes with support for Python, JavaScript, and TypeScript, featuring intelligent caching and semantic search for code reuse.

Enables MCP clients to flatten and audit Bambu Studio presets, slice models with GUI-matching results, check STL/3MF/OBJ printability and part clearance, and compose non-destructive project edits without controlling printers.

MCP server for controlling local music playback via NetEase Cloud Music, enabling search, play, pause, skip, and lyrics display through a local web player.

An MCP server that grants AI agents unrestricted file system, Python, and PowerShell access on Windows for real, unfiltered automation.

An MCP server that wraps Flutter CLI tools into structured, agent-friendly tools for AI coding agents, with features like two-phase test results, output capping, and managed app lifecycle.

An MCP server that provides tools to interact with CLI applications, enabling process management including start, stop, check status, send input, and read output.

Enables AI agents to invoke a local Stata installation, including a Windows Stata build under Wine on Linux and macOS, for regression analysis, econometrics, paper replication, and empirical research with command guards, resource monitoring, and automatic log capture.

Enables AI assistants to execute SQL queries against any database supported by the usql CLI tool. Provides seamless database interaction through MCP by forwarding queries directly to usql and returning results in JSON or CSV format.

Enables MCP clients to run Cline CLI prompts and isolated repository-wide analyses, returning terminal text responses with model, duration, and usage/cost.

Voice-driven CFD MCP server that enables natural language setup, execution, and analysis of OpenFOAM simulations, with results exportable to ParaView.

Enables AI to present options and launch an interactive web or terminal interface for user selection, then return the results to the AI.

Enables AI assistants to delegate complex tasks to the local Gemini CLI, returning structured results with execution metadata.

Enables running planned batches of shell commands in parallel locally or over SSH, with dependency ordering, timeouts, cancellation, and per-task result collection.

An MCP server that enables running CLI for Microsoft 365 commands through GitHub Copilot Agent, allowing users to interact with Microsoft 365 services using natural language.

A Model Control Protocol server that provides access to nmap network scanning functionality, allowing users to run customizable scans, store results, and analyze network security using AI prompts.

Provides powerful text search capabilities using the grep command-line utility, allowing users to search files and directories using both natural language descriptions and regex patterns.

Enables AI assistants to interact with and manage Minecraft servers through a standardized interface, supporting server monitoring, player management, log analysis, and command execution.

Enables LLMs to perform automated penetration testing and Active Directory reconnaissance through Mythic, with tools for executing PowerShell, AD recon, domain user enumeration, and Kerberoasting.

Provides Claude with direct access to the Open Porous Media (OPM) reservoir simulation stack, enabling running simulations, inspecting results, and automating workflows via natural language.

MCP server for npm package management — publish, install, audit, search, security & dependency health

A CLI command execution server that enables running shell commands with structured output, providing detailed execution results including stdout, stderr, exit code, and execution duration.

Enables natural-language automation of LS-PrePost preprocessing and postprocessing by exposing tools that build and verify shell meshes, query nodes, parts and connectivity, run native commands, SCL and in-application Python, and read d3plot/binout results through pluggable backends. Every job runs in its own directory and returns an ID, status, log and artifacts, so results stay traceable and failures are never silently reported as success.

Enables n8n AI agents to manage MikroTik routers via SSH/SSE, providing tools for firewall, DNS, DHCP, WireGuard, interfaces, queues, backup, users, logs, and routes.

Enables AI coding agents and MCP clients to run a read-only environment check against a project's declared requirements and receive structured results identifying exactly what needs fixing.

Enables AI agents to search, update, manage files, and run terminal commands on a computer, with remote access via Streamable HTTP and OAuth 2.0 for integration with ChatGPT and web agents.

Read, search, and send iMessages locally from your terminal or through MCP clients like Claude, Cursor, and VS Code.

A local-first tool to check public ECZ-ID Resolver posture, classify targets, and report deterministic results with routing.

Exposes 39 sandboxed PC tools — file read/write/search, terminal commands, Git, code symbols, web search and page fetching, document reading, wiki memory, scheduled tasks, and enterprise CLIs — as a local MCP server for AI clients like Copilot Studio, Claude, and Cursor. All operations stay confined to allowed folders, with terminal command allowlisting, automatic pre-edit backups, and audit logging.

Enables Codex to delegate coding tasks to a locally installed AI coding CLI over MCP, returning results, cost and turn metadata, and reusable session IDs for follow-up work.

Provides agentic MCP tools for the Flux Framework, enabling job submission, management, and resource scheduling for HPC workloads.

Enables remote MCP clients to browse local Codex CLI sessions, launch and resume tasks in local projects, poll results, and stop runs over a bearer-token-protected HTTPS tunnel.

Provides AI agents with an unrestricted VPS root shell by executing arbitrary shell commands and returning structured results such as exit code, stdout, stderr, timeout, and truncation status.

Enables AI-driven WinDbg kernel debugging via the Model Context Protocol, allowing agents to send debug commands and receive results.