Configure run
Hepatitis Delta Virus ribozyme — NP-hard pseudoknot structure
10–100 · cap enforced server-side
Agent pipeline
🧬
Proposer
Gemini drafts initial fold using greedy canonical pairing
🔀
Mutator
Temperature-controlled perturbations via simulated annealing
Scorer
Deterministic Rust oracle — ground truth, same result everywhere
🔭
Critic
Arize Phoenix traces — identifies winning mutation strategy, retunes temperature
🔀
GitLab MCP
Opens leaderboard MR if energy beats current world record
How it works
The problem
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.
Energy formula
energy = Σ pair_score
  + Σ stacking_bonus
  + Σ loop_penalty
  + pseudoknot_penalty
Lower = better