用途：从证明、模型或实证论证中提取显性假设与隐藏假设，在信任结论之前让隐含前提可见。适用于定理阅读、论文评审、提案批评、证明调试等场景。
主要能力：区分逻辑必要与证明便利；识别引理中隐藏的假设；指出删除某假设会在何处破坏论证；建议更弱的替代假设；输出目标主张、显性假设、隐藏假设表格、可能过强的假设、可能的弱化替代、主要结构依赖与风险评估。
使用方式：按步骤操作——先精确陈述目标主张（明确变量、制度、收敛概念、概率限定词、比较对象）；再列出显性假设，并区分数学、统计、计算与数据生成假设；然后检查每个证明步骤、近似与实证主张，寻找正则性、结构性、概率性、可识别性、渐近与实证等隐藏假设；接着指出每个假设在何处进入论证；再将其分类为本质、证明便利或可能过度；随后具体测试删除假设的后果；最后在证明路径合理时建议更弱替代。输出使用固定格式，包含目标主张、显性假设、隐藏假设表格等段落。
限制：不得声称弱化版本有效，除非证明路径合理；不要把“文献中常见”误认为“必要”；避免把渐近假设自动视为现实；需区分数学上充分、经验上合理与计算上可行。资料未提供具体安装命令、收费或平台信息。