亚马逊推出自动推理检查工具