
lighthouse
리버스 엔지니어를 위한 커버리지 탐색기

리버스 엔지니어를 위한 커버리지 탐색기

Agent Scan, Skills Scan, MCP 스캔, AI 인프라 스캔 및 LLM 탈옥(jailbreak) 평가를 통해 AI 생태계를 보호하는 풀스택 AI 레드팀 플랫폼

Modular LLM vulnerability scanner that probes for hallucination, data leakage, prompt injection, jailbreaks, and toxicity using static, dynamic, and…

😱 A curated list of amazingly awesome OSINT

Archive of the Top 10 Web Hacking Techniques - every nominee since 2006, preserved

Trace-assisted VMProtect devirtualization research platform: version front-ends feed a shared Remill/LLVM backend to lift handlers, recover dataflow,…

취약점 유형 및 프로그램별로 정리된 최고의 HackerOne 버그 바운티 보고서 모음으로, 공개된 보고서를 보안 연구 및 교육을 위해 가져오고, 중복 제거하고, 순위를 매기는 스크립트를 포함합니다.

📡 사이버보안 전문가, 연구자, 버그 바운티 헌터를 위한 OSINT 도구 종합 컬렉션. 주제: 정보 수집, 역검색, 레드팀, 신뢰 및 안전, AI.

Google Project Zero 취약점 연구 문서 모음과 소규모 독립형 보안 도구 모음으로, 익스플로잇 및 가상화 기반 분석 유틸리티를 포함합니다.

대규모 언어 모델로 구동되는 자동 침투 테스트 에이전트 프레임워크

사이버보안 AI (CAI), AI 보안을 위한 프레임워크

커뮤니티에서 가장 포괄적이고 지속적으로 업데이트되는 대규모 언어 모델(LLM) 기반 소프트웨어 취약점 탐지 연구 인덱스 — 함수 수준, 저장소 수준, 에이전트 기반, 스마트 계약 탐지에 이르는 논문과 데이터셋, 벤치마크, 설문 조사를 포함합니다.

큐레이팅된 사이버보안 리소스, 랩, 교육 자료 모음으로, 윤리적 해킹, 침투 테스트, 익스플로잇 개발, 리버스 엔지니어링, DFIR, AI 보안을 다룹니다.

영감을 주는 목록, 매뉴얼, 치트시트, 블로그, 해킹, 원라이너, CLI/웹 도구 등의 모음입니다.

진화적 LLM 탈옥 및 가드레일 프레임워크로, 유전적 변이, 마르코프 선택, 온라인 적대적 훈련을 통해 재사용 가능한 전략 풀을 성장시켜 안전성 평가를 수행합니다.

보안 팀을 위한 트리거, SMART 가설, 실행 가능성 게이트, 범위 설정, 헌트 계획, 결과 보고를 포괄하는 구조화되고 반복 가능한 위협 헌팅 방법론을 문서화합니다.

자동 정리 증명, 제약 조건 해결 및 프로그램 검증을 위한 고성능 SMT 해결사. 형식적 분석을 위한 여러 이론 및 언어 바인딩을 지원합니다.