Isabelle Agent for Clide 2