As I understand it, mic level input and line level input are two different things, with line level input having a much higher power level.
In my case, I'm dealing with an old minidisc recorder that only has a line level input on it. This is using a regular 3.5mm jack.
I see plenty of attenuators/converters around for going from Line -> Mic, but what I am not finding is the reverse - an amplifier that would boost the mic level to line level, and simultaneously be portable for field recording.
This is not a product recommendation post, I just need to know if the thing I'm looking for even exists, is reasonable, and if a "3.5mm mic amp" is the right terminology for it.