Menu
Repair scaffold for crash/repro failures while preserving crash-path reachability.
Install with Codex or Claude Copy this prompt, paste it into Codex, Claude, or another assistant, and let it review the skill page and install it for you.
Based on SOC occupation classification
Classify reproduced crashes into harness bug, upstream bug, or inconclusive using evidence only.
Generate complete fuzz scaffold artifacts aligned to selected targets and execution plan.
Discover, update, and rank vulnerability candidates before execution planning.
Apply minimal evidence-driven build fixes in fuzz scaffold files for next build attempt.
Repair fuzz scaffold after build failures with strategy change and mapping consistency.
Repair scaffold for coverage replan cycles using seed and harness feedback as primary signals.
| name | synthesize_repair_crash |
| description | Repair scaffold for crash/repro failures while preserving crash-path reachability. |
| compatibility | opencode |
| metadata | {"stage":"synthesize-repair-crash","owner":"tianheng"} |
Repairs harness/scaffold after crash/repro failures with crash evidence as the primary signal.
Use this skill in repair mode for crash/repro failures.
repair_* diagnostics from coordinator contextfuzz/fuzz/execution_plan.json (if present)fuzz/fuzz/harness_index.json aligned to execution planapi_surface_exception with non-empty reason and evidence.non_public_api_usage, replace offending symbols first.main() in harness source;LLVMFuzzerTestOneInput (or language-equivalent fuzz entrypoint) as the only fuzz entry.fopen(argv[1], ...), read(argv[1], ...), manual corpus file loops).fuzz/repo_understanding.json.fuzz/out/ as the sole text of ./done (run echo 'fuzz/out/' > ./done; do not copy the file's contents).