推出Freerange工具，静态验证代码数值范围

RT @_chenglou: 我亲爱的UI开发者、ML从业者和编程语言爱好者：经过数月和数十亿token的训练，我很自豪地向大家展示我们漫长旅程的第一步：将vibe coding转变为证明工程，从使用户界面可验证开始。介绍：Freerange，一个零API工具，自动推导代码的数值范围。通过这种方式，Freerange能够证明例如：你的TS布局符合指定的尺寸；它们没有NaN和Infinity；你的数组索引在边界内。所有这些，静态完成。无需浏览器，无需运行代码，可放入任何代码库，对于ML人员：RL友好