Deleting your MantisCode account

Last updated: October 21, 2026

This page explains how to request deletion of your MantisCode account and its associated data. You do not have to justify your decision and it costs nothing. The data controller is Rubén Solano Jiménez. Contact: [email protected].

How to request deletion

Send an email to [email protected] with the subject “Account deletion”.
Include the GitHub username you use to sign in to MantisCode. We do not store your email, so it is the detail that lets us find your account.
We may ask you to prove that you control that GitHub account. We complete the deletion within a maximum of 30 days and confirm it by email.

Before requesting it, cancel your subscription in the App Store or Google Play: deleting the account does not cancel the store renewal. If you want to delete only some data, say so in the email and we will handle it without closing the account.

Signing out in the app does not delete your account: it removes the GitHub token from our systems and tries to destroy your workspaces, but keeps your account, provider credentials, SSH servers, preferences and notification devices.

Data we delete

When you delete your account we remove from our systems:

Your GitHub identifier and username.
The GitHub access token and the app session tokens.
The AI provider credentials and SSH servers you added.
Your model preferences and notification devices.
Your workspaces, including the code, conversations with the agent, attachments and diffs they contain, and your session log.
Your subscription data. We also ask RevenueCat to delete your customer record.

Data we retain and for how long

Technical workspace data (state, events and resource usage, linked to your internal identifier): it is deleted automatically when it reaches its 90-day retention period.
Database backups: your data may remain in them until they are overwritten in their normal rotation. We do not restore them except to recover the service after an incident, and in that case we delete it again.
Your request email: we keep it for the time needed to prove that we handled your request.

We do not issue invoices: purchases are processed by Google Play and the Apple App Store, which keep their purchase histories under their own policies. To exercise rights over them, contact the relevant store.

What remains on GitHub

What you have uploaded to your repositories remains on GitHub. If you ever asked for a workspace to be recreated, the backup we keep as a hidden reference refs/mantis/backup/... also remains in your repository until you delete it.

Deleting your account does not revoke MantisCode's authorization on GitHub. To revoke it, go to GitHub → Settings → Applications → Authorized OAuth Apps. We recommend doing so even if you decide not to delete your account.

Your rights

You can access your data, correct it, ask us to delete it, restrict or object to its processing and request its portability by writing to [email protected]. If you are in the EU/EEA, you can also file a complaint with the Spanish Data Protection Agency or the supervisory authority of your country. See the Privacy Policy for more details.