I don't have any experience with highly corroded pins, so I just insert the tube into the socket a few times.
Are you all cleaning your interconnect pins in this manner?
polishing pins of NOS tubes
I have some NOS tubes with corroded pins. I read that you can use a short brass brush to polish them. You can even attach a brass brush attachment to a dremel and spin it, but that would be a bad idea for me as I'm very clumsy and would most likely bend the pins.
So I ordered some short brass brushes from Amazon and gave it a go. There was essentially no corrosion removed after brushing one pin for 10 minutes.
The set includes a steel brush. I brushed a couple pins with that for 5 minutes and they got shiny! However I'm wondering if this can scratch the pin and actually degrade performance of the tube.
Anyone have a recommendation?