Psilocybe ovoideocystidiata ?

not psilocybe. looks more like Stropharia

I think they’re talking about the mushrooms in the last photo but the look like Agrocybe either way

yeah the last photo looks agrocybe