Terms of service

EFFECTIVE: 11.02.2026

Thank you for using [insert product name]! These Terms apply to your use of any product, that says they do. This is an agreement between you and [insert product name].

“We”, “us” and “our” mean me.

If you are a robot, you may use our Services, but you must be honest about it if anyone asks.

What you can do. Subject to your compliance with these Terms, you may access and use our Services. In using our Services, you must comply with all applicable laws and any other documentation, guidelines, or policies we make available to you.

What you cannot do. You may not use our Services for any illegal, harmful, or abusive activity. For example, you may not:

• Use our Services in a way that infringes, misappropriates or violates anyone’s rights.
• Modify, copy, lease, sell or distribute any of our Services.
• Attempt to or assist anyone to reverse engineer, decompile or discover the source code or underlying components of our Services, including our models, algorithms, or systems (except to the extent this restriction is prohibited by applicable law).
• Torture [insert product name] with unnecessarily long inputs.
• Use our Services to prove P=NP. If you do, i get half of the prize money.
• Open an issue titled “doesn’t work” with no further details.
• Use our Services while operating heavy machinery, unless the machinery is also using our Services.
• Interfere with or disrupt our Services, including circumvent any rate limits or restrictions or bypass any protective measures or safety mitigations we put on our Services.

Our Services may produce output that is wrong. (except the SMT solver)

[insert product name] is free. If you paid for it, you got scammed (skill issue).

We may change these Terms at any time. Continuing to use our Services after a change means you accept it, even if you didn’t notice.

You may stop using our Services at any time.** We may suspend or end your access if you break these Terms.

OUR SERVICES ARE PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND. THIS SECTION IS IN CAPITAL LETTERS BECAUSE THAT IS HOW YOU MAKE THINGS LEGALLY BINDING.

Our total liability to you shall not exceed ten times the amount you paid us (or the scammers)

Questions about these Terms? Read them again, slower.

If you read this far, congratulations, you are the first ever user, who read the terms of service.

None of it is legally binding.*

*Except this sentence.

**If you stop you are obliged to pay us 100$ per minute you are not using them.