Solidity smart contract auditor leveraging static analysis, Solodit findings and Map, Hunt, Attack strategy
☆59Feb 24, 2026Updated last week
Alternatives and similar repositories for sc-auditor
Users that are interested in sc-auditor are comparing it to the libraries listed below
Sorting:
- A Claude Code skill that scans Solidity codebases for security vulnerabilities by referencing 36 unique vulnerability types☆82Feb 9, 2026Updated 3 weeks ago
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 2 years ago
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆28Jul 15, 2024Updated last year
- A public repository for Stormhalter, a Legends of Kesmai revival project.☆17Feb 2, 2026Updated last month
- 🚀 Elegant form validation solution in React with TypeScript using Decorators 🚀☆19Jun 21, 2023Updated 2 years ago
- ELO calculation as a solidity library (algorithm of 400 / chess ELO)☆34Nov 27, 2022Updated 3 years ago
- ☆11May 23, 2023Updated 2 years ago
- A course about terraform☆11Apr 13, 2021Updated 4 years ago
- ☆14Feb 26, 2026Updated last week
- ☆10Sep 4, 2025Updated 6 months ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- Contracts for verifiable randomness on StarkNet☆42Oct 17, 2022Updated 3 years ago
- This is a Node.js wrapper around ZoKrates.☆10May 18, 2020Updated 5 years ago
- Formally verified smart contracts. Mathematical certainty across all inputs and execution paths. Betting that agents will make full forma…☆36Updated this week
- ☆19Feb 20, 2026Updated 2 weeks ago
- exotic NFT and ERC20 covered call vaults☆10Aug 5, 2022Updated 3 years ago
- Tool/library for manipulating and monitoring temporal logic specifications☆11Oct 31, 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
- Tooling to shim libfuzzer <-> golang native fuzzing☆13May 9, 2024Updated last year
- The Ambire AdEx Validator Stack implemented in Rust: sentry, validator worker, adapter, adview manager☆11Mar 25, 2023Updated 2 years ago
- Public Audits in the NEAR Ecosystem☆14Jun 10, 2024Updated last year
- Runs Kubernetes Master Inside Docker☆13Mar 24, 2025Updated 11 months ago
- Funding public goods on ethereum using open grants.☆13Jan 27, 2023Updated 3 years ago
- An ERC721 implementation in Cairo 1☆12Apr 25, 2023Updated 2 years ago
- A connector to Rainbow Bridge that allows sending $NEAR to Ethereum as an ERC-20 token (eNEAR)☆10Mar 29, 2025Updated 11 months ago
- Deprecated - use https://github.com/hooperben/noir-hardhat-template-v2☆16Aug 5, 2024Updated last year
- SpecOps is a low-level, domain-specific language and compiler for crafting Ethereum VM bytecode. The project also includes a CLI with cod…☆16Aug 18, 2024Updated last year
- ☆11Oct 9, 2022Updated 3 years ago
- A Pub/Sub library for Rust backed by Postgres☆17Oct 3, 2023Updated 2 years ago
- Forkable template to get you started with Starknet Foundry's Forge☆15Nov 15, 2023Updated 2 years ago
- A cross-platform smart account library☆12Updated this week
- ☆14Aug 17, 2021Updated 4 years ago
- Mudlet Script for Procedural Realms MUD☆11Jan 5, 2024Updated 2 years ago
- Chainlink Automation contracts for MakerDAO cron jobs☆10May 31, 2024Updated last year
- EthGlobal Autonomous Worlds Hackathon Project -- permissionless, composable, and autonomous on-chain RPG with playable characters as foun…☆11Jun 5, 2023Updated 2 years ago
- Aeternity expansions repository — application layer standards☆10Nov 8, 2022Updated 3 years ago
- Merkle distributor☆11Nov 19, 2021Updated 4 years ago
- Lydia: Who's Your Enemy in the Dark Forrest☆13Aug 24, 2025Updated 6 months ago
- Repository for contracts supporting bridge between Flow <> EVM☆12Feb 19, 2026Updated 2 weeks ago