Еще в 2013 году была запущена исследовательская программа Verigames. В ней игрокам предлагалось сразиться в пяти разноплановых играх. В ходе игры участники генерировали многочисленные комментарии, по которым создавались правила верификации для изыскания недостающих C- и Java-классов в системе. Как оказалось, совсем не эксперты способны породить несколько сотен тысяч комментариев с полезными советами.