bigOspeedrun.com system diagram

The main site is mostly static. Lean proofs go to a separate verifier repo. Everything is automated with GitHub workflows, a few agents in my Isomux office, webhooks, and browser use.