Anthony Williams has signed a permanent contract at Wrexham following his recent loan spell from Carlisle United.
The goalkeeper played a huge role in keeping Wrexham in League Two and had been keen to stay at The Racecourse Ground.
He was out of contract at Carlisle and, by agreeing a deal with The Dragons, becomes Brian Carey's first signing of the summer.
Proctor has signed a three-year deal and the former Sunderland trainee will join Wrexham when his current deal with Pools expires in June.
"This is a big signing for us, he is a clever and bright footballer," Wrexham boss Brian Carey told the club website.
"Michael came here along with Anthony Williams at a period when we needed help and the pair certainly made a difference.
"Now I want him to help us push on and mount a challenge at the top of the table.
"With a full pre-season under his beat I think there is even more to come from him."