Skip to content

Settings

Preferences and your account for your ProofCode workspace.

Preferences

Theme

Switch between light and dark appearance.

Accounts

Checking your sign-in…

Your own AI key

Heavy AI work — AI-generated fixes — uses this key first, before the server’s key. It is stored only in this browser, sent only with your fix requests, and never saved on the server. Leave it empty to use the server’s key. Get a free key from Google AI Studio.

Status: no key saved — AI fixes will use the server's key.