Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and deviations from best practices. Scout audit is the core development on which we extend scout for specific blockchains.
☆48Apr 24, 2026Updated last month
Alternatives and similar repositories for scout-audit
Users that are interested in scout-audit are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆29May 28, 2024Updated 2 years ago
- Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …☆46Nov 7, 2024Updated last year
- ☆10Feb 21, 2022Updated 4 years ago
- Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache☆12Feb 25, 2025Updated last year
- Testing framework for Algorand SDKs☆21Mar 6, 2026Updated 3 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The Stellar app lifecycle streamlined. `stellar scaffold` CLI: init, learn, & build ambitious apps. `stellar registry` CLI: author, publi…☆53Updated this week
- ☆14Apr 3, 2026Updated 2 months ago
- Build multi-architecture iOS libraries from build systems like CMake, Make, and Xcode.☆21Nov 27, 2018Updated 7 years ago
- ☆25Feb 20, 2026Updated 3 months ago
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆29Jul 15, 2024Updated last year
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 2 years ago
- Google Tink's critical Ed25519 bug related to Java "final" keyword☆11Apr 5, 2020Updated 6 years ago
- NPM Package for Typeorm listing queries☆17Jun 12, 2022Updated 4 years ago
- POC of a decentralized application (dApp) to enhance trust in agency-client relationships using blockchain. It enables trustless payments…☆18May 18, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Generating code for https://polkashots.io☆17Jan 11, 2023Updated 3 years ago
- UI Builder is an open-source blockchain development tool that helps developers and non-developers create user-friendly interfaces for sma…☆39Jun 6, 2026Updated last week
- Repositorio de drives y resueltos. Los drives contienen material, exámenes resueltos, apuntes, etc. Analisis Numerico I FIUBA☆13Nov 30, 2023Updated 2 years ago
- ☆17Aug 28, 2025Updated 9 months ago
- ☆16Feb 20, 2024Updated 2 years ago
- ☆13Jun 23, 2025Updated 11 months ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated 2 years ago
- Verified Ethereum Smart Contract dataset☆28Nov 9, 2023Updated 2 years ago
- ☆12Jun 17, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A security-focused static analyzer for Sway written in Rust.☆31May 13, 2025Updated last year
- OpenZeppelin Contracts written in Rust for Stellar Soroban☆86Jun 12, 2026Updated last week
- Translating WebAssembly into the most simple LLVM IR.☆15May 13, 2026Updated last month
- Collection of Smart Contract for Stacks Blockchain in Clarity☆86Apr 18, 2024Updated 2 years ago
- Analyzer for Uniswap v4 Hooks☆11Mar 4, 2024Updated 2 years ago
- A CosmosSDK application for moving assets on and off of EVM based, POW chains☆10Nov 28, 2023Updated 2 years ago
- Docker images for the Solana Test Validator for Intel (amd64) and Apple Silicon (arm64). Nightly builds from the latest version of https:…☆10May 5, 2026Updated last month
- microRTPS agent side of the microRTPS bridge. Used to interface PX4 with the DDS world through FastRTPS/FastDDS.☆10Sep 17, 2023Updated 2 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆18Mar 9, 2023Updated 3 years ago
- Nayms Smart Contracts v3☆11Feb 21, 2025Updated last year
- Final audit reports for Beanstalk ecosystem code.☆13Sep 13, 2024Updated last year
- ☆16Mar 22, 2022Updated 4 years ago
- [Archived - See https://github.com/rustsbi/rustsbi/] RustSBI prototyper☆12Feb 16, 2025Updated last year
- ☆12Mar 1, 2024Updated 2 years ago
- The zkEVM assembly tools☆11Aug 16, 2024Updated last year