aderyn: Aderyn is an open-source static analyzer for Solidity smart contracts. It helps find vulnerabilities in Solidity codebases with no configuration needed for Foundry and Hardhat projects. It generates Markdown, JSON, and Sarif reports and powers a VSCode extension.; E2B: E2B is an open-source infrastructure that enables running AI-generated code securely in isolated cloud sandboxes. It provides JavaScript and Python SDKs to start and control these sandboxes for AI applications.
Auditing Solidity smart contracts for security vulnerabilities.
Executing code generated by large language models (LLMs)