아마존 베드락의 자동 추론 정책을 위한 에이전트 스킬

이 AWS Machine Learning 블로그 게시물은 Amazon Bedrock Automated Reasoning 정책의 수명 주기를 자동화하기 위한 Agent Skills 제품군에 대해 설명합니다. Anthropic의 오픈 Agent Skills 형식으로 구축된 이 스킬은 Claude Code, Kiro, Cursor, Codex와 같은 코딩 에이전트를 확장하여 정책 작성, 검토, 테스트, 디버깅, 배포 및 검증을 처리하는 전문 지식을 제공합니다. Automated Reasoning 검사는 두 단계 프로세스를 사용합니다. 첫째, 파운데이션 모델이 질문과 답변을 형식 논리로 변환한 다음, SMT 솔버가 정책의 규칙에 대해 해당 논리를 검증하여 수학적으로 타당하고 설명 가능한 판정을 제공합니다. 여섯 가지 스킬에는 빌더, 리뷰어, 테스터, 디버거, 디플로이어, 밸리데이터가 포함되며, 각각 특정 API 상호 작용에 대한 지침과 스크립트가 있습니다. 이 게시물은 육아 휴직 정책을 예로 들어 소스 문서에서 정책을 만들고, 품질 보고서를 검토하고, 테스트를 실행하고, 가드레일 뒤에 배포하는 방법을 설명합니다. 핵심 교훈은 설명 가능성이 핵심이라는 것입니다. 모든 판정은 지지 또는 모순되는 규칙을 반환하며, SATISFIABLE 판정은 실패가 아니라 일관성을 의미하지만 함의는 아님을 나타냅니다. 이 스킬은 또한 제한된 수의 동시 빌드 워크플로와 같은 제약 조건을 자동으로 슬롯을 해제하여 처리합니다.