A smart contract security search utility
☆76Dec 26, 2024Updated last year
Alternatives and similar repositories for Masamune
Users that are interested in Masamune are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A BugBounty companion that checks out high-reward yielding bug bounty code-bases from Immunefi/code4rena 🙌 (use at own risk)☆73Apr 15, 2024Updated 2 years ago
- Semgrep rules for smart contracts based on DeFi exploits☆712Jun 2, 2025Updated 11 months ago
- Experimental tool to ease the review of smart contracts upgrades☆79Mar 25, 2024Updated 2 years ago
- A list of public fuzzing campaigns☆128Jan 24, 2026Updated 4 months ago
- ☆41May 23, 2024Updated 2 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.
- Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNAR…☆11Oct 10, 2023Updated 2 years ago
- A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties☆118Aug 25, 2025Updated 9 months ago
- Scrapper for Immunefi☆47May 28, 2024Updated last year
- ☆88Sep 3, 2025Updated 8 months ago
- ☆24Updated this week
- A 6-part series on how to use Echidna on real-world codebases☆111Jun 29, 2023Updated 2 years ago
- Content for yAudit Reports Site☆29May 14, 2026Updated last week
- Immunefi Contract DB - Search Bugs☆33Dec 4, 2024Updated last year
- Simplified Deployment Validation of EVM-Based Smart Contracts☆37Mar 6, 2026Updated 2 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A curated list of Cosmos ecosystem links, focusing on the security aspect of it☆75Dec 11, 2025Updated 5 months ago
- Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the sol…☆69Dec 9, 2025Updated 5 months ago
- ☆15Jun 24, 2023Updated 2 years ago
- Scrappy assistant that automates web3 bug hunting workflows. Tracks ongoing bug bounties and launches autonomous agents that can perform …☆129Sep 16, 2025Updated 8 months ago
- ☆104Nov 25, 2025Updated 6 months ago
- ☆47Aug 24, 2023Updated 2 years ago
- Workshop about the different types of reentrancy attacks☆135Mar 25, 2025Updated last year
- curation of all(most) immunefi bug bounty writeups I could find(till now)☆1,138Apr 17, 2026Updated last month
- Protect your smart contracts with global reentrancy locks☆17Jun 26, 2023Updated 2 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.
- An NFT with Huff, using polynomials over a finite field with order largest prime address, instead of mappings.☆17Sep 19, 2024Updated last year
- Pre-built security properties for commonly forked DeFi protocols☆197Nov 7, 2023Updated 2 years ago
- ☆138Mar 25, 2026Updated 2 months ago
- Damn Vulnerable DeFi v4 Solutions☆54Sep 19, 2024Updated last year
- DEFI Focus Smart Contract Security Capture the Flag☆182Nov 8, 2022Updated 3 years ago
- DeFiVulnLabsCosmWasm☆52Aug 22, 2023Updated 2 years ago
- ☆45Oct 16, 2024Updated last year
- A symbolic testing tool for EVM smart contracts☆1,002Aug 6, 2025Updated 9 months ago
- ☆51Jul 5, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Bugs in commonly forked DeFi protocols☆488Oct 3, 2025Updated 7 months ago
- Generate invariants for Foundry projects with LLM☆108Aug 30, 2024Updated last year
- Example of the whitehack for Curve exploit 30/07/23☆19Aug 3, 2023Updated 2 years ago
- A curated list of awesome ton security resources☆42May 9, 2026Updated 2 weeks ago
- Formally verifying consistency between Solmate and Solady using Halmos☆55Aug 22, 2024Updated last year
- Using Dynamic Huffidity to embed MiMCSponge Hash bytecode by tornado cash to a solidity contract.☆10Sep 8, 2023Updated 2 years ago
- Public resources on fuzzing services, methodologies, and benefits for protocol security.☆28Apr 25, 2026Updated last month