用途：对代码质量审查、质量分析或架构评估中产生的发现（finding）做对抗性验证。默认假设发现可能有误，优先寻找反证，再对照真实源码核实，最终给出结构化裁定。
主要能力：
- 解析发现：提取 ID、标题、严重级别、文件位置与可验证断言（文件是否存在、代码结构、行为、设计符合性），生成核查清单。
- 源码复核：读取指定文件与行号，用 Grep/Glob 搜索相关代码，记录类型、函数、变量与实现的实际状态。
- 挑战分析：对每条断言分别寻找支持与反对证据，识别误读、过时引用、计数错误、范围混淆等。
- 结构化裁定：输出 finding_id、challenge_result（overturned/weakened/confirmed）、confidence、reasoning、counter_evidence、supporting_evidence、adjusted_severity、recommendation。
使用方式（资料给出的调用示例）： Skill(skill="insight-challenge", args='{"id":"HIGH-01","title":"...","file":"src/types.ts","line":58,...}')；批量可传 findings.json；也可直接内联给出发现文本。输入支持 JSON 或结构化文本。
适用场景：需要验证代码审查结论是否属实、是否夸大严重性，或需要为下游流程产出固定格式裁定时。相关技能包括 team-adversarial-swarm、team-quality-assurance、codify-to-knowhow。
限制与错误处理：被引用文件缺失时报告并记为 weakened（可能过时）；行号越界则搜索内容并调整行号；设计文档缺失则跳过设计验证并在报告中注明；证据含糊时列出双方并降低置信度；批量发现需逐条独立处理。原则是公平挑战：证据支持原发现时予以确认，不制造怀疑。具体安装、配置、收费与平台支持暂未提供。