
lighthouse
Un Explorador de Cobertura para Ingenieros Inversos

Un Explorador de Cobertura para Ingenieros Inversos

Una plataforma full-stack de Red Teaming de IA que protege los ecosistemas de IA mediante Agent Scan, Skills Scan, MCP scan, AI Infra scan y…

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

Eliminación totalmente automática de la censura para modelos de lenguaje

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,…

Colección curada de los principales informes de bug bounty de HackerOne organizados por tipo de vulnerabilidad y programa, con scripts para obtener,…

📡 Colección completa de herramientas OSINT para profesionales de ciberseguridad, investigadores y cazadores de recompensas. Temas: recopilación de…

Colección de documentos de investigación de vulnerabilidades de Google Project Zero y pequeñas herramientas de seguridad independientes, incluidas…

Marco de trabajo agéntico de pruebas de penetración automatizadas potenciado por modelos de lenguaje grandes

IA de Ciberseguridad (CAI), el marco para la Seguridad de la IA

El índice más completo y actualizado continuamente de la comunidad sobre investigación de Modelos de Lenguaje de Gran Tamaño para la detección de…

Colección curada de recursos, laboratorios y materiales de formación en ciberseguridad que abarcan hacking ético, pruebas de penetración, desarrollo…

Una colección de listas inspiradoras, manuales, chuletas, blogs, hacks, comandos de una línea, herramientas de CLI/web y más.

Marco de jailbreak y guardrails para LLM evolutivo que hace crecer un pool de estrategias reutilizables mediante mutación genética, selección de…

Documenta una metodología de threat hunting estructurada y repetible que abarca desencadenantes, hipótesis SMART, criterios de viabilidad, alcance,…

Solucionador SMT de alto rendimiento para demostración automática de teoremas, resolución de restricciones y verificación de programas. Soporta…