CoinFabrik / scout-actionsLinks
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 8 months ago
Alternatives and similar repositories for scout-actions
Users that are interested in scout-actions are comparing it to the libraries listed below
Sorting:
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆28Updated last year
- A list of public audit reports conducted by the CoinFabrik team.☆22Updated 3 months ago
- Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarit…☆30Updated last year
- Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …☆43Updated last year
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆45Updated last month
- Scout is an extensible open-source tool intended to assist ink! smart contract developers and auditors detect common security issues and …☆60Updated last year
- This repository contains CoinFabrik's ongoing research and development to extend CodeQL support to the Solidity smart contract language. …☆53Updated last year
- WebSocket Manager that facilitates secure communication between parties for multi party computation applications.☆11Updated 2 years ago
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…☆268Updated 3 weeks ago
- Collection of security reviews of ZK Protocols☆238Updated last year
- A list of public fuzzing campaigns☆128Updated last month
- Benchmark Generator for Smart-Contract Fuzzers☆140Updated 3 months ago
- Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…☆27Updated 2 weeks ago
- Checklist for security audit of TON projects by @PositiveSecurity☆43Updated 10 months ago
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆115Updated 4 months ago
- ☆124Updated last month
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆74Updated last month
- Roadmap to get up to speed with CosmWasm smart contract audits and security vulnerabilities☆99Updated last year
- 🍋 An open dataset containing smart contract audit issues from various sources.☆236Updated last year
- Reproduce ZKP vulnerabilities☆309Updated last month
- Node module for scanning and visualize Solana accounts☆39Updated 10 months ago
- A curated list of research, articles, tools, and resources focused on attacks against Fully Homomorphic Encryption (FHE)☆90Updated last month
- A curated list of awesome Solana security resources☆66Updated last year
- A simple tool for security researchers to monitor code-changes that silently fix bugs or introduce new ones, across multiple repositories…☆44Updated last year
- ☆17Updated last year
- Hacks/Vulns/Audits Compilation☆162Updated last year
- My work for Rareskills ZK Book.☆73Updated last year
- Smart Contract Property-Based Testing Framework☆142Updated 9 months ago
- Verified Ethereum Smart Contract dataset☆29Updated 2 years ago
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆334Updated 9 months ago