nuwa/production: links for reasoning-tool