Sharpening your mini gardening tools is not required and not a necessity. If you have or want to invest in a set of mini gardening tools, then you have a home garden which doesn’t require you to have extremely sharp tools. So sharpening your tools is not something you have or need to do.