有没有人有使用 Vercel AI SDK v5 的经验？ 我会支付 500 美元给任何将 Toolkit 从 v4 迁移到 v5 的人。 需要完全的类型安全。