I don’t think the Proud Boys have much of a hold in Michigan, but there are infinite similar groups. Terry Nichols was a member of the Michigan Militia and Tim Mcveigh was fringely associated although apparently even they thought he was a creep.
Also, insurrection isn’t really a Proud Boys thing. These guys are a joke but a little more serious than the Proud Boys.
If it’s anything like the Muslims that the FBI entraps into conspiring with FBI agents, that’s possible. In those cases the FBI are the driving force behind the plot and they try to get people to go along with it. Some of those cases are quite despicable.
I’ve never heard of the feds targeting right wing groups like that so I kind of doubt that’s the case here.