WinDbg
Rank #3668pulsemcp/kanren3-windbg
Exposes WinDbg debugging sessions as an MCP server for command execution, documentation lookup, and target interruption.
WinDbg is a Model Context Protocol (MCP) server published by kanren3. It ranks #3668 of 58,900 servers tracked on MCP Toplist, and its repository has 33 GitHub stars. WinDbg is listed on PulseMCP, and ships as a single rolling release with no explicit version metadata. It was first listed on Mar 14, 2026.
Ranks ahead of 55,232 of 58,900 servers on MCP Toplist.
Use WinDbg
WinDbg doesn’t publish a machine-readable install config. Follow the setup instructions in its repository ↗, or open one of its registry listings above.
Listed on 1 registry
kanren3
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.
Frequently asked questions
- What is WinDbg?
- Exposes WinDbg debugging sessions as an MCP server for command execution, documentation lookup, and target interruption.
- Who maintains WinDbg?
- WinDbg is maintained by kanren3, which publishes 1 MCP server (0 total versions) tracked on MCP Toplist.
- Is WinDbg an official MCP server?
- WinDbg is not on the Official MCP Registry. It is listed on PulseMCP.
- How many versions does WinDbg have?
- WinDbg ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for WinDbg?
- The source code for WinDbg is hosted at github.com/kanren3/windbg-mcp-rs.