作者把 VAT 号码的格式检查和 VIES 实时注册验证设计成两个 MCP 工具:前者离线判断字符串形式,后者调用外部服务确认注册状态,可能受延迟、故障和额度影响。工具描述明确写出两者的答案边界,避免把格式正确当作号码真实有效。