Terms of Service

1. Definitions

"Cajal Data" means formally verified mathematical datasets, proofs, annotations, metadata, verification artifacts, documentation, and related materials made available by Cajal through the Services or under an Order Form.

"Outputs" means curated datasets, verification artifacts, metadata, annotations, reports, files, or other work product generated or provided by Cajal through the Services or under an Order Form.

"Customer Content" means data, files, prompts, queries, code snippets, documentation, messages, or other materials submitted to the Services by or on behalf of a customer, excluding Cajal Data and Outputs.

2. Privacy

For information about how we collect, use, share, or otherwise process information about you, please see our Privacy Policy.

3. Eligibility; Authority

The Services are intended for use by commercial entities, research institutions, and other organizations. By accessing or using the Services on behalf of an organization, you represent and warrant that you have authority to bind that organization to these Terms, and "you" refers to that organization.

If you access or use the Services as an individual, you represent that you are at least the age of legal majority in your jurisdiction and have the legal capacity to enter into these Terms.

4. User Accounts and Account Security

You may need to register for an account to access some or all of the Services. If you register, you must provide accurate account information and promptly update it if it changes. You are responsible for maintaining the security of your account and for all activities that occur under your credentials. You must promptly notify us if you discover or suspect unauthorized access to your account.

We reserve the right to reclaim usernames or identifiers, including on behalf of businesses or individuals that hold legal claim (including trademark rights) in those usernames.

5. Fees, Billing, and Payment

a. Fees and Order Forms

Certain features of the Services require payment of fees ("Fees"). Fees, plan details, usage limits, and any additional terms may be set forth in an Order Form, in-product plan description, online checkout flow, invoice, or other written agreement referencing these Terms. Unless otherwise stated, Fees are in U.S. dollars and are non-refundable except as expressly set forth in these Terms or an applicable Order Form.

b. Billing Methods; Payment Processors

You may pay Fees using payment methods we support, which may include credit/debit card, ACH, wire transfer, or invoice. We may use third-party payment processors or billing providers to process payments. You authorize us (and our payment processors) to charge your payment method for Fees, applicable taxes, and any other amounts due.

c. Subscriptions; Auto-Renewal

If you purchase a subscription, you authorize recurring charges (e.g., monthly or annually) until you cancel in accordance with the applicable Order Form or account settings (if available). Subscription Fees are typically billed in advance for the relevant period.

d. Usage-Based Fees

If your Order Form includes usage-based pricing, you agree to pay Fees based on measured usage (for example, seats, access volume, queries, downloads, or other metered units described in the Order Form). We may bill usage in arrears or as otherwise specified.

e. Invoicing; Late Payments

If invoiced, you agree to pay invoices within the time stated (or, if not stated, within thirty (30) days). We may suspend or limit access for overdue amounts. To the extent permitted by law, overdue amounts may accrue interest at the lesser of (i) 1.5% per month or (ii) the maximum rate allowed by law, plus reasonable costs of collection.

f. Price Changes

We may change Fees with advance notice, including by updating a pricing page or providing notice through the Services. Changes apply to future billing periods and not retroactively unless required by law or agreed in an Order Form.

g. Chargebacks and Disputes

You agree not to initiate a chargeback or payment dispute without first making a good-faith effort to resolve the matter by contacting us. We may suspend or terminate accounts associated with fraudulent or abusive chargebacks or disputes.

h. Taxes

Fees are exclusive of taxes. You are responsible for all applicable taxes, levies, or duties, except taxes based on Cajal's net income. If you provide a valid exemption certificate, we will apply it where appropriate.

6. Customer Content; Contributor Materials

Our Services may allow you and other authorized users to upload Customer Content, including data files, messages, text, documentation, queries, prompts, and other materials.

a. Ownership

Except for the license you grant below, you retain all rights in and to your Customer Content as between you and Cajal.

b. License to Cajal for Service Operation

You grant Cajal and its affiliates a nonexclusive, worldwide, royalty-free license to host, store, reproduce, process, transmit, display, and modify Customer Content solely as necessary to provide, operate, maintain, secure, support, troubleshoot, and improve the Services for you, and as otherwise authorized in an Order Form or other written agreement.

Cajal will not use Customer Content, including proprietary mathematical queries, code snippets, prompts, uploaded files, evaluation materials, or similar materials, to train third-party models or to create, improve, or commercialize datasets, benchmarks, verification artifacts, or services for other customers, except with your permission or as expressly stated in an Order Form or other written agreement.

c. Contributor and Collaborator Materials

