AWS .NET SDK中Bedrock MEAI扩展工具调用问题的分析与解决
问题背景
在使用AWS .NET SDK的AWSSDK.Extensions.Bedrock.MEAI扩展时,开发者尝试通过IChatClient接口调用Bedrock服务并添加AITool工具时遇到了服务器端验证错误。错误信息明确指出JSON Schema定义存在问题:"The json schema definition at toolConfig.tools.10.toolSpec.inputSchema is invalid. Fix the following errors and try again: $.properties: null found, object expected"。
问题现象
当开发者使用以下代码模式时会出现问题:
IChatClient client = runtime.AsChatClient("us.anthropic.claude-3-7-sonnet-20250219-v1:0");
ChatOptions chatOptions = new ChatOptions();
AITool toolInLine = MyTools.GetAITestTool();
chatOptions.Tools.Add(toolInLine);
client.GetStreamingResponseAsync(messages,chatOptions);
错误表明在toolConfig.tools数组中的第10个工具的inputSchema.properties字段应为对象类型,但实际收到了null值。
技术分析
根本原因
经过深入分析,发现问题出在AWSSDK.Extensions.Bedrock.MEAI扩展包对AITool的转换逻辑上。当创建AITool时,如果工具函数没有参数,生成的JSON Schema中的properties字段会被设置为空对象{},而Bedrock服务端期望这个字段至少包含一些属性定义。
底层机制
在AWS Bedrock服务中,工具调用需要明确定义输入参数的JSON Schema。这个Schema需要包含:
- type字段(通常设为"object")
- properties字段(定义各个输入参数)
- required字段(列出必填参数)
当使用Microsoft.Extensions.AI包创建AITool时,如果工具函数没有参数,生成的Schema中properties字段会为空,这不符合Bedrock服务的预期。
解决方案
AWS SDK团队已经发布了修复版本AWSSDK.Extensions.Bedrock.MEAI 4.0.1.1,主要修改了工具配置的生成逻辑:
- 确保即使没有输入参数,也会生成合法的Schema结构
- 正确处理空properties的情况
- 保持与Bedrock服务端期望的Schema格式一致
修复后的代码会检查inputs.Type是否为Null,只有在有实际输入参数时才添加properties字段。
开发者应对策略
对于遇到此问题的开发者,可以采取以下措施:
- 升级到AWSSDK.Extensions.Bedrock.MEAI 4.0.1.1或更高版本
- 如果暂时无法升级,可以为工具函数添加虚拟参数作为临时解决方案
- 确保工具定义时提供完整的描述信息
最佳实践
在使用Bedrock的AI工具功能时,建议:
- 始终为工具函数定义清晰的输入参数
- 为每个工具提供详细的名称和描述
- 在ChatOptions中明确指定工具的使用方式
- 处理工具调用时检查返回状态和结果
总结
这个问题展示了AWS服务与客户端SDK之间Schema验证的重要性。通过这次修复,AWS .NET SDK更好地处理了无参数工具的情况,为开发者提供了更稳定的工具调用体验。开发者应当保持SDK的及时更新,以获取最新的功能改进和错误修复。
atomcodeClaude Code 的开源替代方案。连接任意大模型,编辑代码,运行命令,自动验证 — 全自动执行。用 Rust 构建,极致性能。 | An open-source alternative to Claude Code. Connect any LLM, edit code, run commands, and verify changes — autonomously. Built in Rust for speed. Get StartedRust098- DDeepSeek-V4-ProDeepSeek-V4-Pro(总参数 1.6 万亿,激活 49B)面向复杂推理和高级编程任务,在代码竞赛、数学推理、Agent 工作流等场景表现优异,性能接近国际前沿闭源模型。Python00
MiMo-V2.5-ProMiMo-V2.5-Pro作为旗舰模型,擅⻓处理复杂Agent任务,单次任务可完成近千次⼯具调⽤与⼗余轮上 下⽂压缩。Python00
GLM-5.1GLM-5.1是智谱迄今最智能的旗舰模型,也是目前全球最强的开源模型。GLM-5.1大大提高了代码能力,在完成长程任务方面提升尤为显著。和此前分钟级交互的模型不同,它能够在一次任务中独立、持续工作超过8小时,期间自主规划、执行、自我进化,最终交付完整的工程级成果。Jinja00
Kimi-K2.6Kimi K2.6 是一款开源的原生多模态智能体模型,在长程编码、编码驱动设计、主动自主执行以及群体任务编排等实用能力方面实现了显著提升。Python00
MiniMax-M2.7MiniMax-M2.7 是我们首个深度参与自身进化过程的模型。M2.7 具备构建复杂智能体应用框架的能力,能够借助智能体团队、复杂技能以及动态工具搜索,完成高度精细的生产力任务。Python00