nuwa/production: links for completeness-score-idris