아마존은 베드락의 오토메이티드 리즈닝(Automated Reasoning) 정책을 코딩 에이전트에서 직접 구축·검토·테스트·디버깅·배포·검증할 수 있는 6종의 오픈소스 '에이전트 스킬' 모음을 공개했다. 각 스킬은 정책 수명주기의 한 단계씩을 담당하며, 클로드 코드·큐로·커서·코덱스 등 오픈 포맷을 지원하는 모든 에이전트에 설치할 수 있다. 오토메이티드 리즈닝 검사는 자연어 질의응답을 SMT-LIB 형식의 형식논리로 변환한 뒤 SMT 솔버로 검증해, 통계적 샘플링이 아닌 수학적 확실성으로 AI 응답이 정책을 준수하는지 판단한다. 육아휴직 자격 정책 사례에서는 3개 문장으로부터 6개 규칙과 4개 변수를 추출했으며, SATISFIABLE 판정은 실패가 아니라 정책과 일치하되 증명되지는 않은 답변임을 구분하는 것이 핵심 학습 포인트로 제시됐다.

• •정책 수명주기 6단계(빌더·리뷰어·테스터·디버거·배포자·검증자)에 맞춘 오픈소스 에이전트 스킬을 공개했다.
• •오토메이티드 리즈닝은 자연어를 SMT-LIB 형식논리로 변환해 SMT 솔버로 수학적으로 검증한다.
• •클로드 코드, 큐로, 커서, 코덱스 등 오픈 포맷을 지원하는 임의의 코딩 에이전트에 설치 가능하다.
• •SATISFIABLE 판정은 정책과 모순되지 않지만 증명되지 않은 답변을 뜻하며 실패로 오인하면 안 된다.
• •모든 판정은 근거 규칙과 함께 반환돼 검증 가능한 감사 추적을 제공한다.