AWS 推出用于 Bedrock 自动推理策略的 Agent Skills 套件
原标题：Agent Skills for Automated Reasoning policies in Amazon Bedrock
AI 摘要
AWS 发布了用于 Amazon Bedrock 自动推理策略的 Agent Skills 套件，包含六个技能，覆盖策略生命周期中的构建、审查、测试、调试、部署和验证阶段。该套件基于 Anthropic 的开放 Agent Skills 格式，使编码代理能够通过脚本调用 Bedrock API，以代码方式管理策略，确保 AI 响应符合正式逻辑。文章还演示了从策略文档到验证答案的完整流程，并指出了服务行为中的一些约束。
正文节选
Agent Skills for Automated Reasoning policies in Amazon Bedrock Teams that adopt Amazon Bedrock Automated Reasoning checks often want to run the policy lifecycle in code. Running it in code keeps the work repeatable, reviewable, and driven by the coding agent they already use. Authoring a good Automated Reasoning policy has a learning curve, and the lifecycle has constraints that can trip you up. You write rules in a subset of SMT-LIB (a standard input format for automated theorem provers) and t