Show HN: Guardians – 실행 전 도구 사용 에이전트 워크플로우 검증
(github.com)
Guardians는 Z3 정밀 검증과 테인트 분석을 통해 AI 에이전트 워크플로우를 실행 전 정적으로 검증함으로써, 프롬프트 인젝션 공격을 구조적으로 차단하고 자율형 에이전트의 보안 신뢰성을 근본적으로 높이는 기술적 해결책을 제시합니다.
이 글의 핵심 포인트
- 1프롬프트 인젝션을 데이터와 명령의 혼재로 정의하고 SQL 인젝션 방식의 해결책 제시
- 2실행 전(Static) 단계에서 Z3 정밀 검증, 테인트 분석, 보안 오토마타를 통한 3중 검증 수행
- 3