AI-driven Static Analyzer. Supports Rust and Smart contracts: Solana based on Rust, Ethereum based on Solidity.
☆93Oct 3, 2024Updated 2 years ago
Alternatives and similar repositories for l3x
Users that are interested in l3x are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Examples of Solana applications verification with the Certora Prover☆12Jun 11, 2026Updated 5 months ago
- Sierra decompiler and analyzer☆13Apr 22, 2025Updated last year
- A collection of resources to study Solana smart contract security, auditing, and exploits.☆894Dec 13, 2024Updated 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…☆58Mar 27, 2026Updated 7 months ago
- Analyzer for Uniswap v4 Hooks☆12Mar 4, 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.
- Automated Vulnerability Detection for Solana Smart Contracts☆41Jul 26, 2026Updated 3 months ago
- Semgrep rules for Cairo 1.0☆18Aug 28, 2023Updated 3 years ago
- A static analyzer for NEAR smart contract in Rust☆110Oct 31, 2023Updated 3 years ago
- A curated list of awesome Solana security resources☆76Aug 14, 2026Updated 3 months ago
- web3-grant☆10Apr 10, 2023Updated 3 years ago
- Lints based on the Sealevel Attacks☆48Feb 19, 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
- Curated list of yield farms and tools 🤑☆12Jul 15, 2021Updated 5 years ago
- Rust-based framework to Fuzz Solana programs, designed to help you ship secure code.☆409May 18, 2026Updated 5 months ago
- 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.
- Halmos vs Damn Vulnerable DeFi is the series of articles about solving the Damn Vulnerable DeFi CTF using the Halmos symbolic analyzer.☆34Feb 25, 2025Updated last year
- Static analyzer tool for Solana☆85Nov 20, 2025Updated 11 months ago
- ☆10May 17, 2025Updated last year
- This repository contains CoinFabrik's ongoing research and development to extend CodeQL support to the Solidity smart contract language. …☆57Oct 25, 2024Updated 2 years ago
- Quickstart repo for creating a permissioned market proxy on the Serum DEX☆18Sep 15, 2021Updated 5 years ago
- Find the ideal fuzz targets in a Rust codebase☆228Mar 20, 2026Updated 7 months ago
- Solana Smart Contract Auditing Tool using AI☆15Mar 10, 2024Updated 2 years ago
- Develop Noir with Hardhat without hassle.☆11Oct 10, 2025Updated last year
- On-Chain Program for the verification of Solana Programs.☆26Apr 7, 2026Updated 7 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆47Mar 8, 2024Updated 2 years ago
- Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…☆34Aug 24, 2026Updated 2 months ago
- ☆68Dec 22, 2023Updated 2 years ago
- A tool for referencing the Ethereum specifications in clients☆11Updated this week
- Geppetto: Advanced Slack bot using multiple AI models for interactive conversations and creative image generation. Enhances Slack with au…☆21May 4, 2026Updated 6 months ago
- AI-powered TON security skills for contracts where asynchronous message flow, bounce handling, and gas semantics are part of the bug surf…☆10Mar 23, 2026Updated 7 months ago
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…☆342Oct 26, 2026Updated 2 weeks ago
- Public Report from Security Reviews, and Invariant Testing Engagements☆17Jan 28, 2026Updated 9 months ago
- Updated zkSudoku App☆13Mar 30, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Static Analyzer for Starknet smart contracts☆148Jan 25, 2024Updated 2 years ago
- 🛡️ CLI toolkit for auditing Solana smart contracts. Includes static analysis, IDL-based fuzzing, plugin system, and multi-format reports…☆23Jun 30, 2025Updated last year
- ☆30Mar 16, 2026Updated 7 months ago
- Metatrust fork of Slither Analyzer☆88May 31, 2024Updated 2 years ago
- Wake is a Python-based Solidity development and fuzz testing framework with built-in vulnerability detectors for building secure Ethereum…☆378Nov 5, 2026Updated last week
- Generate invariants for Foundry projects with LLM☆108Aug 30, 2024Updated 2 years ago
- ☆419Sep 30, 2025Updated last year
Are these results useful?