LeanCode
解数学题
模型：
Nano Banana Pro
paper-craft
