HUANG XIXUAN

mathprove ai

组合式数学推导与证明技能。适用于需要分步拆解、难度评估、在 SymPy 与 Lean4+Mathlib 间灵活切换、逐步验证并生成可审计草稿与正式稿的数学问题；可选启用 subagent 路由进行并行化解释/引理检索/证明骨架构建。