#kernel
Debug Inspector
HALISTAHASAHIN
Visualize your own C/C++ data structures — threads, semaphores, mutexes, queues, linked lists, any struct collection — as live, sortable tables while debugging with GDB. Config-driven and read-only.
Device Tree Editor
SiliconBlade
Device Tree Editor - Live Preview of merged sources
Notebook MCP for VS Code
vatsapatel
Fully featured, reliable Jupyter MCP for live VS Code notebooks. Read, edit, run, stream outputs, save, export, and work across notebooks with explicit URI targeting.
Tithon
rnoro
Tithon VSCode extension — percent-format notebook + matplotlib/tqdm output + output restore
EMV KernelX Contactless
benpay
Professional TLV/APDU toolkit for EMV contactless kernel development and testing with transaction flow analysis, golden log regression, and cert reporting
btfmt - bpftrace Language Support
fanyang89
Format, complete, and navigate bpftrace scripts with a bundled language server.
Jupyter MCP Server
Happypig375
A notebook-specific MCP server: run, edit, create, and manage Jupyter notebooks from any MCP client (Command Code CLI/desktop, Claude, etc.).