h5i-dev/h5i

h5i – 에이전트 네이티브 웹 보안 워크스페이스

개요

• AI 에이전트를 사용하여 웹 앱 취약점을 찾고 Rust 웹 서비스를 형식 검증할 수 있는 명령줄 워크스페이스입니다.
• 두 가지 주요 모드가 있습니다:
  1. 레드팀(버그 찾기) – 에이전트가 헤드리스 브라우저를 조작하고, HTTP 트래픽을 캡처/수정하고, 사이트를 크롤링하며, CI/CD에서 재생할 수 있습니다.
  2. 형식 검증 – h5i-app Rust 프레임워크(Axum 기반)로 앱을 작성하고, Aeneas를 통해 Lean 4로 코드를 변환하여 권한 부여 또는 데이터 격리와 같은 속성을 증명합니다.

주요 구성 요소

구성 요소	역할
h5i CLI	에이전트(브라우저, 웹 보안, 정찰, 앱 명령)를 위한 통합 인터페이스.
브라우저 도구 키트	탐색, 클릭, 양식 작성 등을 자동화합니다.
HTTP 도구 키트	요청을 캡처, 변형, 재생하며 회귀 테스트에 유용합니다.
정찰 크롤러	크롤링 및 JS 분석을 통해 숨겨진 엔드포인트와 매개변수를 찾습니다.
h5i-app 크레이트	Lean 4로 변환 가능하도록 설계된 Axum 기반 Rust 프레임워크.
대시보드(h5i ui)	에이전트 세션, 트래픽, 샌드박스 상태를 표시하는 로컬 웹 UI.

일반적인 워크플로

1. 설치 – 원라이너 스크립트로 바이너리와 선택적 플러그인(websec, recon, test)을 추가합니다.
2. 레드팀 – 예:

   h5i browser open https://example.com
   h5i browser click @e3
   h5i websec requests            # 캡처된 트래픽 보기
   h5i websec replay req_42 --set query.id=456
   h5i recon crawl --max-requests 200
   

   에이전트는 구성 가능한 FS/네트워크 제한이 있는 샌드박스에서 실행할 수 있으며, 기록된 흐름은 CI 파이프라인에 저장하고 재생할 수 있습니다.
3. 검증 가능한 앱 빌드 – 예:

   h5i app new counter && cd counter   # 새 프로젝트 스캐폴드
   h5i app extract                     # Rust 코드를 Lean 4로 변환
   h5i app prove                       # Lean 증명 검사기 실행
   h5i app mutate                      # 코드를 변형하여 증명이 깨지는지 확인
   

   Rust 크레이트는 의존성(h5i-app = "0.1.1")으로 추가되며 HTTP 및 Postgres와 같은 기능을 지원합니다.
4. 모니터링 – h5i ui로 로컬 UI를 시작하여 브라우저 세션 및 재생 로그를 확인합니다.

중요성

• AI 기반 보안 테스트(신속한 에이전트 제어 탐색)와 형식 방법(수학적 보장)을 연결하며, 웹 보안 도구 공간에서는 드문 조합입니다.
• 에이전트 측을 가볍게(명령줄 명령) 유지하면서 증명 가능한 안전한 서비스를 위한 Rust 우선 개발 경로를 제공합니다.

시작하기

• 제공된 스크립트 또는 cargo install --path .를 통해 설치합니다.
• 에이전트 런타임용으로 바이너리를 스킬로 추가합니다(npx skills add h5i-dev/h5i).
• 전체 명령 참조는 MANUAL.md 또는 man h5i를 참조하세요.

라이선스 – Apache-2.0.

---

모든 세부 사항은 리포지토리의 README에서 직접 가져왔습니다.