Web

The Mathematical Discovery Engine

Last updated 2026-06-17 · benchmark measured 2026-08-09 — deterministic & reproducible

A knowledge graph of 15,941 mathematical states and 1,223 proof techniques. Proof becomes path-finding — and discovery becomes search, even with no specific problem to solve.

Is The Mathematical Discovery Engine production-ready?

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

The 7 Frames

• Performance — 62/100
• Accessibility — 79/100
• Security — 45/100
• Privacy — 25/100
• Reliability — 92/100
• Standards — 82/100
• Discoverability — 15/100

What we measured

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

Pricing

Free (open source) · optional Claude Code subscription or Anthropic API key for larger searches

Visit The Mathematical Discovery Engine → · How this was measured →