"Information about the Linux Kernel" matching MCP servers:

An MCP server that enables AI-powered Linux kernel development, exposing tools for symbol search, static analysis, build automation, QEMU/GDB debugging, and more via IBM Bob.

MCP server enabling structured search and querying over Linux kernel mailing list archives (lore.kernel.org) for LLM-powered developer tools.

An MCP server designed for remote Linux kernel cross-compilation over Tailscale SSH. It enables users to manage configurations, execute kernel builds, and retrieve build artifacts directly through an MCP-compatible interface.

Provides a persistent Jupyter kernel for executing code, inspecting variables and dataframes, and checking SQL query plans, enabling agents to work with stateful Python sessions.

Connects to an existing IPython kernel for persistent Python code execution, preserving variables and state across calls. It enables AI agents and clients to share a live kernel for interactive coding, execution, kernel status checks, and interrupts.

Enables IDE and DeepSeek Harness agents to control an agent-kernel instance over stdio, exposing tools for auth, projects, assignments, runs, scheduler nudges, and executor settings.

An MCP server that connects directly to a Jupyter kernel via ZMQ, enabling AI assistants to read, create, edit, execute, and manage Jupyter Notebooks as MCP tools.

Plan your projects with The High Council! Several AI models from different labs argue about your idea, then debate on Software Engineering choices. The goal is to get everyone to work together, in harmony and with manners. Effectiveness is unproven, but it is a fun way to spend your tokens!

Enables coding agents to publish HTML pages and small sites over MCP, returning a stable link and keeping every version, with access limited to specific people, an organization, or anyone with the link.

Enables AI assistants to interact with native Linux desktop applications through AT-SPI2 accessibility interfaces. Provides semantic element targeting, natural language search, and automation capabilities (clicking, typing, keyboard shortcuts) across GTK, Qt, and Electron applications.

Governed development control plane for VedaOps projects, letting authorized agents inspect, search, patch, test, lint, and coordinate registered software without exposing a general shell.

MCP server for managing i18n translation files — gives your AI agent full control over your app's translations without dumping entire locale files into context.

An MCP server that manages your conversation context automatically, pruning dead branches and keeping an audit trail of every cut.

Enables AI agents to directly manipulate Jupyter Notebook cells and structure through a secure, well-defined API, overcoming Cursor's AI agent mode limitations.

Exposes 11 agent-native QA tools over stdio so coding agents can discover a project, analyze risk, select the smallest relevant test set, generate and dry-run tests, triage failures, propose tiered heals, analyze flakes, generate quality reports, and evaluate release readiness. Planning and healing tools stay read-only or propose-only, while execution defaults to dry-run, keeping agent actions safe and evidence-backed.

Provides comprehensive system diagnostics and hardware analysis through 10 specialized tools for troubleshooting and environment monitoring. Offers targeted information gathering for CPU, memory, network, storage, processes, and security analysis across Windows, macOS, and Linux platforms.

Compiles YAML adapters or OpenAPI specs into a minimal MCP tool surface that exposes only declared capabilities to agents, with risk-tiered execution, human approval queues, credential brokering, prompt-injection sanitising and NIST AU-3 audit logging. This lets operators put scoped identity, permissions and kill switches in front of any API so agents can call exactly the tools they need and nothing more.

Enables AI-powered code analysis and repository scanning through six MCP tools, including house categorization, friction detection, recursive pattern finding, and equilibrium evaluation, with conversation memory and 24/7 cron operation on Cloudflare's free tier.

Enables agents to run distributed consensus and coordination primitives over MCP, including Raft leader election with terms and quorum validation, LWW CRDT state reconciliation, vector-clock causal stamping, token-bucket gossip dissemination, and two-phase commit atomic coordination. Runs entirely on the Python standard library with zero external dependencies and JSON-RPC 2.0 stdio transport.

This MCP server provides read-only Linux system diagnostics tools for inspecting system information, processes, and log snapshots. It enables AI models to analyze Linux system health, troubleshoot issues, and review security through workflow prompts and HTTP transport with API key authentication.