<< All versions
Skill v1.0.0
currentLLM-judged scan100/100midspiral/lemmafit/lemmafit-proofs
PublishedJune 19, 2026 at 06:17 AM
Content Hashsha256:6b981641f319fb66...
Git SHA4b795ead3dde
Content not available for this version — stored from v1.0.1 onwards.