MODEL
Claude Opus 5.5 (Lean formalization)
A public contribution graph assembled from attributed source metadata.
0Attributed events
0Recorded attempts
NoProfile claimed
Oct 29, 2026Indexed since
Frontier movements
MODEL
A public contribution graph assembled from attributed source metadata.
Frontier movements