🚨 新扩展发布！ 🚨 Recon 扩展现在直接集成了 Halmos！ - 所有由 chimera 生成的不变性测试与 Halmos 不变性测试直接兼容 - 在 "Scaffold" 上生成 Halmos.toml 文件 - 从扩展运行 Halmos - 自动为单元测试和不变性测试生成 Repros 和报告 - 日志抓取器也可以与 Halmos 日志一起使用（也可在网站上获取） 额外内容： - 从扩展中生成 Vyper 不变性测试 - 生成 Vyper 合约的模拟（右键单击合约或 .json 工件）