Hi, Fabio
If you look at hpc gears and the T5 pulleys it will give you
the sizes for PCD and pulley OD .

https://www.hpcgears.com/

The calculation is for example your 80 tooth pulley is

80x 5 = 400 divided by Pi 127.33mm = PCD
127.33 – 0.83 = 126.50 mm pulley OD.

Looking here will give you the pulley tooth belt profile.

https://us.misumi-ec.com/vona2/detail/110300406820/

——————-

An article Form relieved toothed belt cutters published
MEW 164 June 2010 shows toothed belt cutters
made using the Eureka form relieving tool which may be
of some interest.

I have recently done something similar using a ground fly
cutting tool to cut 1/5 XL pulleys the photo here
shows a 66 tooth pulley being flycut / hobbed
takes about 4 minutes to cut all the teeth.

A gear tooth caliper is a useful thing to have when grinding
these sort of profiles ,they can be had from China these days
for around £25.

John