galapago

Recent Submissions

1. 1. ▲ Show HN: MCP support to guide smart contract fuzzing campaigns in Echidna (github.com) 1 point · 1 month ago · 1 comment
2. 2. ▲ Echidna 2.3 released with symbolic execution, Foundry integration and more (github.com) 2 points · 1 month ago · 0 comments
3. 3. ▲ Who Has Security? A list of blockchain companies with in-house security (whohassecurity.com) 1 point · 1 month ago · 0 comments
4. 4. ▲ Formal verification effort for the ABDK Math 64.64 library using echidna/hevm (github.com) 2 points · 5 months ago · 0 comments
5. 5. ▲ Echidna Enters a New Era of Symbolic Execution (gustavo-grieco.github.io) 23 points · 5 months ago · 6 comments
6. 6. ▲ Quimera: feedback-driven exploit generation for smart contracts using LLMs (gustavo-grieco.github.io) 2 points · 7 months ago · 0 comments
7. 7. ▲ Show HN: Quimera, a data-driven exploiter for Ethereum contracts using LLMs (github.com) 3 points · 8 months ago · 0 comments
8. 8. ▲ The call for invariant-driven development (blog.trailofbits.com) 2 points · 11 months ago · 0 comments
9. 9. ▲ Agents keep thanking each other when using GPT-3.5-turbo (microsoft.github.io) 1 point · 1 year ago · 0 comments
10. 10. ▲ ScummVM 2.9.0 "Close Encounters of the 2.9th Kind" has landed with tons of games (scummvm.org) 3 points · 1 year ago · 0 comments