Términos y condiciones
Última actualización: julio 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 logicproofai@gmail.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. En la medida permitida por la ley, nuestra responsabilidad se limita al importe abonado por el cliente en el periodo en curso.
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.