Нужна ли участнику лицензия, если по его коду ОКВЭД класса 72 сервис проверки показывает лицензируемую деятельность?

Нет: сама запись кода ОКВЭД в ЕГРЮЛ лицензии не требует — лицензия нужна только если компания фактически ведёт лицензируемый вид деятельности.

Пометка сервиса проверки о том, что класс 72 лицензируем, нормативным источником не является: код 72.19 включает много подвидов, а лицензируется не код, а конкретный вид деятельности; перечень лицензируемых видов установлен Федеральным законом от 04.05.2011 № 99-ФЗ «О лицензировании отдельных видов деятельности» — сверяйте с ним свою фактическую деятельность, а вопросы по конкретной лицензии решает лицензирующий орган соответствующего вида деятельности.

Правила проекта требуют наличия в ЕГРЮЛ сведений о виде экономической деятельности класса 72 «Научные исследования и разработки» и (или) его подклассах; требования именно к коду 72.19 нет (подп. 3.1 ст. 5 Правил осуществления исследовательской деятельности, подп. 9 ст. 5 Положения о статусе). Выбирать стоит тот подвид класса 72, который подходит фактической деятельности компании.