93% on RepoMod-Bench: porting 200K-line codebases with a proof in the loop

(blog.bosun.ai) by timonv | Nov 12, 2026 | 0 comments on HN