BitsExplorer finds what people are building with AI, every day. See today's picks →

Conway 99 Graph

Automorphism group classification and symmetry breaking for Conway's 99-graph (srg(99, 14, 1, 2)) via Lean 4 formalization and certified SAT refutations.

Description excerpted from the original listing, which is linked below.

Open it Source code

Facts

Published: 11 Sep 2026 (11 Sep 2026)
Medium: web
Language: English (the page says so itself)
First seen: 28 Sep 2026, 08:32 UTC

Built with

Cursor: confirmed
the agent's own trailer in the repository's commit history
Devin: confirmed
the agent's own trailer in the repository's commit history

What we can see

89 hygiene score

Certificate issued by Sectigo Public Server Authentication CA DV R36, 52 days remaining
Cookie attributes 1 cookies, 0 without the secure flag
Credentials and payment does not ask for either
Strict transport security set
Served over HTTPS
Mail authentication sender policy and authentication published
Loads insecure resources 1 resources
Redirects 2, ending on another domain
Security headers 5 of 5 set, policy permits inline or evaluated script
Third-party origins 17
Transport security TLS 1.3

Observed 28 Sep 2026 by fetching the page as a browser would. This describes hygiene and transparency, not safety: a missing header does not make a site dangerous, and a complete set does not make it trustworthy.

Made this?

Show it on your own site or README. It links back to this page.

Get the badge

For a web page

<a href="https://bitsexplorer.com/i/898122/conway-99-graph"><img src="https://bitsexplorer.com/badge/898122.svg" alt="Featured on BitsExplorer" height="22"></a>

For a README (Markdown)

[![Featured on BitsExplorer](https://bitsexplorer.com/badge/898122.svg)](https://bitsexplorer.com/i/898122/conway-99-graph)

Changes we have seen

28 Sep 2026 first indexed

Conway 99 Graph

More built with Cursor

Today's picks

The week in AI-built software