There are patches of dead grass or weeds on my lawn. To repair them I have
to manually pull out the thatch, spread grass seeds, then cover the seeds
with soil. This is a lot of work.

Is there some tool that would insert the grass seeds into the soil, past the
thatch?