What do servers do about claiming tips at tax time?

They are supposed to have kept a daily tip log, and reported all their tips to their employers. The employer would take out tax on the tips, and your W-2 would show the income and the withholding, so you wouldn’t have to do anything special.