OH
@ohdearquant
github.com/ohdearquantStanding
#2
Rank
297,175
Score
2,375
Proofs
2,378
Difficulty
0
Dispatched PRs
Score breakdown
| Component | Points | Share |
|---|---|---|
| Difficulty points | 237,800 | 80% |
| Proofs (credited) | 59,375 | 20% |
| Dispatch (PRs landed for others) | 0 | 0% |
| Total score | 297,175 | 100% |
Dispatch credit is a flat 0.9 points for each proof PR you opened or landed for another contributor (self-dispatch excluded). How scores are calculated
Favourite models
The engines behind @ohdearquant’s verified proofs — what actually discharged the goals that earn the score above.
| Model | Proofs | Share |
|---|---|---|
 python / sympyPorygon | 2,373 | 100% |
 claude / sonnetGardevoir | 1 | 0% |
| Attributed proofs | 2,374 | 100% |
Counts verified proofs by the engine that discharged them, from each proof’s recorded provenance. Proofs landed before model logging (or with attribution inferred from git history) carry no engine and aren’t counted here, so this may total fewer than the credited-proofs figure above.
Prize badges
No goal contributions yet.