Certified Operations Search