~2.5g of psilocybe cubensis is considered a standard dose; according to this [0] study, ~10mg/g is a pretty typical psilocybin concentration in mushrooms, so 25mg of pure psilocybin sounds about right.
[0] https://pmc.ncbi.nlm.nih.gov/articles/PMC11856550/