# Buggy

> Buggy — himanshusaini-afk-buggy. Use this tool when you need to automatically identify and fix code bugs, as it analyzes code, generates formal certificates to prove bugs, and creates validated patches. It solves problems related to code reliability, security, and maintenance, by providing a comprehensive debugging and repair process. Ideal for use in software development, testing, and deployment contexts where code quality and correctness are crucial.

Canonical page: https://skillsregistry.net/skills/himanshusaini-afk-buggy  
JSON: https://api.skillsregistry.net/v1/skills/himanshusaini-afk-buggy

## Description

A multi-agent system that autonomously analyzes code, proves bugs with formal certificates, generates repairs, and validates patches, all over the Model Context Protocol.

## Trust

- **Trust score (0–1):** 0.68
- **Verification tier:** scanned
- **Last scanned:** 2026-09-03

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** other
- **Updated:** 2026-09-03

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/s7roo1458h)
- **Repository:** <https://github.com/himanshusaini-afk/buggy>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "himanshusaini-afk-buggy"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/himanshusaini-afk-buggy` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/himanshusaini-afk-buggy/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt