Is Visual Lean secure?

Legit.Show measured Visual Lean's Security frame at 25/100. No Content-Security-Policy and no HSTS. Served over HTTPS with a valid certificate.

How does Legit.Show measure Visual Lean?

Legit.Show scores seven frames — Performance, Accessibility, Security, Privacy, Reliability, Standards and Discoverability — deterministically from the public surface (URL, HTTP headers, real Lighthouse), with no LLM in the scoring path. See legit.show/methodology.

Education & Reference

Visual Lean

Last updated 2026-10-16 · benchmark checked 2026-11-04 · unchanged since 2026-10-16 — deterministic & reproducible

An experimental graphical interface for writing and verifying Lean code in the browser.

64/100

7/7 frames

Top 89% of 18,521 measured

Legit Benchmark — the simple average of 7 measured frames. Frames we could not measure are left out of the average, never counted as zero. Every frame is shown below with its evidence.

Checked 2026-11-04 · scores move as sites change

Are you the maker of Visual Lean? Claim this listing. It is free, takes a meta tag, a DNS record or GitHub admin rights, and never changes the score.

Launched something? Add your product, free.

To cite this score: legit.show/s/leangame-autumnofautumn-com/2026-11-04. That address never changes; this page moves with every re-measure.

Legit.Show scored Visual Lean 64/100 on 2026-11-04, measured across all 7 frames from its public surface. legit.show/s/leangame-autumnofautumn-com/2026-11-04

Is Visual Lean production-ready?

Legit.Show scores Visual Lean 64 out of 100 — the simple average of its 7 measured frames. Legit.Show ran its deterministic 7-Frame production-readiness benchmark on Visual Lean (public-surface assessment), measured from the public surface with no LLM in the scoring path. Its strongest frame is Performance; its weakest is Privacy. Every frame it averages is published with its evidence on the Legit.Show listing.

The 7 Frames

Performance — 100/100
Accessibility — 100/100
Security — 25/100
How this compares across the catalogue: The Web Security Baseline
Privacy — 25/100
How this compares across the catalogue: The Privacy Gap
Reliability — 70/100
Standards — 92/100
Discoverability — 35/100

What we measured

No Content-Security-Policy and no HSTS.
Served over HTTPS with a valid certificate.
Real Lighthouse performance run — 283 ms to first byte.
Returns a proper 404 for unknown routes.
0 of 3 sampled routes reachable.
No privacy policy found.
Sets cookies / loads scripts with no consent prompt.

Who it's for

Lean learners · Mathematics students · Proof verification enthusiasts · Educators · Desktop and mobile users

Sources and updates

Description: Taken from leangame.autumnofautumn.com's own website on 2026-10-16.
Operator: Marcus Zibrowius, as named in leangame.autumnofautumn.com's terms, privacy page or footer.
Benchmark: Measured by Legit.Show from the live site, the way any visitor sees it — with no access to its code or accounts. Same method for every product, and no AI decides the score. Last checked 2026-11-04.

Put together from public information, without Visual Lean's involvement. If anything here is wrong, tell us and a person will check it.

Visit Visual Lean → · Alternatives to Visual Lean → · How this was measured →