為了總結這一年，我們推出了 Quint Connect：一個針對 Rust 的模型基礎測試庫，專為與 LLMs 良好協作而設計。 @bugarela 在最新的 Quint 博客文章中詳細解釋了這一切。 我們剛為 Emerald 設置了這個。你打算在哪個項目上嘗試它？

看看吧：