buggy-debugger

Proof-carrying debugger. Executes your code to find a real failing input, verifies the failure three ways before reporting it, generates candidate repairs, and rejects patches that only fit the example that caught them. CLI, MCP server, or programmatic AP

Installation

MCP client config (paste into mcp.json)

{
  "mcpServers": {
    "npm-buggy-debugger": {
      "command": "npx",
      "args": [
        "buggy-debugger"
      ]
    }
  }
}

Agent install prompt

Copy and paste into Cursor / Claude / other agents to install this MCP for you

Please read this MCP repository and install it into my current environment:
https://www.npmjs.com/package/buggy-debugger

Known working client config (can write into mcp.json):
{
  "mcpServers": {
    "npm-buggy-debugger": {
      "command": "npx",
      "args": [
        "buggy-debugger"
      ]
    }
  }
}

Please: 1) check README for deps and env vars; 2) write config for my client; 3) if secrets are missing, tell me what to fill — do not invent values.

GitHub

Related servers