Socratic-SWE: Self-Evolving Coding Agents via Trace-Derived Agent Skills

Socratic-SWE 把 coding agent 历史解题轨迹蒸馏成结构化 agent skills，用这些 skills 生成针对弱点的真实仓库修复任务，再通过执行验证和 solver-gradient alignment reward 筛选任务。闭环迭代后 Solver 产生新轨迹继续更新课程；在 SWE-bench Verified、Lite、Pro 和 Terminal-Bench 2.0 上优于同预算 self-evolving baseline，三轮后 SWE-bench Verified 达 50.40%。