ai for developers skills

17 tagged ai for developers, measured the same way as everything else here.

Browse within: ai-assisted-development 17code-quality 17context-engineering 17developer-productivity 17

nguyenthienthanh/aura-frog

Skill Claude CodeCodex

Draft → generate verification questions → answer independently via tools → revise. Catches hallucinated facts in reports and reviews. MANDATORY for Phase 4 security/test claims. Paper: Dhuliawala et al. 2023.

24 7d ago A 51 tokens original MIT

conflict-detector

02

nguyenthienthanh/aura-frog

Skill Claude CodeCodex

L1-L4 conflict detection between a proposed T4 task and pending-confirm sibling tasks. L1 (file overlap) + L2 (function/region overlap) ship in v3.7.0-beta.2 as deterministic bash. L3 (semantic LLM) + L4 (architectural LLM) are stubbed for v3.7.0-rc.1.

24 7d ago A 84 tokens original MIT

deep-debugging

03

nguyenthienthanh/aura-frog

Skill Claude CodeCodex

Systematic debugging protocol for bugs that resist quick fixes. Use bisection, hypothesis trees, and scientific method when a bug isn't obvious from the stack trace. Goes beyond bugfix-quick for production-grade root cause analysis.

24 7d ago A 49 tokens original MIT