5 projects
kconfig-mcp
MCP server that explains Kconfig to AI agents: why can't I enable CONFIG_X? Unmet dependencies with file:line, and a verified minimal fix. Linux, Zephyr, U-Boot, Buildroot.
acpi-mcp
MCP server that reads ACPI tables from a live QEMU guest or table files and explains them for OS developers: CPUs, I/O APICs, IRQ overrides, HPET, ECAM, shutdown and reset.
osdev-wiki-mcp
MCP server giving AI agents offline, searchable access to the OSDev wiki (wiki.osdev.org) - full-text search, sections, links.
mort-mcp
MCP server that lets AI agents write, type-check and run Mort - a language they've never seen - with spec and stdlib lookup.
gdbstub-mcp
MCP server that lets AI agents debug kernels through QEMU's gdbstub - no gdb binary needed. Breakpoints, registers, memory, backtraces, triple-fault diagnosis.
