Four Gemini agents (Proposer → Mutator → Scorer → Critic) collaborate in a Google Cloud ADK LoopAgent to minimize RNA free energy.
A record-beating result opens a GitLab Merge Request; CI re-runs the Rust oracle before auto-merging.
RNA secondary structure prediction with pseudoknots is NP-hard (Lyngsø & Pedersen, 2000). Every world record here is a genuine advance on an open research problem.
Trustless verification
No score reaches the leaderboard without being verified twice: once client-side by the Rust oracle and once by GitLab CI independently. The repo is the leaderboard — cheating is prevented by the pipeline, not policy.