High-performance Solana Program Fuzzer written in Rust with LibAFL/LiteSVM backend with sBPF edge coverage and state coverage
☆75Oct 26, 2026Updated 2 weeks ago
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:
- Ship without fear. Proofs, not promises.☆71Oct 29, 2026Updated 2 weeks ago
- The first Claude skill for writing production-grade, security-first Solana programs. Anchor & Native Rust. Built by Frank Castle.☆149Oct 5, 2026Updated last month
- ☆38Oct 15, 2026Updated 3 weeks ago
- K semantics for Solana☆16Jun 23, 2026Updated 4 months ago
- A static analysis tool for rust, anchor, stylus, and solidity smart contracts.☆154Sep 7, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- macro for generating type-safe CPI functions from Solana IDLs☆11Jun 10, 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 7 months ago
- A general CPI interface for client-side protocol routing for Solana programs.☆57Jul 12, 2026Updated 4 months ago
- An upstream BPF linker for SBPF V0 programs☆55Updated this week
- End-to-end agentic smart contract fuzzing and threat hunting☆142Nov 4, 2026Updated last week
- Solana Ledger RPC Stack☆61Updated this week
- SVM program test harness☆307Updated this week
- Public Repository of our Audit Reports☆28Sep 15, 2026Updated last month
- software package for designing, training, uploading, and invoking ai models on the solana blockchain using the frostbite program.☆13Feb 18, 2026Updated 8 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- code coverage for coding agents☆24Mar 27, 2026Updated 7 months ago
- gcov for what lines of code agents read☆66Nov 1, 2026Updated last week
- Rust-based framework to Fuzz Solana programs, designed to help you ship secure code.☆408May 18, 2026Updated 5 months ago
- Move language fuzzing framework.☆17Dec 3, 2025Updated 11 months ago
- A solana Tx Log Parser☆20Apr 27, 2025Updated last year
- A curated collection of tools, articles, research, and guides for fuzzing smart contracts on the Ethereum Virtual Machine (EVM).☆257Jul 21, 2026Updated 3 months ago
- ☆63Oct 21, 2025Updated last year
- Execute and verify compiled Solana sBPF programs with a Lean 4 reference model☆21Updated this week
- ☆13Mar 25, 2026Updated 7 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A tool to extract Interface Description Language (IDL) from Solana programs☆67May 13, 2025Updated last year
- Multi-stage Rust binary analysis pipeline (warper -> marinator -> signer -> flower)☆29May 18, 2026Updated 5 months ago
- ☆648Nov 4, 2026Updated last week
- ☆14Feb 15, 2026Updated 8 months ago
- Sol-azy is a modular CLI toolchain for static analysis and reverse engineering of Solana sBPF programs☆112Mar 2, 2026Updated 8 months ago
- Evidence-gated local workflow clock: loops repeat work, the clock advances trust.☆16Aug 19, 2026Updated 2 months ago
- Binary Ninja plugin for Solana eBPF☆257Nov 4, 2026Updated last week
- Skill for move smart contract security auditing.☆24Aug 19, 2026Updated 2 months ago
- AST-based security scanner for Anchor programs.☆17Oct 8, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A RustRover plugin to debug Solana programs☆17Mar 20, 2024Updated 2 years ago
- Claude Code / agentic security skill for Solana programs and software. Full audit-firm lifecycle, executable PoC + fix-patch delivery, a …☆64Updated this week
- Shut down your program in a recoverable way in a single transaction☆46Sep 10, 2026Updated 2 months ago
- Claude Code skill that produces submission-ready Foundry PoCs against mainnet-forked deployed contracts.☆77Apr 23, 2026Updated 6 months ago
- Static analyzer tool for Solana☆85Nov 20, 2025Updated 11 months ago
- A non production-ready flash loan program that showcase the use of instruction introspection with Pinocchio.☆15Jul 19, 2025Updated last year
- A drop-in replacement for `solana_program::invoke*` with better compute and heap efficiency.☆30Jan 16, 2025Updated last year
Are these results useful?