CoinFabrik / scout-actions
Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and deviations from best practices. This GitHub Action allows you to incorporate Scout's analysis into every Pull Request.
☆16Updated 2 months ago
Related projects: ⓘ
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆25Updated 3 months ago
- A list of public audit reports conducted by the CoinFabrik team.☆19Updated 3 weeks ago
- Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarit…☆27Updated 2 months ago
- Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …☆35Updated last week
- Scout is an extensible open-source tool intended to assist ink! smart contract developers and auditors detect common security issues and …☆54Updated last week
- WebSocket Manager that facilitates secure communication between parties for multi party computation applications.☆11Updated last year
- Full WASM Secure Threshold Signature ECDSA Library☆29Updated last year
- Hacks/Vulns/Audits Compilation☆154Updated 2 weeks ago
- A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and tra…☆124Updated this week
- Pre-built security properties for common Ethereum operations☆276Updated last month
- Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors☆232Updated this week
- 🍋 An open dataset containing smart contract audit issues from various sources.☆172Updated 6 months ago
- easy POC template generation from the command line☆317Updated 8 months ago
- Generate tests based on the Branching Tree Technique.☆258Updated 2 weeks ago
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆203Updated last year
- Bugs in commonly forked DeFi protocols☆425Updated 4 months ago
- Find the version that the project you currently develop or audit uses and quickly check which are the known smart contract security vulne…☆78Updated 9 months ago
- Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum☆290Updated last week
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆112Updated 2 weeks ago
- ☆271Updated last month
- ☆143Updated this week
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆261Updated last week
- Collection of security reviews of ZK Protocols☆210Updated 3 weeks ago
- 10 More EVM Puzzles☆173Updated 9 months ago
- Benchmark Generator for Smart-Contract Fuzzers☆121Updated 2 months ago
- ☆216Updated last year
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆89Updated 3 months ago
- A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.☆601Updated 6 months ago
- All things Uniswap☆159Updated 7 months ago
- Foundry Test Suit to test weird ERC20 behavior☆235Updated last year