himanshusaini-afk/buggy

Proof-carrying debugger that mathematically proves bugs exist, generates verified repairs, and rejects overfit patches using a 66-dim classifier. 5-agent architecture with Firecracker sandbox isolation. Available as CLI, MCP server (Cursor/Kiro/VS Code), or API.

This repository also configures its own agents. See what buggy tells them →

0Stars on the repository

9Mods indexed here, across every type

13d agoLast push, which is what freshness is scored on

MITLicence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

buggy

himanshusaini-afk/buggy

MCP server Claude CodeCodexCursor +2

Issue tracking system for projects. Runs locally from the buggy npm package.

not rated 0 13d ago A tokens not measured original MIT