š¤ Submissions
IntelliAudit
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.
