Terms of Service
These terms govern the use of MantisCode and the relationship between you and the provider of the service. If anything is unclear, write to us before subscribing. How we handle your data is explained in the Privacy Policy. If this English version and the Spanish version differ, the Spanish version prevails.
1. Who Provides the Service
MantisCode is provided by Rubén Solano Jiménez, an individual, with tax ID (NIF) 33570312H and address at Avinguda de Barxeta, 14, 46800 Xàtiva (València), Spain. Contact: [email protected].
2. What MantisCode Is
MantisCode is a mobile app for working with an AI coding agent on your GitHub repositories. Each user gets an isolated remote workspace where the repository is cloned and the agent runs, with the resources of their plan.
To use it you need a GitHub account, an active MantisCode subscription to create or resume workspaces, and an internet connection. AI models are provided by third parties (section 6). The resources of each plan are shown in the app before you subscribe.
3. Who Can Use It and How These Terms Are Accepted
You must be at least 18 years old and able to enter into contracts. If you use MantisCode on behalf of a company or organization, you confirm that you are authorized to do so and to connect its repositories.
By using MantisCode or buying a subscription you accept these terms.
4. Your Account
- You sign in with your GitHub account. The permissions you grant MantisCode are explained in the Privacy Policy, and you can revoke them on GitHub at any time.
- You are responsible for the security of your device, your GitHub and AI provider accounts, and the credentials you connect.
- We will never ask for your GitHub password or an AI provider's password.
5. Subscription, Payments and Cancellation
- Subscriptions are bought and paid for on the App Store or Google Play. Before you pay, the store shows you the price including applicable taxes, the duration and, if available, the free trial or offer.
- The subscription renews automatically at the end of each period until you cancel it. You can cancel at any time in your store's subscription settings. To avoid the next renewal, cancel at least 24 hours before the current period ends. You keep access until the end of the paid period.
- Refunds and the right of withdrawal are handled by the store, under its terms and applicable consumer law. We cannot directly refund purchases made in a store.
- The subscription covers the app and your workspace. It does not include AI model usage: whatever your provider charges for it is billed by that provider.
- If your subscription ends, you will not be able to create or resume workspaces, and your existing workspace will be destroyed under section 7. Push anything you want to keep to GitHub first.
- If the price changes, the store will notify you before renewal under its rules, and you can cancel before the change applies.
6. AI Models and Third-Party Services
- To use an AI provider you connect your own account or key. Your relationship with that provider (price, limits and data use) is governed by its terms, which you must follow.
- Your workspace includes access to OpenCode Zen free models. They are offered by a third party and are not part of your subscription. Their availability, limits and privacy terms may change or disappear for reasons outside our control.
- You must also comply with GitHub's terms and those of the store where you download the app.
- If you download the app from the App Store, Apple's standard Licensed Application End User License Agreement also applies. Apple is not a party to these terms and is not responsible for MantisCode.
7. Your Workspace
- It is a remote environment with limited CPU, memory and disk according to your plan. It is not a hosting or backup service.
- It hibernates after 60 minutes of inactivity and is destroyed with all its content after 7 days of hibernation. It is also destroyed when you log out or delete your account. Anything you have not pushed to GitHub may be lost.
- Code that runs in your workspace, including code run by the agent, is your responsibility. That code can read the GitHub token and the workspace credentials, and has internet access.
- We may adjust resources and hibernation or destruction times for technical or security reasons. If a change materially reduces what you paid for, we will notify you as described in section 14.
8. The Agent and What It Produces
- The agent can make mistakes. The code, commands and answers it produces may be incomplete, incorrect or insecure. Review and test them before using or publishing them.
- The agent runs commands in your workspace according to the permission mode you choose, including Git commands that use your GitHub token (for example, commit or push). The app's Git actions (commit, push, pull request and merge) only run when you request or approve them.
- What the agent produces is not professional advice.
9. Acceptable Use
You may not use MantisCode to:
- Carry out illegal activities or infringe third-party rights, such as intellectual property, privacy or trade secrets.
- Access repositories, systems or data without authorization.
- Create or distribute malware, attack or scan third-party systems without permission, send spam or launch denial-of-service attacks.
- Mine cryptocurrency or use the workspace as a proxy, VPN or public hosting service.
- Bypass, or attempt to bypass, isolation, usage limits, billing or security measures.
- Resell, rent or share your access with other people.
If you find a vulnerability, report it to [email protected] and do not exploit it. We will not take action against anyone who reports one in good faith.
10. Intellectual Property
- Your code, your messages and what the agent produces for you are yours, to the extent permitted by law and your agreements with GitHub and AI providers. MantisCode claims no rights over them.
- You only grant us the permission needed to process that content in order to provide the service, and only while we do so.
- The MantisCode app, brand and design belong to their owner. The open source components it uses, such as OpenCode, are governed by their own licenses.
11. Availability
We work to keep MantisCode running continuously, but we do not guarantee that it will always be available or error-free. There may be maintenance, third-party failures (GitHub, AI providers or stores) or outages. We do not offer a service level agreement. If you are a consumer, you keep the rights the law gives you if the service is not provided as agreed.
12. Leaving, Suspension and Closure
- You can stop using MantisCode whenever you want: cancel the subscription in the store and, if you wish, request account deletion at mantiscode.app/delete-account.
- We may suspend or close your access if you seriously breach these terms, if your use puts the security of the service or third parties at risk, or if a law or an authority requires it. Except in a security emergency or where the law prevents it, we will explain why and give you a chance to fix it first.
- If we decide to close your access without you having breached these terms, or to shut down MantisCode, we will announce it at least 30 days in advance so you can recover your work and cancel your subscription.
13. Liability
- We are liable, as provided by law, for damage we cause by breaching these terms.
- We are not liable for damage caused by third-party services (GitHub, AI providers or stores), by using the agent's output without reviewing it, by actions that you, or the agent within the permission mode you choose, run or approve, or by losing data you had not pushed to GitHub when the rules in section 7 apply, unless caused by a breach on our part.
- If you use MantisCode as a professional or business rather than as a consumer, our total liability is limited to what you paid for the service in the 12 months before the event giving rise to it.
- Nothing in these terms limits our liability for willful misconduct, gross negligence or personal injury, or the rights the law gives you as a consumer.
14. Changes to These Terms
We may change these terms because of legal or security changes or changes to the service's features. We will publish each new version, with its date, in the app and at mantiscode.app/terms. If a change materially harms you, we will announce it on the website and in the app's release notes at least 30 days in advance, and you can cancel your subscription before it applies. No change will apply retroactively.
15. Governing Law and Complaints
These terms are governed by Spanish law. If you are a consumer living in another EU country, the mandatory rules of your country of residence also protect you, and you can bring a claim before the courts where you live. If you are not a consumer, the parties submit to the courts of Xàtiva (València).
Before bringing a claim, you can write to [email protected] and we will try to resolve it within 30 days. You can also contact the consumer services of your region.