Capabilities first

Solve first. Upgrade only when it saves real work.

Proofline starts with a verified typed solution, not a plan picker. The core solver stays free. A future Plus plan would apply only to provider-backed actions such as reading a photo or asking an AI follow-up.

Solve a problem

What you can do

Start with the task, not the tariff.

Type and verify

Free · available

Type supported arithmetic or algebra, review the interpretation, and get an exact answer with verified steps.

  • Hints, explanations, similar problems, and quizzes
  • Graphing, printing, and local history
  • No account and no assisted-unit charge

Read one problem from a photo

Free during beta

A photo can create an unverified transcription. You confirm the expression before the deterministic solver checks it.

Planned boundaryA small free allowance first; assisted units only after that allowance is used.

Ask why a step works

Planned · Plus

Concise AI follow-ups and natural-language input may become metered Plus actions after they pass quality testing. They are not available for purchase today.

Work from PDFs or handwriting

Researching

These inputs remain coming soon. Proofline will not include them in a paid promise until recognition quality is good enough.

The boundary

Free math. Metered assistance.

Never uses assisted units

Verified core

Typed solving, the basic result, verified steps, deterministic learning tools, graphs, printing, and on-device history.

Uses assisted units

Provider-backed help

Photo transcription first; later, only shipped and measured actions such as description input or follow-up tutoring.

Working launch offer

Plus target: $6.99 a month.

The current target is 100 assisted units each month: one unit for a photo or description, and two for an AI follow-up. Typed solving never consumes units. The allowance will be finalized only after real usage costs are measured.

100target assisted units / month

No annual plan yet. No checkout or payment collection today.

Plus preview

Proofline Plus is coming soon

The working target is $6.99 per month for 100 assisted units. No subscription is available and no payment details are collected today.

The free typed solver and verified core remain available without an account.