How hot did they get? Are they annealed from the heat? Whether that matters depends upon what the tools are. Wrenches, cold chisels, and other tools that take a lot of strain, and have been overheated, are worthless.
You can polish them on a cotton buff with a stainless compound. That will probably restore their finish.