Temporary reading workspace

Bring a paper. Add Lean when you have it.

The browser opens your files in this tab. It sends only the passage you ask about and a bounded amount of nearby text when you request an AI explanation.

Paper PDF · requiredUp to 20 MiB and 100 pages. Selectable text is required.Lean source · optionalAdd .lean files or one or more ZIP archives. Sources are not verified.

I have permission to use these files and understand that selected text is sent to the AI service when I ask for an explanation.

Files stay in this browser tab and are not saved by this site.

Machine-checked sources, human-scale explanations.

Built for OpenAI Build Week.

Documentation Evaluation Upload