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.
☆45Apr 16, 2026Updated this week
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:
- This repository contains CoinFabrik's ongoing research and development to extend CodeQL support to the Solidity smart contract language. …☆53Oct 25, 2024Updated last year
- Full WASM Secure Threshold Signature ECDSA Library☆36Aug 6, 2023Updated 2 years ago
- ☆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 last month
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- The Stellar app lifecycle streamlined. `stellar scaffold` CLI: init, learn, & build ambitious apps. `stellar registry` CLI: author, publi…☆51Updated this week
- Build multi-architecture iOS libraries from build systems like CMake, Make, and Xcode.☆21Nov 27, 2018Updated 7 years ago
- ☆24Jan 15, 2025Updated last year
- ☆22Sep 21, 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 3 years ago
- UI Builder is an open-source blockchain development tool that helps developers and non-developers create user-friendly interfaces for sma…☆38Updated this week
- Generating code for https://polkashots.io☆17Jan 11, 2023Updated 3 years 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.
- Omni Infrastructure provider that automatically creates VMs in a KubeVirt cluster☆18Updated this week
- MCP server for Readwise☆24Jan 12, 2026Updated 3 months ago
- ☆10Jul 20, 2023Updated 2 years ago
- A lightweight command line interface tool for creating in-house web status servers. it makes end user to easily setup web status for thei…☆24Sep 20, 2025Updated 6 months ago
- ☆16Feb 20, 2024Updated 2 years ago
- ☆15Aug 28, 2025Updated 7 months ago
- ☆13Jun 23, 2025Updated 9 months ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- Zero-related bugs in 4 BLS libs & standard draft,"splitting zero" attacks, $35000 award☆17Aug 20, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Verified Ethereum Smart Contract dataset☆29Nov 9, 2023Updated 2 years ago
- A Pub/Sub library for Rust backed by Postgres☆17Oct 3, 2023Updated 2 years ago
- ☆12Jun 17, 2025Updated 10 months ago
- Perform an arbitrary series of actions in the EVM in a single transaction.☆13Oct 21, 2024Updated last year
- Translating WebAssembly into the most simple LLVM IR.☆15Jan 6, 2026Updated 3 months ago
- ☆10Mar 8, 2023Updated 3 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:…☆10Jan 22, 2026Updated 2 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- microRTPS agent side of the microRTPS bridge. Used to interface PX4 with the DDS world through FastRTPS/FastDDS.☆10Sep 17, 2023Updated 2 years ago
- Enumerable is a simple "Hello World" example project, demonstrating how to enumerate over the NFTs in an ERC-721 contract and display the…☆10Jun 1, 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
- ☆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