Solidity Auditor v4 open-sourced with 85% recall on High findings, ported to Vyper
banteg · x · 2026-09-25
Pashov's team open-sourced Solidity Auditor v4 under MIT license: a single command achieves up to 85% recall on High-severity findings from last year's multi-week contests — audits that used to cost protocols tens of thousands of dollars, now free.
Developer rabuawad ported the workflow to the Vyper ecosystem with two tools:
- vyper-auditor v4: 12 specialized sub-agents, loop mode for revisiting findings, persistent memory across runs, and a consolidated report, adapted to Vyper syntax and security concerns
- fyzz: a port of Fizz for writing Hypothesis-based fuzz tests and invariants using tools Vyper projects already rely on
More from coding & agent
- Testing Jev as a confidence-scored router to offload small LLM calls in oncology agents — Ubunta · 2026-09-26
- Stripe adds machine payments so AI agents can pay per API call with user identity — jeff_weinstein · 2026-09-26
- pmndrs ships Math v0.1.0: allocation-free web math engine with an AI agent skill — anselm · 2026-09-26
- Link brings purchase context to AI agents, letting 'order more supplies' just work — Aiden_Tech_Ai · 2026-09-26
- cargo-atlas: compiler-aware Rust code intelligence for MCP-powered coding agents — Ok_Manufacturer_5736 · 2026-09-26
- Open-source reshaker turns Claude Code into a podcast studio that clones hosts and auto-cuts episodes — LeviTurk · 2026-09-26