A cognitive playbook for experienced smart contract auditors. Structures audit thinking, exploration, validation, and reporting. Not an auto-auditor.
☆35Jan 23, 2026Updated last month
Alternatives and similar repositories for audit-assistant-playbook
Users that are interested in audit-assistant-playbook are comparing it to the libraries listed below
Sorting:
- A visual studio code extension that automatically generate the stack comments for Huff.☆25Oct 16, 2023Updated 2 years ago
- Temporal Governance - A public good for the broader Ethereum, Optimism, and Base communities☆11Oct 22, 2023Updated 2 years ago
- AI Agent Instructions for Smart Contract Auditing to generate triaged, industry grade report findings, code locations, pocs, attacker sto…☆55Updated this week
- QRSS Plus: live QRSS grabbers from around the world☆10Feb 9, 2026Updated 2 weeks ago
- Index of the most common vulnerabilities per protocol type, with 460 vulnerabilities across 31 protocol types☆119Feb 20, 2026Updated last week
- ☆18Dec 4, 2025Updated 2 months ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- A Powerful XSS,RXSS,BXSS finding tool☆31Oct 29, 2025Updated 4 months ago
- poc for cve-2025-53772☆46Dec 10, 2025Updated 2 months ago
- Miscellaneous IDA scripts and projects☆15Apr 14, 2021Updated 4 years ago
- A very simple foundry template for optimal contract testing.☆19Mar 20, 2025Updated 11 months ago
- Start a Hardhat Network node from the command line☆12Oct 1, 2021Updated 4 years ago
- An Interval Tree Library☆12Dec 7, 2024Updated last year
- ☆15Jun 12, 2015Updated 10 years ago
- A Pub/Sub library for Rust backed by Postgres☆17Oct 3, 2023Updated 2 years ago
- ☆15Feb 11, 2023Updated 3 years ago
- Lydia: Who's Your Enemy in the Dark Forrest☆13Aug 24, 2025Updated 6 months ago
- ☆21Jan 19, 2026Updated last month
- Demo app showing how to implement authentication with BetterAuth in a TanStack Start app with LiveStore.☆35Nov 19, 2025Updated 3 months ago
- Vyper examples of LZ-enabled Omnichain contracts☆15Feb 26, 2023Updated 3 years ago
- Run GEPA on your favorite non-python libraries.☆33Jan 22, 2026Updated last month
- Silent Cleanup UAC Bypass POC☆11Dec 15, 2019Updated 6 years ago
- ☆13Jul 21, 2022Updated 3 years ago
- A simple P5JSFactory☆12Apr 8, 2023Updated 2 years ago
- A simple self-hosted tool to capture, inspect, and debug incoming webhooks in real time.☆26Oct 28, 2025Updated 3 months ago
- Datastar SDK for zig 0.16☆27Feb 16, 2026Updated last week
- IDA scripts that facilitate reverse engineering☆16Aug 10, 2016Updated 9 years ago
- Anti-debugging techniques on a (bad looking) Win32 application.☆11Sep 14, 2024Updated last year
- ☆24Feb 5, 2026Updated 3 weeks ago
- Tool/library for manipulating and monitoring temporal logic specifications☆11Oct 31, 2023Updated 2 years ago
- Honeypot detection toolkit☆11Feb 10, 2026Updated 2 weeks ago
- Navigating WEB3 with The Graph☆11Sep 9, 2023Updated 2 years ago
- The instant digital "Do Not Touch" sign for your Mac. Stop fingerprints and protect your expensive display with one keystroke.☆29Jan 13, 2026Updated last month
- IDA plugin to Display Mach-O headers☆21Nov 4, 2011Updated 14 years ago
- The goal of this project is to automatically generate stack comments for huff macros☆50Sep 30, 2023Updated 2 years ago
- A static verifer for Ethereum Smart Contracts written in Vyper☆51Feb 15, 2023Updated 3 years ago
- ⍨ Declarative, composable router for Flutter.☆19Feb 15, 2026Updated last week
- AndroidSubSystem4GNU/Linux☆32Dec 30, 2025Updated 2 months ago
- An open benchmark for evaluating smart contracts verification tools.☆16Oct 5, 2025Updated 4 months ago