Besides structure prediction, Foldit is used for the inverse problem: protein design.