最终的组合大skill。对用户输入的数学公开问题,依次调用 literature-search、literature-analysis、literature-proof-framework,输出完整的文献调研—方法分析—证明框架三合一报告。