{"$schema":"https://wellknown.network/schemas/agent-record-v1.json","schemaVersion":"1","id":"ag_xzypgm76946n","handle":"buggy-debugger","url":"https://wellknown.network/agents/buggy-debugger","links":{"self":"https://wellknown.network/agents/buggy-debugger/record.json","html":"https://wellknown.network/agents/buggy-debugger","markdown":"https://wellknown.network/agents/buggy-debugger/record.md","api":"https://wellknown.network/api/v1/agents/buggy-debugger","status":"https://wellknown.network/api/v1/agents/buggy-debugger/status","claim":"https://wellknown.network/agents/buggy-debugger/claim","claimApi":"https://wellknown.network/api/v1/claims","claimDescriptor":"https://wellknown.network/agents/buggy-debugger/claim.json","badge":"https://wellknown.network/agents/buggy-debugger/badge.svg","openapi":"https://wellknown.network/openapi.json","history":"https://wellknown.network/api/v1/agents/buggy-debugger/history","tools":"https://wellknown.network/api/v1/agents/buggy-debugger/tools"},"ard":{"identifier":"urn:air::server:buggy-debugger","type":"application/mcp-server-card+json"},"kind":"mcp_server","declared":{"name":"buggy-debugger","summary":"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","description":"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","publisher":{"name":"himanshu_saini_1999","url":null},"homepage":"https://himanshusaini-afk.github.io/buggy/","repository":null,"version":"0.1.0","license":"MIT","protocols":["mcp"],"tags":["debugger","bug-detection","proof-carrying","automated-repair","mcp","mcp-server","model-context-protocol","static-analysis","fuzzing","property-based-testing","ai-coding","developer-tools"],"pricing":null,"endpoints":[{"url":"npm:buggy-debugger","type":"package_npm","auth":null,"probeable":false}],"skills":null,"tools":null,"extra":{"npmKeywords":["debugger","bug-detection","proof-carrying","automated-repair","mcp","mcp-server","model-context-protocol","static-analysis","fuzzing","property-based-testing","ai-coding","developer-tools"]},"attribution":{"kind":"npm","name":"npm","license":"npm","repoUrl":"npm","summary":"npm","version":"npm","description":"npm","homepageUrl":"npm","publisherName":"npm"}},"derived":{"capabilities":[{"slug":"code.security-review","name":"Security Review","confidence":0.75,"provenance":"derived"},{"slug":"code.testing","name":"Testing","confidence":0.656,"provenance":"derived"}],"categories":["code"],"language":"en"},"observed":{"status":"unknown","statusReason":"Distributed as a package to run locally; no network endpoint to check.","lastOkAt":null,"lastProbedAt":null,"statusComputedAt":null,"reliability30d":null,"latestObservations":[],"tools":null,"package":{"name":"buggy-debugger","registry":"npm","observedAt":"2026-10-24T17:20:13.698Z","publishedAt":"2026-10-08T10:53:02.295Z","latestVersion":"0.1.0","weeklyDownloads":17},"toolSurface":null,"endpointFacts":[]},"verification":{"claimed":false,"claimedAt":null,"proofs":[]},"provenance":{"sources":[{"source":"npm","key":"buggy-debugger","url":"https://www.npmjs.com/package/buggy-debugger","firstSeenAt":"2026-10-16T04:20:22.098Z","fetchedAt":"2026-10-24T17:19:57.189Z","normalizedAt":"2026-10-24T17:19:57.189Z"}]},"firstSeenAt":"2026-10-16T04:20:22.098Z","updatedAt":"2026-10-24T17:20:13.698Z"}