Submitted by ZihaoZhou 9 Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics Project-Numina 2