buggy-debugger

active

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

Code-only MCP server: no hosted endpoint, so you install and run it yourself. It is not probed, graded or counted in our reachability statistics.

Get it

Repository: github.com/himanshusaini-afk/buggy
Package: npm: buggy-debugger
Run (stdio): npx -y buggy-debugger
The usual command for this package registry; check the repository README for required settings.
License: MIT
Last update: 2026-10-08
Homepage: himanshusaini-afk.github.io/buggy/

debugger bug-detection proof-carrying automated-repair mcp mcp-server model-context-protocol static-analysis fuzzing property-based-testing ai-coding developer-tools

Listed in

npm · source

Run this server as a hosted endpoint? Submit the endpoint and it moves to the remote directory, where it is probed and graded.