SkillFortify
SkillFortify는 Qualixar의 Varun Pratap Bhardwaj가 2026년 3월 공개한 AI 에이전트 스킬 보안 정식 검증(formal verification) 프레임워크다. GPT나 Claude 같은 LLM이 텍스트를 처리하듯, SkillFortify는 에이전트가 사용하는 스킬과 플러그인의 권한 범위를 수학적으로 증명하여 안전성을 판정한다. Dolev-Yao 공격자 모델을 에이전트 스킬 도메인에 최초 적용한 DY-Skill 위협 모델을 핵심으로, 추상 해석(abstract interpretation) 기반 정적
SkillFortify는 Qualixar의 Varun Pratap Bhardwaj가 2026년 3월 공개한 AI 에이전트 스킬 보안 정식 검증(formal verification) 프레임워크다. GPT나 Claude 같은 LLM이 텍스트를 처리하듯, SkillFortify는 에이전트가 사용하는 스킬과 플러그인의 권한 범위를 수학적으로 증명하여 안전성을 판정한다. Dolev-Yao 공격자 모델을 에이전트 스킬 도메인에 최초 적용한 DY-Skill 위협 모델을 핵심으로, 추상 해석(abstract interpretation) 기반 정적 분석과 5개의 수학적 건전성 정리(soundness theorem)를 통해 스킬의 capability 위반 여부를 검증한다. 기존 에이전트 보안 접근법은 대부분 런타임 샌드박싱이나 수동 코드 리뷰에 의존했다. ClawHavoc 캠페인처럼 1,200개 이상의 스킬이 동시에 침해당하는 공급망 공격이 현실화된 상황에서, 사후 탐지 방식은 근본적 한계를 드러낸다. SkillFortify는 설치 전 단계에서 capability 기반 접근 제어(POLA compliance)를 정식 증명하고, SAT 기반 종속성 해석기(dependency resolver)로 1,000노드 그래프를 100밀리초 이내에 처리한다. 540개 벤치마크 스킬(SkillFortifyBench) 대상 정밀도(precision) 100%, 재현율(recall) 94.07%, F1 96.95%를 달성하며 오탐(false positive)이 0%인 점이 핵심 차별점이다. SLSA에서 영감받은 4단계 신뢰도 체계(L0 Unsigned → L3 Formally Verified)로 스킬의 검증 수준을 정량화한다. 생명정보학 연구 환경에서 SkillFortify는 다중 에이전트 파이프라인의 보안 감사에 직접 활용된다. 예를 들어 Claude Code, LangChain, CrewAI 등 22개 프레임워크의 스킬을 단일 명령(`skillfortify scan`)으로 자동 탐지·검증하고, CycloneDX 1.6 규격의 Agent SBOM(소프트웨어 자재 명세서)을 생성하여 EU AI Act(Article 15)나 NIST AI RMF 같은 규제 컴플라이언스 문서화를 자동화할 수 있다. skill-lock.json을 통한 재현 가능한 환경 고정은 연구 재현성(reproducibility) 확보에도 기여하며, registry-scan 명령으로 MCP·PyPI·npm 패키지를 설치 전 사전 검사하여 실험 환경 오염을 예방한다. 스킬 1개당 평균 분석 시간이 약 2.5밀리초로, CI/CD 파이프라인에 삽입해도 빌드 시간에 거의 영향을 주지 않는다.
💻 필요한 컴퓨터 사양
불필요 (CPU 전용 정적 분석 — GPU 미사용)
패키지 자체 100MB 이내, 벤치마크 데이터셋 포함 시 ~500MB
⚡ 설치법
### 4-1. Quick Start
```bash
pip install skillfortify # 코어 스캐너
skillfortify scan # 시스템 전체 에이전트 스킬 자동 탐지 + 검증
```
### 4-2. 상세 설치
```bash
# 옵션별 설치
pip install skillfortify # 코어 스캐너
pip install skillfortify[registry] # + 마켓플레이스 스캐닝 (MCP/PyPI/npm)
pip install skillfortify[all] # 전체 기능
# 주요 CLI 명령
skillfortify scan # 시스템 전체 스킬 자동 탐지 및 분석
skillfortify verify <skill_path> # 개별 스킬 정식 검증
skillfortify lock # skill-lock.json 잠금 파일 생성
skillfortify trust <skill_path> # 신뢰도 점수 계산 (L0~L3)
skillfortify sbom # CycloneDX 1.6 ASBOM 생성
skillfortify registry-scan <package> # 설치 전 레지스트리 패키지 사전 검사
skillfortify dashboard # HTML 보안 대시보드 생성
skillfortify frameworks # 지원 프레임워크 및 탐지 상태 확인
```🧬 바이오 활용
다중 에이전트 파이프라인 보안 감사**
Claude Code + LangChain + CrewAI를 조합한 자동화 파이프라인에서, `skillfortify scan`으로 전체 스킬의 capability 범위를 일괄 검증. 파일 시스템 접근, 네트워크 호출, 코드 실행 등 민감 권한이 선언 범위를 초과하는 스킬을 스킬당 ~2.5ms로 탐지하여, 수백 개 스킬 환경에서도 수 초 내 전체 감사 완료.
규제 컴플라이언스 문서 자동화**
EU AI Act Article 15, NIST AI RMF 대응이 필요한 연구 기관에서, `skillfortify sbom`으로 CycloneDX 1.6 규격 Agent SBOM을 자동 생성. 에이전트 스킬 공급망의 출처·버전·검증 상태를 기계 판독 가능 형식으로 문서화하여 감사 대응 시간 단축.
CI/CD 게이트 통합**
GitHub Actions 또는 GitLab CI에 `skillfortify batch verify` 단계를 추가하여, 새로운 스킬/플러그인 추가 시 자동 검증 게이트 적용. 0% 오탐률(precision 100%)로 개발 워크플로우 중단 없이 악성 스킬 인젝션을 차단. skill-lock.json으로 검증된 환경을 고정하여 배포 재현성 확보.
📝 업데이트 노트
아직 업데이트 노트가 없습니다.
🧪 관련 생명의 코드
관련된 생명의 코드 글이 아직 없습니다.