Fun thing, today (1 hour ago) the 13:th may i was lookig for a typechecker with AI in what is popular right now because these things changes. I have been following pyrefly and ty before. Then i decided to go with pyrefly and added it. Noticed it was 1.0.0 which as odd because that is very special. How could i have missed that. Then I checked the blog and saw it was released yesterday. What a happy surprise to get a 1.0 as fresh delivery straight in to my project. Nice work!