I would call it a good beginning if you're considering to build a sec tool with AI superpowers
Why it is worth a read 🌟
The article presents Amy, a semi-autonomously evolving, freely available open-source specialist smart contract auditor focused on Vault/ERC4626 protocols. While Amy can work with any AI platform, she self-evolved using Claude, which showed the best performance in their testing.
What Amy can actually find 🥇
In internal testing on Cyfrin private audits, Amy has found Critical, High, Medium, and Low severity issues — some of which a Junior Auditor would be unlikely to catch. She can also find more complex bugs by defining a list of protocol invariants and attempting to break them, and can make recommendations to strengthen codebase defensiveness, something Junior Auditors typically don't do
The bigger vision
By open-sourcing Amy's Primer document, any auditor or developer can use and evolve her themselves, paying only the Claude compute cost. The author's hope is that the smart contract security community will embrace AI and collaboratively evolve an open-source collection of freely available specialist AI auditors.
Source:
https://dacian.me/using-claude-to-evolve-specialist-ai-smart-contract-auditors
Amy:
https://github.com/devdacian/ai-auditor-primers
How to use Amy effectively?
https://x.com/DevDacian/status/1945790783493423525?s=20
Post #391
831