🚨 新擴展版本發布！ 🚨 Recon 擴展現在直接整合 Halmos！ - 所有由 chimera 生成的不變性測試與 Halmos 不變性測試直接兼容 - 在 "Scaffold" 上生成 Halmos.toml 文件 - 從擴展運行 Halmos - 自動生成單元測試和不變性測試的 Repros 和報告 - 日誌抓取器也可以與 Halmos 日誌一起使用（也可在網站上獲得） 獎勵： - 從擴展中生成 Vyper 不變性測試 - 生成 Vyper 合約的模擬（右鍵單擊合約或 .json 藝術品）