nuwa/dev: links for reasoning-tool