FinMath for Agents