agentmods.dev

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.

Open on GitHub
0Stars on the repository
1Mods indexed here, across every type
1mo agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Sort RelevanceRecently updatedFewest tokensSecurity gradeRepo starsStars this weekTop rated 1 mods

buggy

01

himanshusaini-afk/buggy

MCP server Claude CodeCodexCursor +2

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

not rated 0 1mo ago A tokens not measured original MIT