179 skills found · Page 1 of 6
ConsenSysDiligence / MythrilMythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
shcherbak-ai / ContextgemContextGem: Effortless LLM extraction from documents
Jon-Becker / Heimdall RsHeimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.
enzymefinance / OyenteAn Analysis Tool for Smart Contracts
raineorshine / SolgraphVisualize Solidity control flow for smart contract security analysis. :dollar: ⇆ :dollar:
msuiche / Porosity*UNMAINTAINED* Decompiler and Security Analysis tool for Blockchain-based Ethereum Smart-Contracts
life4 / Deal🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
FuzzingLabs / OctopusSecurity Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)
smartdec / SmartcheckSmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).
nevillegrech / Gigahorse ToolchainA binary lifter and analysis framework for Ethereum smart contracts
microsoft / VerisolA formal verifier and analysis tool for Solidity Smart Contracts
Messi-Q / Smart Contract DatasetDatasets for evaluating smart contract security analysis tools ( continuously updating... )
muellerberndt / Smashing Smart ContractsWritings on symbolic-execution-based security analysis of EVM smart contracts.
usyd-blockchain / VandalStatic program analysis framework for Ethereum smart contract bytecode.
evolsb / Claude Legal SkillAI-powered contract review skill with CUAD risk detection, market benchmarks, and lawyer-ready redlines. Works with Claude Code, Codex, Cursor, and 26+ tools.
paco0x / Snx LiquidatorA one-shot MEV extraction contract and bot using the flashbots network and mem pool analysis
smartbugs / Smartbugs CuratedSB Curated is a curated dataset of Solidity smart contracts annotated with tagged vulnerabilities. The dataset was created to evaluate the accuracy of automated analysis tools.
Auditware / RadarA static analysis tool for rust, anchor, stylus, and solidity smart contracts.
fiston-user / Contract Analysis YtAI-powered platform that helps streamline contract analysis. It quickly identifies risks, enhances compliance, and offers insights for faster negotiations. By automating these processes, it significantly reduces legal costs and accelerates contract reviews, allowing businesses to manage contracts more efficiently.
LouisTsai-Csie / Awesome Smart Contract Analysis ToolsA curated list of awesome smart contract analysis tools
