Privacy Notice

What we collect

  • Email address and username (at registration)
  • OAuth profile information if you sign in via GitHub or Discord (username, email, account ID)
  • Content you submit: paper metadata, formalisation links, review links, audit reports

Why we collect it

  • Email: account creation and verification
  • Username: public attribution of contributions
  • Submitted content: to operate the platform

Who can see your data

  • Your email is visible only to admins and is never displayed publicly
  • Your username and contributions are public
  • We do not sell or share personal data with third parties

Third-party services

  • Resend for sending verification emails
  • Plausible Analytics for privacy-friendly, cookieless website analytics (no personal data collected)
  • GitHub and Discord OAuth if you choose to sign in with those providers

Cookies

We use a single authentication cookie to keep you logged in. It is functional only and not used for tracking.

Data retention

Your data is kept as long as your account exists. Contributions (formalisations, reviews, audit reports) remain on the platform after account deletion as they are part of the collaborative record.

Your rights

You can request access to, correction of, or deletion of your personal data by contacting us on Discord or via GitHub Discussions.

Changes

We may update this notice. Significant changes will be announced on Discord.

or

Verification email sent. Check your inbox.