Herramienta open source para análisis de seguridad y generación de código seguro mediante AI generativa y simbólica. Detecta y corrige vulnerabilidades en tiempo real, integra con GitHub y VS Code. Ideal para equipos que priorizan seguridad, proyectos opensource y devs que buscan automatización con protección.