Agaricus alligator is a species of mushroom-forming fungus in the family Agaricaceae.

It is endemic to the US.

It was first described in 1945.

[1][2][3]