trailofbits / slither-mcpLinks
MCP server for Slither static analysis of Solidity smart contracts
☆69Updated last week
Alternatives and similar repositories for slither-mcp
Users that are interested in slither-mcp are comparing it to the libraries listed below
Sorting:
- Tool and testing methodology for subjecting blockchain devnets to simulated network and side channel attacks☆75Updated 7 months ago
- StarkNet smart contract fuzzer☆81Updated 3 years ago
- Static analyzer tool for Solana☆81Updated 2 months ago
- Cairo/Starknet smart contract fuzzer☆129Updated 9 months ago
- Collection of PoCs and exploits for DeFi and other Ethereum projects☆83Updated 3 years ago
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆99Updated last year
- Official repository for the Security Frameworks by SEAL. Currently under development, not a release.☆68Updated this week
- Sui smart contract fuzzer☆48Updated last year
- Public infra related to hosting Paradigm CTF☆114Updated last year
- Comprehensive framework that identifies, categorizes, and mitigates Web3-related attacks and vulnerabilities☆56Updated last year
- Using smart contracts to verify the content of a webpage, mitigating the risk of connecting a wallet to a website affected by a DNS takeo…☆27Updated 2 years ago
- Smart Contract Fuzzing Towards Profitable Vulnerabilities☆61Updated 7 months ago
- A general purpose foundation for cloud-based fuzzing and mutation testing jobs☆22Updated 3 weeks ago
- A curated list of awesome security resources for ZK.☆118Updated 3 months ago
- CTF Writeups☆36Updated 2 years ago
- PoC Exploit of a soundness bug exploit in the zkSync Era ZK-circuits☆39Updated 11 months ago
- ☆13Updated 2 years ago
- A framework for assessing the security of L2s☆48Updated 2 years ago
- A static analyzer and linter for the Circom zero-knowledge DSL☆260Updated last year
- Web3 Security Toolbox☆73Updated last year
- A tool to manage (Gnosis) Safe multisig owners and thresholds in bulk.☆18Updated last year
- Barebones Solidity smart contract fuzzer☆96Updated 3 years ago
- Solidity ANTLR4 grammar Python parser☆13Updated 11 months ago
- This repository implements a simplified PoC that showcases how a contract can morph. A similar approach was used as part of the governanc…☆62Updated this week
- ☆30Updated 2 years ago
- Scrappy assistant that automates web3 bug hunting workflows. Tracks ongoing bug bounties and launches autonomous agents that can perform …☆129Updated 4 months ago
- A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)☆92Updated 2 months ago
- DeFiVulnLabsCosmWasm☆51Updated 2 years ago
- Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the sol…☆68Updated 2 months ago
- Static Analyzer for Starknet smart contracts☆146Updated 2 years ago