nuwa/stage: links for reasoning-tool