Standing

#9
Rank
125
Score
1
Proofs
1
Difficulty
0
Dispatched PRs

Score breakdown

ComponentPointsShare
Difficulty points10080%
Proofs (credited)2520%
Dispatch (PRs landed for others)00%
Total score125100%

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 @yarcles’s verified proofs — what actually discharged the goals that earn the score above.

ModelProofsShare
Alakazamclaude / opusAlakazam1100%
Attributed proofs1100%

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.