用途：把原始研究想法逐步推进为形式化、可辩护的命题与证明设计，避免在完整写作前投入数周。适用于用户自己的、尚不存在的新想法；若从已有论文弱点出发找想法，应使用 gap-finder。
主要能力：按顺序编排六个阶段并设退出条件。阶段0用 whiteboard-peer 把未成形的直觉交给有立场的同伴，要求给出一个明确立场、一次部分尝试和一次真实分歧；阶段1用 research-idea-stress-test 暴露隐藏假设、虚假新颖性和混杂因素；阶段2用 theory-assumption-extractor 提取命题所需前提，区分逻辑必要条件与便利条件；阶段3用 theorem-and-claim-audit 把想法与假设转为量化精确的陈述，检查是否过度陈述、循环或已被已知结论蕴含；阶段4用 theory-proof-sketcher 设计证明策略、所需引理、技巧与最危险步骤，可选经 theory-to-toy-cases 在最小实例上验证；阶段5用 theory-counterexample-hunter 与 theorem-and-claim-audit 攻击命题与骨架，在假设边界寻找反例并逐行审计推导；阶段6交给论文写作技能（method-section-writer、paper-argument-planner），必要时用 gap-finder 定位贡献。
使用方式：先收集无法推断的信息——一句话想法、所处形式化背景、以及“真”指定理、界、保证、不可能性结果还是经验规律。若用户实际要经验验证而非证明，应改走 research-idea-stress-test → experiment-design。按想法成熟度进入：清晰命题可跳过阶段1–2，模糊直觉从阶段1开始。
限制：本技能只负责排序与关卡，不重复产出各单点技能的内容；阶段5出现反例应回到阶段2或3收窄命题，收窄即成功；若阶段1判定放弃或重构则停止，不为无价值想法设计证明。具体命令、安装方式与收费信息暂未提供。