Términos y condiciones
Última actualización: agosto de 2026
Estas condiciones regulan la contratación del servicio LogicProof AI. Al suscribirte, las aceptas.
1. El servicio
LogicProof AI es una herramienta de verificación formal que analiza la lógica de negocio de tu código y publica el resultado en tus Pull Requests. Es un servicio de software, no un servicio de consultoría ni una garantía de ausencia de fallos.
2. Planes, suscripción y créditos
Las suscripciones (Starter y Pro) se gestionan mediante Stripe. Cada plan asigna una cantidad de créditos por periodo, que permiten el uso del motor de análisis. Los créditos se renuevan al inicio de cada periodo y no se acumulan.
3. Política de reembolsos
Al tratarse de un producto digital de software de consumo inmediato, las cuotas mensuales o anuales no son reembolsables una vez consumidos créditos en el periodo correspondiente. No obstante, puedes cancelar tu suscripción en cualquier momento con un solo clic desde tu panel: conservarás el acceso hasta el final del periodo ya pagado y no se te volverá a cobrar.
4. Cancelación
La cancelación es inmediata y sin penalización desde el panel de cliente (/panel) o escribiendo a hola@logicproofai.com.
5. Uso aceptable
Te comprometes a analizar únicamente código sobre el que tengas derechos, y a no emplear el servicio para fines ilícitos ni para intentar comprometer la plataforma.
6. Disponibilidad y limitación de responsabilidad
Trabajamos para ofrecer un servicio continuo, pero no garantizamos disponibilidad ininterrumpida.
LogicProof AI demuestra matemáticamente, con el solver Z3, si el código analizado puede incumplir una regla concreta. Esa demostración es exacta dentro de su alcance —el código que se le entrega y las reglas que se le dan—, y por eso no sustituye a una auditoría de seguridad humana ni garantiza la ausencia del 100 % de vulnerabilidades en tu entorno de producción: no analiza tu infraestructura, ni tus dependencias, ni el código que no se le envía.
En la medida permitida por la ley, nuestra responsabilidad máxima agregada por cualquier reclamación, daño o pérdida derivada del uso del servicio se limita al importe abonado por el cliente en el periodo de suscripción en curso. Esta limitación no se aplica a los supuestos que la ley no permite excluir (dolo o culpa grave), ni afecta a los derechos que la normativa de consumo reconozca a quienes contraten como consumidores.
7. Modificaciones y ley aplicable
Podemos actualizar estas condiciones notificándolo con antelación razonable. Se aplican la legislación española y de la Unión Europea.