Yeah. To elaborate further: it is certainly true that tools could speed up solutions in the challenge puzzles. In fact, for a great number of challenge puzzles, automated algorithms could simply solve the entire puzzle! So we're trying to draw a balance between redundant work in the challenge puzzles and sufficient nucleotide-level practice for the lab.
The very rough equivalent to Foldit recipes are Lab Strategies -- although the serve a different scientific purpose.