Stars
3
stars
written in Python
Clear filter
A Gradio web UI for Large Language Models.
Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains.
MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts