We derived a SKILL.md from the program-bench paper, then with that SKILL.md we reverse engineered the uniq binary.