trailofbits / slither-mcpLinks
MCP server for Slither static analysis of Solidity smart contracts
☆42Updated 3 weeks ago
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 5 months ago
- Comprehensive framework that identifies, categorizes, and mitigates Web3-related attacks and vulnerabilities☆56Updated last year
- ☆153Updated 3 months ago
- Static analyzer tool for Solana☆74Updated 3 weeks ago
- 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
- Cairo/Starknet smart contract fuzzer☆129Updated 7 months ago
- A curated list of blockchain security incidents including exchange hacks, DeFi compromises, blockchain attacks, and others.☆25Updated 4 years ago
- A crawling framework for blockchains and peer-to-peer systems☆46Updated 2 years ago
- Blockchain Security Tools and Techniques - A Deep Dive to Virtual Machines, Vulnerability Assessments, Penetration Testing, Audit Tools e…☆32Updated last year
- StarkNet smart contract fuzzer☆81Updated 3 years ago
- Sui smart contract fuzzer☆47Updated last year
- Official repository for the Security Frameworks by SEAL. Currently under development, not a release.☆60Updated this week
- A static analyzer and linter for the Circom zero-knowledge DSL☆260Updated last year
- Collection of PoCs and exploits for DeFi and other Ethereum projects☆82Updated 3 years ago
- ☆13Updated this week
- ink! smart-contract fuzzer ⚡☆15Updated 7 months ago
- Collection of CTFs for Fun and Interviewing Applicants☆151Updated 10 months ago
- A smart-contract based, key-encumbered wallet for privately liquefying blockchain assets☆35Updated 7 months ago
- Optik is a set of symbolic execution tools that assist smart-contract fuzzers☆99Updated last year
- A framework for assessing the security of L2s☆48Updated 2 years ago
- Public infra related to hosting Paradigm CTF☆115Updated last year
- A self-contained example Ethereum challenge using Paradigm's CTF framework☆31Updated 3 years ago
- The Ghidra EVM Module (ghidra-evm) leverages Ghidra 9.1.2 to disassemble and analyze compiled Ethereum smart contracts. Ghidra-evm was pr…☆145Updated 4 years ago
- AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.☆89Updated last year
- Quickly open your favorite Web IDE to review the selected smart contract codebase☆30Updated last year
- KYC without doxxing yourself. Prove your identity to a third party without disclosing it.☆41Updated 2 years ago
- one off scripts and contracts☆18Updated 2 years ago
- Interactive documentation on zero-knowledge proof systems and related primitives.☆170Updated 3 months ago
- ☆13Updated 2 years ago
- Static Analyzer for Starknet smart contracts☆146Updated last year