{"id":"f49f4ef6-808f-413b-8c79-d2605b9c010f","shortId":"6DcQVD","kind":"skill","title":"audit-correctness","tagline":"Use when auditing and fixing logic bugs in a scope — off-by-one, wrong operator, inverted condition, unhandled boundary cases, unit/dimension mismatch, code that doesn't do what its name or docstring claims. Triggers on \"audit correctness\", \"fix logic bugs\", \"check for off-by-one","description":"target = $ARGUMENTS\n\nIf target provided, audit that path. Otherwise, files changed since the default branch. Full-codebase audit requires explicit user request.\n\nFind and fix code whose behavior diverges from what it claims to do.\n\nIntent lives in names, signatures, docstrings, comments, and caller expectations — when behavior contradicts any of them, one is wrong and usually it's the code. Read for what the code does, not what it claims; names, comments, and the diff message prime confirmation bias. The patterns the model under-weights without prompting: off-by-one in loop bounds, slicing, range checks (`<` vs `<=` against length); inverted conditions and wrong logical operator (`||` vs `&&`, missing De Morgan flip); unhandled boundary cases (empty collection, single element, zero, negative, max) where surrounding logic implicitly assumes more; unit or dimension mismatch (ms vs seconds, bytes vs KB, 0- vs 1-indexed); time bugs (naive vs timezone-aware datetimes, DST); concurrency hazards (stale reads, TOCTOU, missing atomicity). Distinguish from silent-failures, which is about swallowing errors — correctness is about producing the wrong answer with no error at all.\n\nRe-read the cited line and surrounding code before editing — if you can't point to where intent and behavior disagree, don't touch it. False positives erode trust faster than misses. Fix where intent is unambiguous: a name, signature, docstring, or caller pattern pins the correct reading. When the code could plausibly be either the bug or the spec, surface the divergence and ask which is canonical before editing — guessing wrong propagates the bug under the appearance of a fix. Run tests after the batch; report `git diff --stat`, the bugs fixed, and any ambiguous cases left for sign-off.","tags":["audit","correctness","dotclaude","jhostalek","agent-skills","ai-coding","anthropic","claude","claude-code","claude-code-skills","code-review","codex-cli"],"capabilities":["skill","source-jhostalek","skill-audit-correctness","topic-agent-skills","topic-ai-coding","topic-anthropic","topic-claude","topic-claude-code","topic-claude-code-skills","topic-code-review","topic-codex-cli","topic-cursor","topic-developer-tools","topic-git-workflow","topic-multi-agent"],"categories":["dotclaude"],"synonyms":[],"warnings":[],"endpointUrl":"https://skills.sh/JHostalek/dotclaude/audit-correctness","protocol":"skill","transport":"skills-sh","auth":{"type":"none","details":{"cli":"npx skills add JHostalek/dotclaude","source_repo":"https://github.com/JHostalek/dotclaude","install_from":"skills.sh"}},"qualityScore":"0.454","qualityRationale":"deterministic score 0.45 from registry signals: · indexed on github topic:agent-skills · 8 github stars · SKILL.md body (1,780 chars)","verified":false,"liveness":"unknown","lastLivenessCheck":null,"agentReviews":{"count":0,"score_avg":null,"cost_usd_avg":null,"success_rate":null,"latency_p50_ms":null,"narrative_summary":null,"summary_updated_at":null},"enrichmentModel":"deterministic:skill-github:v1","enrichmentVersion":1,"enrichedAt":"2026-05-18T19:13:14.407Z","embedding":null,"createdAt":"2026-05-18T13:20:30.505Z","updatedAt":"2026-05-18T19:13:14.407Z","lastSeenAt":"2026-05-18T19:13:14.407Z","tsv":"'0':190 '1':192 'ambigu':328 'answer':226 'appear':310 'argument':52 'ask':297 'assum':178 'atom':209 'audit':2,6,40,56,69 'audit-correct':1 'awar':200 'batch':318 'behavior':79,98,252 'bias':130 'bound':146 'boundari':23,165 'branch':65 'bug':10,44,195,289,307,324 'byte':187 'caller':95,275 'canon':300 'case':24,166,329 'chang':61 'check':45,149 'cite':236 'claim':37,84,121 'code':27,77,111,116,240,283 'codebas':68 'collect':168 'comment':93,123 'concurr':203 'condit':21,154 'confirm':129 'contradict':99 'correct':3,41,220,279 'could':284 'datetim':201 'de':161 'default':64 'diff':126,321 'dimens':182 'disagre':253 'distinguish':210 'diverg':80,295 'docstr':36,92,273 'doesn':29 'dst':202 'edit':242,302 'either':287 'element':170 'empti':167 'erod':260 'error':219,229 'expect':96 'explicit':71 'failur':214 'fals':258 'faster':262 'file':60 'find':74 'fix':8,42,76,265,313,325 'flip':163 'full':67 'full-codebas':66 'git':320 'guess':303 'hazard':204 'implicit':177 'index':193 'intent':87,250,267 'invert':20,153 'kb':189 'left':330 'length':152 'line':237 'live':88 'logic':9,43,157,176 'loop':145 'max':173 'messag':127 'mismatch':26,183 'miss':160,208,264 'model':134 'morgan':162 'ms':184 'naiv':196 'name':34,90,122,271 'negat':172 'off-by-on':14,47,140 'one':17,50,103,143 'oper':19,158 'otherwis':59 'path':58 'pattern':132,276 'pin':277 'plausibl':285 'point':247 'posit':259 'prime':128 'produc':223 'prompt':139 'propag':305 'provid':55 'rang':148 're':233 're-read':232 'read':112,206,234,280 'report':319 'request':73 'requir':70 'run':314 'scope':13 'second':186 'sign':333 'sign-off':332 'signatur':91,272 'silent':213 'silent-failur':212 'sinc':62 'singl':169 'skill' 'skill-audit-correctness' 'slice':147 'source-jhostalek' 'spec':292 'stale':205 'stat':322 'surfac':293 'surround':175,239 'swallow':218 'target':51,54 'test':315 'time':194 'timezon':199 'timezone-awar':198 'toctou':207 'topic-agent-skills' 'topic-ai-coding' 'topic-anthropic' 'topic-claude' 'topic-claude-code' 'topic-claude-code-skills' 'topic-code-review' 'topic-codex-cli' 'topic-cursor' 'topic-developer-tools' 'topic-git-workflow' 'topic-multi-agent' 'touch':256 'trigger':38 'trust':261 'unambigu':269 'under-weight':135 'unhandl':22,164 'unit':180 'unit/dimension':25 'use':4 'user':72 'usual':107 'vs':150,159,185,188,191,197 'weight':137 'whose':78 'without':138 'wrong':18,105,156,225,304 'zero':171","prices":[{"id":"a6969678-a515-4715-9b75-91e70df8281a","listingId":"f49f4ef6-808f-413b-8c79-d2605b9c010f","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"skill-free","isPrimary":true,"details":{"org":"JHostalek","category":"dotclaude","install_from":"skills.sh"},"createdAt":"2026-05-18T13:20:30.505Z"}],"sources":[{"listingId":"f49f4ef6-808f-413b-8c79-d2605b9c010f","source":"github","sourceId":"JHostalek/dotclaude/audit-correctness","sourceUrl":"https://github.com/JHostalek/dotclaude/tree/main/skills/audit-correctness","isPrimary":false,"firstSeenAt":"2026-05-18T13:20:30.505Z","lastSeenAt":"2026-05-18T19:13:14.407Z"}],"details":{"listingId":"f49f4ef6-808f-413b-8c79-d2605b9c010f","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"org":"JHostalek","slug":"audit-correctness","github":{"repo":"JHostalek/dotclaude","stars":8,"topics":["agent-skills","ai-coding","anthropic","claude","claude-code","claude-code-skills","code-review","codex-cli","cursor","developer-tools","git-workflow","multi-agent","prompt-engineering","skill-md"],"license":"cc0-1.0","html_url":"https://github.com/JHostalek/dotclaude","pushed_at":"2026-05-17T15:07:41Z","description":"Agent skills for agentic coding tools. Extremely opinionated. Updated (almost) daily.","skill_md_sha":"b806f3859db4ba0056cf7a5cef7643c7a89d1831","skill_md_path":"skills/audit-correctness/SKILL.md","default_branch":"main","skill_tree_url":"https://github.com/JHostalek/dotclaude/tree/main/skills/audit-correctness"},"layout":"multi","source":"github","category":"dotclaude","frontmatter":{"name":"audit-correctness","description":"Use when auditing and fixing logic bugs in a scope — off-by-one, wrong operator, inverted condition, unhandled boundary cases, unit/dimension mismatch, code that doesn't do what its name or docstring claims. Triggers on \"audit correctness\", \"fix logic bugs\", \"check for off-by-one\", \"correctness review\"."},"skills_sh_url":"https://skills.sh/JHostalek/dotclaude/audit-correctness"},"updatedAt":"2026-05-18T19:13:14.407Z"}}