AI auditor for blockchain/DLT
☆39Jun 9, 2026Updated 4 months ago
Alternatives and similar repositories for dlt-auditor
Users that are interested in dlt-auditor are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Per-entry-point, navigable call-graph visualizations of Solidity repositories — for Web3 security auditors.☆46Jul 17, 2026Updated 3 months ago
- ☆27Jul 30, 2026Updated 2 months ago
- ☆50Updated this week
- This repository comprises of everything you need to know about Solidity proxies, upgradeable smart contracts and their security.☆18Jun 3, 2024Updated 2 years ago
- Benchmark suite for smart-contract fuzzers☆17Sep 7, 2026Updated last month
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Obsidian brain for smart contract auditing☆111Jul 8, 2026Updated 3 months ago
- ☆37Oct 15, 2026Updated last week
- ☆27Sep 25, 2026Updated 3 weeks ago
- zkVMs vulnerabilities☆16May 4, 2026Updated 5 months ago
- ☆18Jan 7, 2025Updated last year
- ☆75Aug 7, 2026Updated 2 months ago
- Built on the v2 packaging and workflow model from pashov/skills, then adapted for Solana-specific security review.☆53Mar 23, 2026Updated 6 months ago
- ☆16Aug 5, 2026Updated 2 months ago
- A curated collection of high-signal, zero-shot detectors maintained by Zero Cool.☆60Aug 11, 2026Updated 2 months ago
- 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.
- Autonomous Solidity Fuzzing via a Multi Agent Orchestration Framework☆27May 6, 2026Updated 5 months ago
- Claude Code skills for Solidity security auditing. 90% precision across 40 blind Code4rena contests. Zero API cost.☆25Sep 29, 2026Updated 3 weeks ago
- https://timimm.github.io/awesome-zero-knowledge-proofs-security/☆42Jun 15, 2026Updated 4 months ago
- code coverage for coding agents☆23Mar 27, 2026Updated 6 months ago
- A curated list of resources for formal verification with Certora Prover (EVM/Stellar/Solana/Sui).☆34Oct 11, 2026Updated last week
- ☆14Apr 1, 2026Updated 6 months ago
- a CTF tool for managing challenges and deploying them across multiple CTF platforms☆14Aug 16, 2026Updated 2 months ago
- AI for Web3 Security: Zero to Hero — a hands-on course building an AI bug-hunting harness, module by module.☆45Oct 7, 2026Updated 2 weeks ago
- Curated list of ZK security and learning resources. Quality > quantity☆29Jul 14, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Solidity smart contract auditor leveraging static analysis, Solodit findings and Map, Hunt, Attack strategy☆127Mar 13, 2026Updated 7 months ago
- ☆31Mar 16, 2026Updated 7 months ago
- Blockchain bridge smart contract vulnerabilities with multiple POCs.☆35Jan 9, 2026Updated 9 months ago
- ☆14May 21, 2026Updated 5 months ago
- Structured skills for smart contract security audits. Infers state invariants, detects semantic guard gaps, models flash loan + oracle at…☆129Mar 30, 2026Updated 6 months ago
- ☆10Dec 2, 2023Updated 2 years ago
- Multi-stage Rust binary analysis pipeline (warper -> marinator -> signer -> flower)☆27May 18, 2026Updated 5 months ago
- Extension to Scaffold, Run and Debug Invariant Tests with Echidna, Medusa, Halmos and Foundry. Always published under Recon-Fuzz. Recomme…☆37Jun 16, 2026Updated 4 months ago
- The fastest way to understand complex Solidity smart contracts.☆156Sep 4, 2026Updated last month
- 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.
- ☆12Sep 30, 2024Updated 2 years ago
- A fully static, backend-free, in-browser EVM exploit debugger.☆35Jul 22, 2026Updated 3 months ago
- Web3 security skills kit — smart contract auditing, blockchain client analysis, and on-chain exploit investigation.☆114Jul 21, 2026Updated 3 months ago
- ☆41Oct 6, 2026Updated 2 weeks ago
- The Inescapable Auditor -- iterative deep-logic security audit agent for Claude Code☆247Mar 16, 2026Updated 7 months ago
- AI-powered Sui Move security skills for auditing packages that live in an object-centric runtime, not an EVM account model.☆39Mar 23, 2026Updated 6 months ago
- ☆25Updated this week