Browse reusable Agent Skills, each with a clear purpose and practical guidance.
Detects null pointer dereference vulnerabilities by identifying unchecked pointer usage and missing validation. Use when analyzing pointer operations, input validation, or investigating crash vulnerabilities.
Detects unsafe pointer subtraction operations that can lead to incorrect size calculations and integer underflow. Use when analyzing pointer arithmetic, size calculations, or investigating buffer sizing issues.
Root cause analysis for bugs. Dispatches RCA executors in parallel, consolidates findings, and appends RCA Diagnosis to the plan file.
Systematic debugging workflow enforcing 'The Iron Law': No fixes without root cause investigation first.
Interrogate code changes to surface decisions, alternatives, and confidence levels. Use when user asks to "interrogate", "what decisions", "hardest part", "alternatives", or wants to understand the reasoning behind code changes.
Internal skill used by dev-design at Phase 4 exit gate. Dispatches a reviewer subagent to verify PLAN.md quality before implementation. NOT user-facing.
Infrastructure maintainability verification covering naming conventions, formatting, DRY patterns, and version constraints.
Use when configuring Dialyzer for Erlang/Elixir type checking and static analysis.
Automatically discover debugging and profiling skills when working with debugging. Activates for debugging development tasks.
Automatically discover formal methods and verification skills when working with formal methods. Activates for formal development tasks.