If you are engaged by Cajal as a contributor, contractor, annotator, formalization partner, or other collaborator under a separate written agreement, your uploads, contributions, and related work product may be governed by that separate agreement.

This Section does not grant Cajal any right to use Customer Content or customer confidential information to create datasets, benchmarks, verification artifacts, or services for other customers unless expressly authorized in an Order Form or other written agreement.

d. Your Responsibilities

You may not upload Customer Content that violates these Terms or for which you do not have all rights necessary to grant the license above. You represent and warrant that your Customer Content and our use of it as permitted by these Terms will not violate law or third-party rights.

e. Removal and Moderation

We do not generally pre-screen Customer Content. However, we reserve the right, at our sole discretion, to remove content and/or restrict access that we believe violates these Terms or is otherwise harmful, unlawful, or objectionable, with or without notice. You agree that we may suspend or terminate access for violations, and you acknowledge that we may cooperate with law enforcement where required or appropriate.

7. Prohibited Conduct and Content

You will not violate any applicable law, contract, intellectual property right, or other third-party right, and you are solely responsible for your conduct while using the Services. Except as expressly permitted in Section 8 (Ownership; Limited License; Data Use) or an Order Form, you will not:

• use or attempt to use another user's account without authorization;
• impersonate any person or entity or misrepresent affiliation;
• sell, resell, rent, or lease the Services except as expressly permitted by Cajal in writing;
• copy, reproduce, distribute, publicly perform, or publicly display all or portions of the Services except as expressly permitted;
• modify the Services, remove proprietary notices, or create derivative works based on the Services except as permitted by law;
• use the Services in a manner that interferes with or disrupts the Services or other users;
• reverse engineer, decompile, or attempt to discover source code or bypass access controls (except as prohibited by law);
• attempt to access non-public areas or features you are not authorized to access;
• use data mining, robots, scraping, or similar extraction methods without prior written consent;
• develop or use applications that interact with the Services without prior written consent; or
• use the Services for illegal or unauthorized purposes.

You may not upload Customer Content that is unlawful, infringing, contains malware, or includes private/personal information of third parties without appropriate consent.

You may not use the Services, Cajal Data, or Outputs primarily to reproduce, extract, or replicate the Cajal Data or Outputs, or to build a substitute dataset, benchmark, proof corpus, or verification artifact collection for distribution to third parties.

8. Ownership; Limited License; Data Use

The Services, Cajal Data, Outputs, and all related software, documentation, and content (excluding Customer Content) are owned by Cajal or our licensors and are protected under U.S. and foreign laws. Except as explicitly stated in these Terms, all rights are reserved.

Subject to your compliance with these Terms and any applicable Order Form, Cajal grants you a limited, nonexclusive, nontransferable license to access and use the Services, Cajal Data, and Outputs for your internal business, research, development, model training, fine-tuning, evaluation, benchmarking, analysis, and related machine learning purposes, unless an Order Form states otherwise.

Unless otherwise stated in an Order Form, you may distribute, deploy, provide access to, and commercialize models, model weights, parameters, embeddings, analyses, benchmark results, and other systems or outputs that you develop using Cajal Data or Outputs, provided that you do not redistribute Cajal Data or Outputs themselves in a manner that allows a third party to access, extract, reconstruct, or use the original Cajal Data or Outputs as a standalone dataset, corpus, benchmark, proof library, or verification artifact.

Except as expressly permitted in an Order Form, you may not sell, sublicense, publish, distribute, make available, or otherwise provide Cajal Data or Outputs to any third party as a standalone dataset, data product, benchmark, corpus, proof library, verification artifact, or substantially similar resource.

Any unauthorized use is prohibited and will terminate the license.

9. Trademarks

Cajal and our logos, product and service names, slogans, and the look and feel of the Services are trademarks of Cajal and may not be copied, imitated, or used without our prior written permission. Other trademarks are the property of their respective owners.

10. Feedback

You may submit questions, comments, suggestions, ideas, or other information about Cajal or the Services ("Feedback"). You agree that we may use Feedback for any purpose, commercial or otherwise, without acknowledgment or compensation, and that Feedback is nonconfidential.

11. Third-Party Content

We may provide access to third-party products, services, activities, events, or content, or allow third parties to make their content available through the Services ("Third-Party Content"). Your dealings with third parties are solely between you and the third party. Cajal does not control or endorse Third-Party Content and is not responsible for it.

12. Indemnification

