Tim De Wachter@rextim507

IntelliAudit is able to take a git repository containing smart contracts, either a full project with hardhat, truffle, brownie, etc or by selecting individual contracts from the repository and audit the code for vulnerabilities. IntelliAudit leverages slither in order to parse the smart contracts in a structured way and provides several functions to chatcode-bison in order to request data about a certain contract and its functions in order to be able to statically analyze the content and determine any vulnerabilities. IntelliAudit uses langchain in order to create an agent that keeps hunting continuously until it finds a vulnerability or has evaluated the full code base. A vector database with different smart contracts vulnerabilities that have been discovered in the past assists the agent in determining any vulnerable code.

🚀💻 Be the first to build an AI App on Google's models! Hackathon on July 7-10. 🔬🌐 Try new Vertex AI features from Google Cloud Platform. 🤝🌍 Learn from AI leaders and connect with like-minded people. 🛠️📱 Build apps with the world's best AI tools! 💡🌍 Solve real-world problems with Generative AI models