Show HN: Send your agent to solve open math missions