LearningSource link availablePricing unverified

Interactive Proof math-paper reading companion

Stuck on one step in a mathematical paper? Interactive Proof lets learners select a passage in an uploaded PDF and request an explanation beside the source, with optional Lean code for context.

Created by Jacqueline Henriksen (jjjhenriksen)

Built with Codex

Was this build worth discovering? Vote without signing in.

View repository ↗

Pricing unverified

The cost of using this project has not been verified. Check the creator’s app for current terms.

Source checked September 8, 2026

Creator submission describes Codex implementing and reviewing the PDF reader, explanation route, upload workspace and tests. Linked repository corroborates the reading workflow and supplies this thumbnail.

KEEP EXPLORING

More builds like this

Start with similar ideas, then find something unexpected.

Explore Learning →

App preview

LearningDemo

CONTROL ROOM coding-agent supervision training simulator

Practice supervising a coding-agent workflow through a synthetic software incident. CONTROL ROOM's no-account Trial Mode lets you brief a read-only investigator, review file, test and log evidence, and decide whether a separate builder may proceed before independent verification. The public demo is a deterministic replay, not a live model run. Real Mode needs the local companion and a clean Git repository.

ramen protokol

Explore this build

App preview

LearningPricing unverified

AI Neural Scientist neural-network experiment notebook

Explore what changes when you temporarily disable part of a digit-recognition neural network. AI Neural Scientist is a local learning lab for MNIST experiments, prediction comparisons and saved research reports. The creator screenshot shows its experiment setup in demo mode. Source available; local setup required.

T Kalvin

Explore this build

App preview

LearningPricing unverified

Whetstone Python coding exercises with executable checks

Explore a different way to prepare coding practice. Whetstone pairs generated Python exercises with reference solutions and tests, then records which candidates pass or fail in a reviewable log. Available as a source project.

Interactive anatomy statue

Explore anatomy as sculpture. A marble-style scene turns muscle groups into selectable parts.

Naor (@ZrNaor)

Explore this build

▶ Demo preview

LearningPricing unverified

Car Systems Studio

Look inside a car in 3D. Explore its parts and follow lessons that bring the mechanics into view.

Outside the Box nighttime thought capture and morning review

Save a late-night idea in a dark, minimal interface, then revisit it in a morning view. Outside the Box preserves the original note alongside a clearer title, summary and one next step. A fictional pantry-app idea produced an organized result that survived a refresh. This web prototype stays open on screen; it does not replace your phone lock screen.

Sachithra Sayuranga Jayasinghe

Explore this build

Interactive Proof math-paper reading companion

Pricing unverified

More builds like this

CONTROL ROOM coding-agent supervision training simulator

AI Neural Scientist neural-network experiment notebook

Whetstone Python coding exercises with executable checks

Interactive anatomy statue

Car Systems Studio

Outside the Box nighttime thought capture and morning review

Made something?
Found something?

In the review queue.