Alternatives and similar repositories for scout-audit

Users that are interested in scout-audit are comparing it to the libraries listed below

• CoinFabrik / scout-soroban

  View on GitHub
  Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …
  ☆43Nov 7, 2024Updated last year
• CoinFabrik / mpc-manager

  View on GitHub
  WebSocket Manager that facilitates secure communication between parties for multi party computation applications.
  ☆11Apr 24, 2023Updated 2 years ago
• CoinFabrik / geppetto

  View on GitHub
  Geppetto: Advanced Slack bot using multiple AI models for interactive conversations and creative image generation. Enhances Slack with au…
  ☆20Feb 18, 2025Updated 11 months ago
• CoinFabrik / ClipboardShield

  View on GitHub
  Clipboard Shield: Protection Defends Against Cyberthreats
  ☆32Apr 5, 2025Updated 10 months ago
• CoinFabrik / wasm-multi-party-ecdsa

  View on GitHub
  Full WASM Secure Threshold Signature ECDSA Library
  ☆36Aug 6, 2023Updated 2 years ago
• freespek / solarkraft

  View on GitHub
  Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache
  ☆12Feb 25, 2025Updated 11 months ago
• hanakannzashi / near-contract-course-basics

  View on GitHub
  ☆23Sep 21, 2024Updated last year
• moonwell-fi / temporal-governance

  View on GitHub
  Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities
  ☆11Oct 22, 2023Updated 2 years ago
• rappie / echidna-curve-reentrancy-hack

  View on GitHub
  Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna
  ☆28Jul 15, 2024Updated last year
• BuenDia-Builders / codigofutura

  View on GitHub
  ☆24Nov 13, 2025Updated 3 months ago
• Veza / oaa-community

  View on GitHub
  Open Authorization API (OAA) development libraries, connectors and resources.
  ☆17Jan 9, 2025Updated last year
• massalabs / massa-sc-toolkit

  View on GitHub
  ☆11May 27, 2025Updated 8 months ago
• immutable / imx-core-sdk-golang

  View on GitHub
  The Immutable Core SDK Golang provides convenient access to the Immutable APIs and Ethereum contract methods for applications integrating…
  ☆10Jan 6, 2026Updated last month
• nektra / RemoteBridge

  View on GitHub
  RemoteBridge is a library that allows you to access internal COM and JAVA objects used by third-party applications remotely.
  ☆35Oct 11, 2017Updated 8 years ago
• Checkmarx / AppSecVillage-Samples

  View on GitHub
  A public repo to hold some code review challenges for RSA Conference 2022
  ☆11Jun 3, 2022Updated 3 years ago
• drdo / logic-translation

  View on GitHub
  Translation from FOL to LTL+Past and LTL, via separation of LTL+Past
  ☆10May 22, 2024Updated last year
• eqbtech / equilibria-contracts

  View on GitHub
  ☆13Jun 23, 2025Updated 7 months ago
• BeanstalkFarms / Pipeline

  View on GitHub
  Perform an arbitrary series of actions in the EVM in a single transaction.
  ☆13Oct 21, 2024Updated last year
• Lodestar-Finance / lodestar-protocol

  View on GitHub
  Houses the code for the Lodestar Finance DeFi protocol.
  ☆10Feb 7, 2025Updated last year
• alterem / GZWeatherPoster

  View on GitHub
  基于 Google Gemini API 的广州天气预报海报生成器。每天自动生成一张风格独特的 Q 版天气海报。
  ☆24Dec 22, 2025Updated last month
• PDDStudio / O-Rly-Android

  View on GitHub
  An Android App to generate parody O RLY Book Covers
  ☆10Aug 17, 2016Updated 9 years ago
• rodrigoherrerai / Compound-V2-Examples

  View on GitHub
  Compound V2 Examples
  ☆11Jan 20, 2023Updated 3 years ago
• AbdulRehman-z / ecommerce-golang-fiber-mongodb

  View on GitHub
  E-commerce backend using fiber(Golang) + Mongodb.
  ☆10Aug 18, 2024Updated last year
• monetlang / evmlite

  View on GitHub
  A tiny stack machine to learn Ethereum bytecode.
  ☆12Dec 17, 2024Updated last year
• level-fi / level-core-contracts

  View on GitHub
  ☆10Jul 20, 2023Updated 2 years ago
• ktock / qemu-wasm-demo

  View on GitHub
  ☆12Aug 28, 2025Updated 5 months ago
• havelund / tracecontract

  View on GitHub
  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
• Pendzl / pendzl

  View on GitHub
  ☆13Nov 5, 2024Updated last year
• shuo-young / lydia

  View on GitHub
  Lydia: Who's Your Enemy in the Dark Forrest
  ☆13Aug 24, 2025Updated 5 months ago
• cryptosubtlety / final-security-bug

  View on GitHub
  Google Tink's critical Ed25519 bug related to Java "final" keyword
  ☆11Apr 5, 2020Updated 5 years ago
• anand-bala / argus

  View on GitHub
  Tool/library for manipulating and monitoring temporal logic specifications
  ☆11Oct 31, 2023Updated 2 years ago
• utensil / llm-playground

  View on GitHub
  ☆10Aug 9, 2023Updated 2 years ago
• ZenVoich / fuzz

  View on GitHub
  Motoko fuzzing library
  ☆11Jun 1, 2025Updated 8 months ago
• wavesplatform / ride-vscode

  View on GitHub
  ☆13Jul 25, 2023Updated 2 years ago
• demergent-labs / cdk_framework

  View on GitHub
  ☆11Apr 10, 2024Updated last year
• Migushthe2nd / QuestFirmwareGrabber

  View on GitHub
  An implementation of Oculus' firmware update services from the Oculus Quest 2 in nodejs. Features were reverse engineered from the offici…
  ☆14Jan 7, 2022Updated 4 years ago
• L1atte / vanilla-monaco-with-lsp-dap

  View on GitHub
  Monaco editor about SQL with auto completion
  ☆10May 11, 2023Updated 2 years ago
• beeman / solana-test-validator

  View on GitHub
  Docker images for the Solana Test Validator for Intel (amd64) and Apple Silicon (arm64). Nightly builds from the latest version of https:…
  ☆11Jan 22, 2026Updated 3 weeks ago
• bor0 / dafny-tutorial

  View on GitHub
  Exercises for the Dafny Tutorial
  ☆14May 21, 2018Updated 7 years ago