MCP server Claude CodeCodexCursor +2
MCP server "kerneldev-mcp" as configured in josefbacik/kerneldev-mcp. Runs locally from the kerneldev-mcp Python package.
not rated 7 3mo ago A
tokens not measured
A MCP server for configuring, building, booting, and testing kernels
This repository also configures its own agents. See what kerneldev-mcp tells them →
MCP server Claude CodeCodexCursor +2
MCP server "kerneldev-mcp" as configured in josefbacik/kerneldev-mcp. Runs locally from the kerneldev-mcp Python package.