​What is this tool? Retractable (?), would guess stainless steel, fits in your hand when folded.

My father has had this in his workshop for ages, and can’t recall what it is for.
Much obliged for an answer to this mystery!