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.
8 files for Kiro: buggy buggy-bug-trends.md, buggy buggy-cross-file-impact.md, buggy buggy-debugging.md, buggy buggy-git-diff-specs.md and 4 more — 4,217 tokens loaded in every session.
.kiro/steering/buggy-bug-trends.md A 529 tok .kiro/steering/buggy-cross-file-impact.md A 408 tok .kiro/steering/buggy-debugging.md A 572 tok .kiro/steering/buggy-git-diff-specs.md A 437 tok .kiro/steering/buggy-onboarding.md A 372 tok .kiro/steering/buggy-pr-review.md A 464 tok .kiro/steering/buggy-spec-from-tests.md A 629 tok .kiro/steering/buggy-type-narrowing.md A 806 tok These files are himanshusaini-afk/buggy's own configuration — they tell Kiro how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.