Habilidades de Agente para Políticas de Raciocínio Automatizado no Amazon Bedrock

Esta postagem do AWS Machine Learning Blog descreve um conjunto de habilidades de agente (Agent Skills) para automatizar o ciclo de vida das políticas do Amazon Bedrock Automated Reasoning. As habilidades, construídas sobre o formato aberto de Agent Skills da Anthropic, estendem agentes de codificação, como Claude Code, Kiro, Cursor e Codex, com conhecimento especializado para lidar com criação, revisão, teste, depuração, implantação e validação de políticas. As verificações do Automated Reasoning usam um processo de duas etapas: primeiro, os modelos de fundação traduzem perguntas e respostas em lógica formal; em seguida, um solucionador SMT valida essa lógica em relação às regras de uma política, fornecendo vereditos matematicamente sólidos e explicáveis. As seis habilidades incluem construtor, revisor, testador, depurador, implantador e validador, cada uma com instruções e scripts para interações específicas com a API. O artigo percorre um exemplo usando uma política de licença parental, demonstrando como criar uma política a partir de um documento de origem, revisar relatórios de qualidade, executar testes e implantar atrás de um guardrail. As principais lições enfatizam que a explicabilidade é central — cada veredito retorna regras de suporte ou contradição — e que um veredito SATISFIABLE não é uma falha, mas indica consistência em vez de implicação lógica. As habilidades também lidam com restrições, como o número limitado de fluxos de trabalho de construção simultâneos, liberando automaticamente slots.