Building TScert: TypeScript based on a formally verified core, one feature at a time. @typescript made smart, pragmatic tradeoffs on a very hard problem. With unlimited agents, those tradeoffs can be revisited. First milestone: TScert verifying its own front end, which uses the TypeScript compiler's libraries. 189 functions out of 499 verified so far.