SERVER

Kernel Debugger

Rank #33,395

pulsemcp/originsec-kernel-debugger

MCP server wrapping the Windows kd.exe kernel debugger for AI-assisted kernel debugging workflows.

First listed
Jun 2, 2026
Last publish date
OVERVIEW

Kernel Debugger is a Model Context Protocol (MCP) server published by originsec. It ranks #33,395 of 115,591 servers tracked on MCP Toplist, and its repository has 13 GitHub stars. Kernel Debugger is listed on PulseMCP, and ships as a single rolling release with no explicit version metadata. It was first listed on Jun 2, 2026.

STANDING
#33,395of 115,591 tracked serversTop 50%

Ranks ahead of 82,196 of 115,591 servers on MCP Toplist.

BADGE

Show your rank

Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.

MCP Toplist: Top 50% of 115,591
Markdown
[![MCP Toplist](https://mcptoplist.com/badge/pulsemcp%2Foriginsec-kernel-debugger.svg)](https://mcptoplist.com/server/pulsemcp%2Foriginsec-kernel-debugger)
HTML
<a href="https://mcptoplist.com/server/pulsemcp%2Foriginsec-kernel-debugger"><img src="https://mcptoplist.com/badge/pulsemcp%2Foriginsec-kernel-debugger.svg" alt="MCP Toplist: Top 50% of 115,591" /></a>

Variants: append ?metric=score or ?metric=stars to the image URL.

REGISTRIES

Listed on 1 registry

ORGANIZATION

originsec

Organization
Servers in org
2
Versions across org
0
MORE FROM THIS PUBLISHER

Other servers by originsec

View all originsec servers →
VERSIONS

Not versioned

This server is published through a registry that does not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.

FAQ

Frequently asked questions

Who maintains Kernel Debugger?
Kernel Debugger is maintained by originsec, which publishes 2 MCP servers (0 total versions) tracked on MCP Toplist.
Is Kernel Debugger listed on the Official MCP Registry?
Kernel Debugger is not on the Official MCP Registry. It is listed on PulseMCP.
How many versions does Kernel Debugger have?
Kernel Debugger ships as a single rolling release with no explicit version metadata.
Where can I find the source code for Kernel Debugger?
The source code for Kernel Debugger is hosted at github.com/originsec/kd-mcp.
EXPLORE
Kernel Debugger - MCP Server #33,395 | MCP Toplist