I would probably take a flat wide shovel and "scape" the first 2" of top soil off,, that way you can also get roots out.
Then I would get some compost and top soil and amend it together on top of the "raw" soil,, and using a rake to even it back out,
it in your choice grass seed
that you want.( OR> lay plats of turf(grass) down and water daily Both grass or Plats of Turf, until seeds
are up and going or plats become established.
I don't know if that is the correct way, But I believe that is what I would do. I hope someone else comes along and makes further suggestions,, I can always learn something new my self