
lighthouse
面向逆向工程师的覆盖率浏览器

面向逆向工程师的覆盖率浏览器

一个全栈 AI 红队平台,通过 Agent Scan、Skills Scan、MCP scan、AI Infra scan 和 LLM 越狱评估来保障 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工具集。主题包括:信息收集、反向搜索、红队、信任与安全、人工智能。

Google Project Zero 漏洞研究文档和小型独立安全工具的集合,包括漏洞利用和基于虚拟化的分析实用程序。

由大语言模型驱动的自动化渗透测试智能体框架

网络安全人工智能(CAI),面向AI安全的框架

社区最全面、持续更新的关于大语言模型用于软件漏洞检测的研究索引——涵盖函数级、仓库级、智能体及智能合约检测的论文,以及数据集、基准测试和综述。

精心整理的网络安全资源、实验环境和培训材料合集,涵盖道德黑客、渗透测试、漏洞利用开发、逆向工程、数字取证与事件响应(DFIR)以及人工智能安全。

一系列鼓舞人心的清单、手册、速查表、博客、黑客技巧、单行命令、命令行/Web工具等。

进化式LLM越狱与防护栏框架,通过遗传变异、马尔可夫选择和在线对抗训练培育可复用策略池,用于安全评估。

为安全团队记录了一套结构化、可重复的威胁狩猎方法论,涵盖触发条件、SMART假设、可行性门禁、范围界定、狩猎计划和结果报告。

高性能SMT求解器,用于自动定理证明、约束求解和程序验证。支持多种理论和语言绑定,用于形式化分析。