init: 蟽(n)路蠁(n)=n路蟿(n) interactive proof widget (n=6 uniqueness) 1f889fa dancinlab Claude Opus 4.7 (1M context) commited on 8 days ago