http://mini-dev-tools-professional.appstor.io 2025-06-07 1.0