Agaricus alligatorAgaricus alligator is a species of mushroom-forming fungus in the family Agaricaceae. It is endemic to the US. It was first described in 1945.