Mathpix AI agent: Murage + Mathpix