Badges

This PR Adds badges and make current spec succeed.