AWS, Bedrock 자동 추론 정책에 오픈소스 에이전트 스킬 도입

콘솔 작업을 코드로 옮기다

AWS가 Amazon Bedrock의 Automated Reasoning 정책 라이프사이클을 코딩 에이전트에서 그대로 실행할 수 있는 오픈소스 Agent Skills 모음을 공개했다. 이번 발표는 AWS ML Blog에 작성자 Adewale Akinfaderin 명의로 게재됐다. 기존에는 정책을 만들고 검증하는 작업이 Bedrock 콘솔에서 수행하는 전문적인 작업이었지만, 이번 스킬 세트는 이를 코딩 에이전트가 반복 수행할 수 있는 엔지니어링 워크플로로 바꿔준다.

Automated Reasoning 검사는 무엇을 검증하나

Automated Reasoning 검사는 두 단계로 작동한다. 먼저 파운데이션 모델(FM)이 질문과 답변을 형식 논리로 번역해 정책의 변수에 매핑한다. 이어 SMT(Satisfiability Modulo Theories) 솔버가 이 논리를 정책 규칙과 대조해 검증하고 판정을 내린다. 이 방식은 통계적 샘플링이 아니라 형식 논리 기반 검증이므로, 번역이 정확하다면 판정 결과의 수학적 정당성이 보장된다는 설명이다. 정책 규칙은 자동 정리 증명기의 표준 입력 포맷인 SMT-LIB의 부분집합으로 작성된다.

6가지 스킬로 나눈 정책 라이프사이클

공개된 스킬 세트는 정책 라이프사이클의 각 단계에 대응하는 6개의 스킬로 구성된다. 각 스킬은 짧은 지침 파일과 Bedrock Automated Reasoning API를 호출하는 실행 스크립트로 이뤄져 있으며, API 구조와 검출 유형, 규칙 문법을 설명하는 공통 참조 문서를 공유해 일관된 가이드를 제공한다.

단계	내용
규칙 추출	원문 문서에서 규칙을 추출
검토	서비스가 생성한 규칙 검토
테스트 작성	실제 사용자 질의를 반영한 테스트 작성
디버깅	실패 사례 진단
배포	버전 관리된 정책을 가드레일 뒤에 배포
검증	배포된 정책의 동작 검증

에이전트가 이 작업에 맞는 이유

Agent Skills는 앤스로픽(Anthropic)이 제안한 경량 오픈 포맷으로, 코딩 에이전트에 특정 서비스나 도메인에 대한 전문 지식과 작업 흐름을 확장해 부여하는 구조화된 컨텍스트 패키지다. 에이전트는 불완전하거나 오래된 일반 학습 데이터에 의존하는 대신, 스킬에 담긴 검증된 패턴과 흔한 실수, 단계별 작업 절차를 따라 올바른 API 호출을 생성한다. 포맷이 개방돼 있어 이를 지원하는 어떤 에이전트에도 설치할 수 있으며, AWS는 Kiro, Claude Code, Cursor, Codex를 호환 예시로 들었다.

AWS는 정책 작성 시 규칙 추출부터 API 제약 조건 대응까지 세부적이고 반복적인 작업이 많아, 명확한 규칙과 실패 유형을 가진 이런 업무가 적절한 지침이 주어진 코딩 에이전트에 적합한 작업이라고 설명했다. Automated Reasoning 검사를 도입하려는 팀들이 코드 기반으로 라이프사이클을 관리하고 싶어하는 이유도 반복 가능성과 검토 용이성 때문이라고 덧붙였다.

metallab.ai는 코딩 에이전트와 클라우드 서비스의 결합 사례를 지속적으로 다루고 있다.

남은 과제

AWS는 이번 스킬 세트를 실제 Bedrock 서비스에 적용하며 서비스 동작 방식에 대해 파악한 내용도 함께 공유했다고 밝혔으나, 구체적인 실행 결과나 성능 지표는 발췌된 내용에 포함되지 않아 추가 확인이 필요하다.