3.85 MB
karlexmarin's picture
Claude Opus 4.7 (1M context)
v0.5: machine-verified algebraic consistency (Sage + Lean)
94766b3