Last updated: February 2026
By accessing or using Invariant, you agree to be bound by these Terms of Service. If you do not agree, do not use the service.
Invariant provides a verification tool for AI-assisted coding, including test running, proof capture, and cloud sync functionality.
You are responsible for maintaining the security of your account credentials. You must notify us immediately of any unauthorized access.
You agree not to misuse the service, attempt to gain unauthorized access, or use the service for any illegal purpose.
Paid plans are billed monthly. You may cancel at any time. Refunds are handled according to our Refund Policy.
Invariant is provided “as is” without warranties. We are not liable for any indirect, incidental, or consequential damages.
We may update these terms. Continued use after changes constitutes acceptance.