High-performance Solana Program Fuzzer written in Rust with LibAFL/LiteSVM backend with sBPF edge coverage and state coverage
☆61Sep 28, 2026Updated this week
Alternatives and similar repositories for crucible
Users that are interested in crucible are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆37Sep 23, 2026Updated last week
- The first Claude skill for writing production-grade, security-first Solana programs. Anchor & Native Rust. Built by Frank Castle.☆145Apr 20, 2026Updated 5 months ago
- A static analysis tool for rust, anchor, stylus, and solidity smart contracts.☆153Sep 7, 2026Updated 3 weeks ago
- Ship without fear. Proofs, not promises.☆68Updated this week
- A general CPI interface for client-side protocol routing for Solana programs.☆57Jul 12, 2026Updated 2 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Move language fuzzing framework.☆17Dec 3, 2025Updated 10 months ago
- K semantics for Solana☆16Jun 23, 2026Updated 3 months ago
- Claude skill for cloning onchain smart contracts with etherscan.☆24Apr 23, 2026Updated 5 months ago
- Solana Ledger RPC Stack☆53Updated this week
- AI prompts for web3 security researchers — bug bounties, private audits, and contests☆22Mar 9, 2026Updated 6 months ago
- ink! smart-contract fuzzer ⚡☆18Apr 22, 2025Updated last year
- SVM program test harness☆305Updated this week
- An upstream BPF linker for SBPF V0 programs☆47Updated this week
- A RustRover plugin to debug Solana programs☆16Mar 20, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- a friendly implementation of nyx ontop of firecracker instead of QEMU. Easier to use & cleaner code☆36Jan 20, 2026Updated 8 months ago
- Claude Code skill that produces submission-ready Foundry PoCs against mainnet-forked deployed contracts.☆76Apr 23, 2026Updated 5 months ago
- Sol-azy is a modular CLI toolchain for static analysis and reverse engineering of Solana sBPF programs☆111Mar 2, 2026Updated 7 months ago
- A tool to extract Interface Description Language (IDL) from Solana programs☆67May 13, 2025Updated last year
- A non production-ready example that showcase how to CPI into Jupiter Route Program efficiently and with maximum control.☆17Oct 3, 2025Updated last year
- A drop-in replacement for `solana_program::invoke*` with better compute and heap efficiency.☆30Jan 16, 2025Updated last year
- The X-Ray Toolchain is an open-source, cross-platform command-line interface (CLI) tool designed for static analysis of Solana programs a…☆57Mar 27, 2026Updated 6 months ago
- Simple grammar-based test case generator☆48Updated this week
- Rust-based framework to Fuzz Solana programs, designed to help you ship secure code.☆405May 18, 2026Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Smart Contract Fuzzing Towards Profitable Vulnerabilities☆68Jul 9, 2025Updated last year
- Public Repository of our Audit Reports☆28Sep 15, 2026Updated 2 weeks ago
- macro for generating type-safe CPI functions from Solana IDLs☆11Jun 10, 2025Updated last year
- Autarkie - Instant Grammar Fuzzing Using Rust Macros☆97Jun 15, 2026Updated 3 months ago
- An ultra-lightweight Solana Python interpreter ported from PikaPython☆23Dec 19, 2025Updated 9 months ago
- [WIP] Codama nodes and IDL extraction in Rust☆27Sep 3, 2026Updated last month
- ☆34Updated this week
- Fuzz go code using LibAFL's capabilities with Go’s native instrumentation.☆74Feb 19, 2026Updated 7 months ago
- ☆642Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Static analyzer tool for Solana☆85Nov 20, 2025Updated 10 months ago
- A collection of awesome tools for learning sbpf assembly☆62Apr 23, 2026Updated 5 months ago
- Solidity static analyzer you can talk to. MCP integration for Claude Code, Cursor, and Windsurf.☆30Jan 27, 2026Updated 8 months ago
- code coverage for coding agents☆23Mar 27, 2026Updated 6 months ago
- ☆25Jun 15, 2026Updated 3 months ago
- FrameShift prototype implementation in LibAFL☆16Nov 13, 2025Updated 10 months ago
- A CLI tool to debug Solana programs☆22May 9, 2025Updated last year