My group, The Permuta Triangle, has been working on automating the discovery of combinatorial specifications. Some of the discovered results for pattern avoiding permutations, set partitions and (soon) Motzkin paths can be viewed at the ComboPal website. Click "Random" in the left hand corner to go on a tour of specifications!