nuwa/dev: links for completeness-score-idris