micro-profile What is it? Provides some portal specific extensions to micro-profile. portal-metrics-api portal-mp-rest-client