Solidity 审计 Agent v4 开源，社区移植适配 Vyper 生态
banteg · x · 2026-09-25
Pashov 团队以 MIT 协议开源了 Solidity Auditor v4：单条命令即可在去年多周审计比赛中拿到最高 85% 的 High 级别漏洞召回率——这类审计此前通常要花费数万美元，现在免费开放。
在此基础上，社区开发者 rabuawad 将其工作流移植到 Vyper 生态，发布两个工具：
- vyper-auditor v4：12 个专用子 agent、可回访发现的 loop 模式、跨运行持久记忆与整合报告，针对 Vyper 语法和安全特性做了适配
- fyzz：Fizz 的 Vyper 移植版，帮助用项目已有的 Vyper 测试工具编写基于 Hypothesis 的模糊测试与不变量
「编程与Agent」频道最新
- Stripe 上线机器支付：AI Agent 可自主按次付费调用 API — jeff_weinstein · 2026-09-26
- Link 为 AI Agent 提供购买上下文,一句'补货清洁用品'即可直接下单 — Aiden_Tech_Ai · 2026-09-26
- Stripe 旗下 Link 上线金融洞察，让 AI agent 读取用户购买记录 — jeff_weinstein · 2026-09-26
- Peter Yang 推出 25+ 课时的 AI 工作流课程 — lennysan · 2026-09-26
- cargo-atlas:基于编译器的 Rust 语义地图,供 MCP 编码智能体查询 — Ok_Manufacturer_5736 · 2026-09-26
- 开源 AI 播客剪辑器:克隆声音换主持人,一条链接产出完整节目 — LeviTurk · 2026-09-26