Privacy
ProofSearch is an independent tool for reading the openai/math release, made and run by Paras Koundal. It is not affiliated with OpenAI. Accounts are optional, and it sets no tracking cookies.
Browsing and searching
Search, filters, paper pages and the dependency graph run in your browser. Your search terms are not sent anywhere.
Saved papers and settings
If you are not signed in, papers you save are kept in your browser's local storage on this device only, and Ask conversations are not kept at all: they are gone when you reload or leave the page. Choices such as sort order and light or dark mode are always kept in local storage only. Clearing your site data removes them. None of this is sent to us.
Optional accounts
You can sign in with GitHub or Google so that your saved papers and Ask conversations are kept and available on any device. Signing in is never required.
- What we store: which service you signed in with, the account number it gives us, your display name, the ids of the papers you saved, and the questions and answers of conversations you had in default mode. We do not receive or store your email address, and we keep no access to your GitHub or Google account: the access they grant is used once to read your name and then discarded.
- Private mode stays private: conversations answered by the on-device model are never uploaded, even when you are signed in.
- Cookie: signing in sets one cookie that keeps you signed in for up to 30 days. It is used for nothing else. We store only a scrambled (hashed) copy of it.
- Where: in a Cloudflare D1 database belonging to ProofSearch.
- Deleting: you can delete single conversations from the Ask page, or your whole account, saved papers and conversations from the account menu. Deletion is immediate.
Usage statistics
We count page views with Cloudflare Web Analytics, which uses no cookies and does not identify or follow individual visitors. We also count anonymous events, such as which tab or paper was opened and whether a chat answer succeeded. These counts carry no IP address, cookie or user id. We use them only to see which parts of ProofSearch are useful.
Asking questions
- Default mode. Your question, your previous question and answer in the same conversation, and the catalogue entries that match them are sent through our server to Google's Gemini API to write the answer. Google's free tier may use this content to improve its products. Please don't type personal information into questions. We do not store your questions unless you are signed in, in which case the conversation is kept in your account as described above. Your IP address is held in memory for at most an hour to rate-limit requests, and is never written to disk.
- Private mode. If you choose "Run privately on your device", an open model is downloaded once from Hugging Face and runs entirely in your browser. Your questions then stay on your device.
Reporting errata
Reports are public issues in the ProofSearch/errata GitHub repository. You file them with your own GitHub account, and they show your GitHub username. GitHub's privacy policy applies to that account. The errata board shows the issues' content as published on GitHub.
Third parties that load on this site
- Cloudflare: hosting and anonymous analytics
- Google Fonts: typefaces
- jsDelivr and cdnjs: the MathJax formula renderer
- Google Gemini API: only when you ask a question in default mode
- GitHub or Google sign-in: only if you choose to sign in
- jsDelivr and Hugging Face: only if you switch on private mode
Contact
For questions about this page, your account or your data, email Paras Koundal at paraskoundal@protonmail.com. You can also open an issue in ProofSearch/errata, but issues there are public.
Last updated 7 October 2026.