MCP servers that ship as code — a repository or a package you install and run locally (usually over stdio). They have no hosted endpoint, so we cannot probe or grade them: instead each one shows its repository, install command, license, stars and when it was last updated.
Collected from GitHub repositories and npm, PyPI, Cargo, Go, Maven, NuGet and RubyGems packages tagged as MCP servers, the official MCP Registry, Docker's MCP catalog, ModelScope, Baidu MCP World, Cline and other public directories; one entry per repository. A server that also offers a hosted endpoint is listed under Remote instead. These entries are not counted in our reachability, verification or readiness statistics.
-
kernelmind-mcpgithub.com/Reinazhard/kernelmind-mcpupdated this year
(WIP) Evidence-based MCP server for Linux kernel engineering — indexes git history, LKML/lore, Patchwork, and Documentation/ so AI agents answer with citations, not hallucinations. Subsystem-agnostic, Docker-ready, stdio + Streamable HTTP.
GPL-2.0 -
MCP server that fetches and explains syzbot Linux kernel bug reports - KASAN, KCSAN, lockdep, WARNING, hung tasks - with alloc/free stacks, cause commits and reproducers. Polite, cached, rate-limited.
MIT -
ebpf-mcp-tracergithub.com/blackdragoon26/ebpf-mcp-tracerupdated this year
A secure MCP server that connects LLMs and the Linux kernel by orchestrating `bpftrace` for natural-language, kernel-level observability.
★ 1 -
Vision pipelines on a Hailo-8L M.2 NPU: MCP server (SCrFD face detect ~311 FPS, PaddleOCR v5, TinyCLIP embeddings), Spanish-aware OCR correction, measured multi-phase OCR quality program, and the Linux kernel VDMA stability patch. 100% on-device inference.
MIT -
sandbox-mcpgithub.com/bird/sandbox-mcpupdated this year
Local AI agent sandbox — run isolated Linux VMs on your Mac in ~60ms. No cloud, no containers sharing your kernel. Works with Claude Code, Cursor, and any MCP client.
MIT ★ 1 -
Let your AI coding agent diagnose and fix Linux servers over SSH without giving it a shell. Reads run instantly (kernel-jailed on supported hosts); every write needs one tap on your phone, enforced on each server by a signed forced command. Claude Code plugin + MCP server.
MIT ★ 2 -
A native desktop IDE for Lean 4 on macOS, Windows and Linux. Every proof re-checked by Tenet, an independent Lean 4 kernel. An MCP server for AI assistants, with Git and GitHub built in.
MIT ★ 8 -
The Compiler-Aware Operating System Kernel CodeGraph Engine for Token-Efficient Structural Codebase Retrieval
MIT ★ 4 -
linux-hardwaregithub.com/lspecian/linux-hardwareupdated this year
Hands-on bash lab for Linux internals, networking, and debugging. Homelab reference with seven topic dirs (PCIe/IRQs, disk I/O, network stack, memory, perf, app debugging, network debugging) plus an MCP server.
MIT -
让 LLM Agent 直接在线调试安卓设备 —— 抽象 adb / ssh / UART 多种传输,通过 MCP / CLI / Web API 三层接入大模型。
Apache-2.0 ★ 1 -
MCP server that answers 'why can't I enable CONFIG_X?' for Kconfig trees (Linux, Zephyr...) - unmet dependencies with file:line and a verified minimal fix.
MIT -
A unified CLI tool that provides both direct network telemetry querying and MCP (Model Context Protocol) server capabilities for real-time network connectivity analytics and AI-powered insights.
MIT ★ 7