In this work, we propose a multi-agent LLMs framework that is guided by design principles. Our multi-agent LLMs adopt a workflow of specialist agents that mirrors a professional design process: ...

Bastet covers common vulnerabilities in DeFi, including medium- to high-risk vulnerabilities found on-chain and in audit competitions, along with corresponding secure implementations. It aims to help ...