Operation Assistant at Certik