"An easy solution for semantic search in code files" matching MCP servers:

A Windows MCP server for personal Notion Agent integration, providing file read, search, and modification tools in a selected workspace, with an optional trusted developer mode for Python, Git, Node, etc.

Enables semantic search of shell session history, matching user intents to relevant CLI commands for keyboard-first developer workflows.

Enables AI agents to load, inspect, test, and repair machine-checked cryptographic proof files by wrapping EasyCrypt's batch CLI in six tools that report open goals and diagnostics. Agents can try tactic snippets on temporary copies, then commit only the steps that check, while the file itself holds all proof state.

Enables semantic search of shell session history, matching natural-language intents to past CLI commands, including Warp sessions, for fast keyboard-first command discovery and reuse.

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.

Enables AI agents to check and repair EasyCrypt proofs by inspecting proof states, safely trying tactics, applying accepted snippets, and searching the standard library through EasyCrypt's batch CLI.

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 AI agents to interact programmatically with Claude Code CLI, managing sessions, streaming outputs, and handling permission requests.

Creates short-lived, offline JavaScript sandbox containers for safe code execution via MCP, with no network access and strict resource limits.

Enables file reading with pagination and regex-based code search across a codebase using grep.

An MCP server that allows Claude Desktop to remotely control Claude Code instances for executing commands and managing files.

Delegates coding tasks to the local Claude Code CLI via MCP, offering run, review, and status tools for MCP-compatible agents.

Enables a Claude Desktop or Claude Code session to start, drive, and supervise interactive Claude Code CLI worker runs, including sending prompts, reading terminal output, waiting for completion, stopping runs, and managing settings and permissions.

A local MCP server that lets Hermes supervise Claude Code, delegating focused coding, research, or review tasks to the Claude Code CLI and managing worker sessions, background jobs, cancellations, and read-only reviews.

Enables an AI assistant to operate a Linux machine through tools for files, search, shell commands, long-running processes, git, desktop control, screenshots, and local spreadsheets.

This server gives AI clients a persistent, isolated Linux container in which the model can run any bash command as root with internet access, install packages and start long-running processes without command filtering. Files produced inside it can be handed back to the user as signed, expiring public download links suitable for PDFs, images, audio and video.

Connects Windows-based Codex to the Cursor Agent CLI in WSL, providing a run_cursor tool to execute tasks in specified working directories and resume sessions per directory.

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

Provides a secure interface to run Anthropic's Claude Code CLI as an MCP server, enabling task execution, persistent memory, and integration with MCP-enabled IDEs.

Provides a sandboxed Docker environment for executing Python code against API endpoints, exposing tools for discovery, inspection, execution, and reuse.

MCP server that routes Claude Desktop chat into Claude Code, enabling headless execution and terminal handoff with session continuity.

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 n8n AI agents to manage MikroTik routers via SSH/SSE, providing tools for firewall, DNS, DHCP, WireGuard, interfaces, queues, backup, users, logs, and routes.

A transparent message ferry between Claude Desktop and Claude Code CLI, enabling task delegation with any MCP configuration without the bridge needing to know about specific MCPs.

Enables AI agents to execute terminal commands and Python code on the host system with session management and smart output handling, leveraging Agent Zero's proven implementation.

Enables ISLI agents and MCP clients to dispatch natural-language coding and terminal tasks to a locally-installed Claude Code CLI, supporting both one-shot execution and persistent sessions with workspace and security controls.

Enables programmatic execution of coding tasks and autonomous file operations using Claude AI. It allows agents to search codebases, run shell commands, and track file changes through the Model Context Protocol.

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 AI agents to execute SSH commands, read files, and list directories on remote hosts with a configurable command-safety policy.

A stdio MCP server that lets Codex Desktop/CLI delegate implementation tasks to Claude Code CLI with workspace validation, Git status checks, and session resume capabilities.