mathagent: end-to-end math problem-solving / proof agent on A-Evolve 9aff26e 96kevinli29 Claude Opus 4.8 commited on Jun 29