Hi there
Mystery snails tend to get a bit larger than the frogs (1-2 in) if you are ok with that. i would reccomend a snail of you are going to have a community tank of ADFs and make sure to have biological filtration, my last ADFs passed away for that reason

Good luck with your frogs!