TheoremYC P25 landing page report.
← Back to YC P25
Theoremhttps://theorem.dev/

Your landing page’s weakest score is CTA.

How Theorem ranks

  1. 1.Harmonic64
  2. 2.Theorem62
  3. 3.Axiom59
  4. 4.Math Inc55
Fix CTA
62Growth scoreupdated

category scores

CTA44Trust58Value props68Mobile web70Information hierarchy72
category scoresShowHide
CTA44Trust58Value props68Mobile web70Information hierarchy72

Score over time

7060504030Harmonic 50 on Apr 15 (Wayback)Harmonic 51 on May 18 (Wayback)Harmonic 50 on Jul 1 (Wayback)Harmonic 49 on Jul 21 (Wayback)Harmonic 50 on Jul 29 (Wayback)Harmonic 51 on Aug 11 (Wayback)Harmonic 64 on Sep 21 (Live)Axiom 39 on May 22 (Wayback)Axiom 40 on May 29 (Wayback)Axiom 38 on Jun 22 (Wayback)Axiom 38 on Jul 9 (Wayback)Axiom 40 on Jul 18 (Wayback)Axiom 37 on Jul 26 (Wayback)Axiom 59 on Sep 21 (Live)Math Inc 56 on Jun 5 (Wayback)Math Inc 55 on Jun 15 (Wayback)Math Inc 54 on Jun 29 (Wayback)Math Inc 54 on Jul 26 (Wayback)Math Inc 55 on Aug 29 (Wayback)Math Inc 54 on Sep 10 (Wayback)Math Inc 55 on Sep 21 (Live)Theorem 42 on Apr 22 (Wayback)Theorem 59 on May 9 (Wayback)Theorem 61 on Jun 9 (Wayback)Theorem 60 on Jun 16 (Wayback)Theorem 59 on Jul 16 (Wayback)Theorem 60 on Aug 18 (Wayback)Theorem 62 on Sep 21 (Live)Apr 22May 9Jun 9Jun 16Jul 16Aug 18Sep 21
Past reportsShow past reportsHide past reports
  1. Sep 21, 202662LiveOverall +2 · Mobile web +12 · Information hierarchy +4Viewing
  2. Aug 18, 202660Overall +1 · Trust +10 · Mobile web −10View →
  3. Jul 16, 202659Overall −1 · CTA +4 · Trust −4View →
  4. Jun 16, 202660Overall −1 · Value props −6 · CTA −2View →
  5. Jun 9, 202661Overall +2 · Value props +6 · CTA +2View →
  6. May 9, 202659Overall +17 · Trust +27 · Information hierarchy +20View →
  7. Apr 22, 202642First tracked report — strongest Information hierarchy 48, weakest Trust 25View →

CTA

44Poor

Copy, size, verb, cost-feel — does the primary CTA earn the click?

Theorem
Harmonic
Axiom

Problems

  • no action verb — reads as a label
  • no payoff or destination implied
  • styled as section header, not CTA
  • no capture or product entry point

Trust

58Fair

Proof that the product is real, competent, and safe to try.

Trust read
Theorem"lf-lean is a verified translation from Rocq to Lean of all 1,276 statements in Logical Foundations, done by frontier AI
HarmonicNo visible trust signal identified.
AxiomNo visible trust signal identified.
Math Inc"Terry Tao, inaugural Veritas Fellow" headline link

Value props

68Fair

Title, subtitle, hero — do they sell the product's true value?

Theorem’s headline sellsTheorem is building AI that is as capable at program verification as it is at writing Python.

Working

  • Falsifiable, specific claim
  • Research entries carry hard numbers
  • Zero buzzword abstraction

Could improve

  • No outcome for the visitor named
  • No subhead to add stakes or proof
  • Tagline 'Verify all software' hidden in footer

Mobile web

70Fair

The phone experience as a first-class citizen.

Mobile web annotations on the mobile capture12
  1. RESEARCH chip button — The only button-styled element is a small section label, not a tappable full-width CTA.
  2. Truncated post summary — Teaser cuts off mid-sentence ('to Lean ...'), weakening the tap invitation; the second post truncates too.

Information hierarchy

72Fair

Does the design help or inhibit what the page is trying to say?

Information hierarchy annotations on the desktop capture123
  1. RESEARCH badge — The only button-styled element is a section label, not an action — the fold has no primary CTA.
  2. Left-half column layout — All content hugs the left half of the 1536px viewport, unbalancing the composition around the message.
  3. Two equal-weight post titles — Both article headlines carry the same visual weight as the value prop, competing for the first scan.

Competitors

inferred from product, audience, and value prop
#1Harmonicharmonic.fun64
#2Theorem62
#3Axiomaxiommath.ai59 #4Math Incmath.inc55