Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics | Signal Canvas | ScienceToStartup