- Conduid
- Marketplace
- 0xmortuex
MCP servers by 0xmortuex
0xmortuex publishes 7 live MCP servers on GitHub. Listed by trust score; the score reflects each repository's own health, security checks, and documentation.
io.github.0xmortuex/acpi-mcp
Read ACPI tables from a live QEMU guest or files and explain them for OS developers.
io.github.0xmortuex/gdbstub-mcp
Debug kernels through QEMU's gdbstub with no gdb binary - and explain triple faults.
io.github.0xmortuex/mort-mcp
Write, type-check and run Mort code, with language spec and stdlib lookup.
io.github.0xmortuex/osdev-wiki-mcp
The OSDev wiki (wiki.osdev.org) offline and searchable: search, sections, links.
Kconfig MCP
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.
Uefi MCP
MCP server for UEFI work: boot an .efi under OVMF and explain the outcome, decode EFI_STATUS and GUIDs, check PE images, parse OVMF logs and firmware volumes.
Linkmap MCP
MCP server that explains where code and data landed in a linked binary and why - object to input section to script rule to segment to MEMORY region - from ELF + GNU ld/lld map fil…