Add specification summary to repo