Política de privacidad y cookies

Última actualización: agosto de 2026

En LogicProof AI nos tomamos tu privacidad —y la de tu código— muy en serio. Esta política explica, de forma clara y sin letra pequeña, qué datos tratamos y cómo, conforme al Reglamento (UE) 2016/679 (RGPD) y la LOPDGDD.

1. Responsable del tratamiento

Miguel Martínez Caballero, Palma del Río (Córdoba), España, que opera bajo el nombre comercial LogicProof AI. Contacto para privacidad: hola@logicproofai.com.

2. Qué datos tratamos y para qué

Tratamos los mínimos datos imprescindibles:

  • Tu correo electrónico, y únicamente para: (a) autenticarte, (b) enviarte tu API Key, y (c) enviarte las alertas de vulnerabilidades de tus análisis. El envío de correo se realiza a través del proveedor Brevo. Se mide si el mensaje se entrega y si se abre (mediante una imagen invisible incrustada en el correo), con el seguimiento anónimo activado: esas aperturas no se asocian a ninguna persona concreta. Solo sirve para saber si nuestros avisos están llegando; no perfilamos ni cedemos ese dato.
  • Datos de facturación gestionados íntegramente por Stripe (nosotros no almacenamos números de tarjeta).

Base jurídica: la ejecución del contrato de servicio y tu consentimiento. No hacemos perfilado ni publicidad de terceros.

3. Garantía de Cero-Retención de tu código

El código fuente que nos envías —vía Pull Request de GitHub, desde el analizador local o en el formulario de la Demo— se procesa en memoria volátil, dentro de contenedores aislados, y SE ELIMINA INMEDIATAMENTE tras el análisis formal. Jamás almacenamos el código de nuestros clientes en disco ni en logs, y nunca lo usamos para entrenar modelos de inteligencia artificial.

El código se lee para construir su árbol de sintaxis y plantearle el problema al solver matemático, y para nada más. Lo que sí se conserva es el resultado —qué regla se puede incumplir, en qué fichero y en qué línea—, que es lo que se te enseña en tu panel; ese resultado no contiene fragmentos de tu código. Esta garantía no es una declaración de intenciones: está comprobada por una prueba automática que se ejecuta con cada cambio del producto.

4. Encargados y terceros

Para prestar el servicio trabajamos con proveedores que actúan como encargados del tratamiento, con las debidas garantías: Stripe (pagos), Brevo (correo), GitHub (integración de repositorios) y nuestro proveedor de hosting (servidor en la UE). No vendemos ni cedemos tus datos a terceros.

5. Conservación

Conservamos tu correo mientras tu cuenta esté activa y durante los plazos legales aplicables tras su baja. El código analizado no se conserva (ver punto 3).

6. Tus derechos

Puedes ejercer tus derechos de acceso, rectificación, supresión, oposición, limitación y portabilidad escribiendo a hola@logicproofai.com. También puedes reclamar ante la Agencia Española de Protección de Datos (aepd.es).

7. Cookies

Este sitio no utiliza cookies publicitarias ni de seguimiento de terceros. El panel de cliente emplea exclusivamente almacenamiento local técnico (localStorage) para recordar tu sesión (tu API Key en tu propio navegador). No se instala nada que requiera consentimiento de cookies analíticas.