用途：检查论证中的支持是否真正建立其主张，适用于数学证明、论文、研究结论或日常争论。方法领域中立，但具体断裂点因领域而异：数学中是反例，文章中是论证无法处理的案例，因果主张中是混杂因素。
主要能力：默认交互式、苏格拉底式，一次只问一个最可能暴露关键弱点的问题，等待回答后再跟进。先重建论证（主张、明示支持、隐藏假设），再探查前提虚假、结论被外部事实反驳、或推理链不成立三类攻击点，并区分演绎、归纳/统计、因果、类比四种推理类型。可套用专家意见、因果、类比、迹象、流行意见、滑坡等论证图式的标准批判性问题。最终收敛为裁决卡：主张、推理类型、裁决、断裂处、最小修复。
使用方式：用户选择被引导而非直接给答案；技能提问，用户推理。约3至5轮交流后，或用户要求直接告知时，停止探查并给出裁决。若用户只想要快速裁决，可跳过苏格拉底模式直接进入裁决阶段。若内容是形式定理或机器学习论文的实证主张且需要书面审计报告，则转交 theorem-and-claim-audit。
限制：不判断结论本身真假，只审计推理链；谬误名称只是待检验假设而非发现；非演绎论证按支持强度分级，不因不保证结论而判无效；优先收窄主张而非推翻论证。具体安装命令、平台与收费信息暂未提供。