To the fullest extent permitted by applicable law, you will indemnify, defend, and hold harmless Cajal and our affiliates, and each of our respective officers, directors, agents, partners, and employees (collectively, the "Cajal Parties") from and against any losses, liabilities, claims, demands, damages, expenses, or costs (including attorneys' fees) arising out of or related to: (a) your access to or use of the Services; (b) your Customer Content or Feedback; (c) your violation of these Terms; (d) your violation, misappropriation, or infringement of any rights of another; or (e) your conduct in connection with the Services. The Cajal Parties may control the defense and settlement of any claim subject to indemnification, and you agree to cooperate.

13. Disclaimers

Cajal uses formal verification tools and processes, including systems such as Lean 4 where applicable, to verify mathematical statements, proofs, and related artifacts within the assumptions, libraries, rules, and parameters of the applicable formal system. Formal verification status, scope, coverage, assumptions, and limitations may be described in the applicable documentation, Order Form, Statement of Work, or other written materials.

Except as expressly stated in an Order Form or other signed agreement, Cajal does not warrant that the Services, Cajal Data, or Outputs will be complete, uninterrupted, error-free, suitable for any particular purpose, or result in any specific level of performance, accuracy, reasoning ability, safety, or intelligence in any machine learning model, system, or application.

14. Limitation of Liability

To the fullest extent permitted by applicable law, Cajal and the Cajal Parties will not be liable to you under any theory of liability for any indirect, consequential, exemplary, incidental, punitive, or special damages or lost profits, even if advised of the possibility of such damages.

To the fullest extent permitted by applicable law, the total liability of Cajal and the Cajal Parties for any claim arising out of or relating to these Terms or the Services is limited to the greater of $100 or the amount paid by you to use the Services within the past 12 months.

These limitations do not apply to liability that cannot be excluded or limited under applicable law.

15. Release

To the fullest extent permitted by applicable law, you release Cajal and the Cajal Parties from responsibility, liability, claims, demands, and damages of every kind arising out of or related to disputes between users and the acts or omissions of third parties.

If you are a consumer who resides in California, you waive your rights under California Civil Code § 1542.

16. Publicity

Cajal may not use your name, trademarks, logos, or other identifiers in public customer lists, marketing materials, press releases, case studies, investor materials, or other publicity without your prior written consent.

Notwithstanding the foregoing, Cajal may identify you as a customer in confidential fundraising, financing, corporate transaction, or legal materials, provided that the recipient is subject to confidentiality obligations.

17. Disputes; Miscellaneous; Contact

a. Governing Law

These Terms and any action related thereto will be governed by the laws of the State of California, without regard to conflict of laws provisions.

b. Arbitration and Class Action Waiver

c. Time Limit

To the extent permitted by law, you agree not to bring any legal action against Cajal more than one (1) year after the date the claim arose.

d. Opt-Out

You have the right to opt out of binding arbitration within 30 days of first accepting these Terms by emailing support@caj.al. The opt-out notice must include your full name and clearly indicate your intent to opt out of binding arbitration.

e. Venue for Non-Arbitrable Disputes

Where arbitration is not required, the exclusive jurisdiction and venue of any action will be the state and federal courts located in Santa Clara County, California, and each party waives objections to jurisdiction and venue.

f. Entire Agreement; Order of Precedence

These Terms, together with the Privacy Policy and any Order Form, constitute the entire agreement between the parties relating to the Services. If there is a conflict between these Terms and an Order Form or other signed agreement, the Order Form or signed agreement controls to the extent of the conflict.

g. Severability; Waiver

If any part of these Terms is held unlawful, void, or unenforceable, it will be severed and the remainder will remain in effect. Failure to enforce a provision is not a waiver.

h. Assignment

You may not assign these Terms without our prior written consent. Cajal may assign these Terms in connection with a merger, acquisition, reorganization, or sale of assets.

i. Data Processing and Subprocessors

To the extent Cajal processes personal data on behalf of a customer as a processor, service provider, or similar role under applicable privacy law, such processing is governed by Cajal's Data Processing Addendum or another written data processing agreement between the parties. A current list of Cajal's third-party subprocessors is available on our Subprocessor List.

j. Confidentiality

Confidentiality obligations, if any, are governed by a separate written agreement between you and Cajal, such as a Master Services Agreement, Mutual NDA, Order Form, Statement of Work, or other written agreement. If no such agreement applies, Cajal will use commercially reasonable measures to protect non-public Customer Content from unauthorized access, use, or disclosure.

k. Export and Sanctions

You may not access, use, export, re-export, transfer, or otherwise make available the Services, Cajal Data, or Outputs in violation of applicable export control, sanctions, or trade laws. You represent that you are not located in, organized under the laws of, or ordinarily resident in any jurisdiction subject to comprehensive sanctions, and are not listed on any restricted-party list.

Contact