Reports from automated security audits made by Swival.
☆78Jul 14, 2026Updated this week
Alternatives and similar repositories for security-audits
Users that are interested in security-audits are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- WALA-based Solidity static analysis. Currently it includes RoundAbout, a tool for inferring rounding direction across functions, expressi…☆20May 21, 2026Updated last month
- A small, powerful, open-source CLI coding agent that works with open models.☆271Updated this week
- ☆15Apr 26, 2025Updated last year
- Codex-first fork of Anthropic's defending-code-reference-harness for vulnerability discovery and patch validation☆75Jun 6, 2026Updated last month
- Write Cloudflare Workers in 100% Zig via WebAssembly☆63Apr 24, 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.
- Library for interacting with Access List☆18Sep 13, 2022Updated 3 years ago
- An optional ZIO Test runner support module for the ZIO IntelliJ plugin☆15Aug 14, 2024Updated last year
- Cobalt Strike/C2 Servers☆13Apr 22, 2021Updated 5 years ago
- Claude skill for cloning onchain smart contracts with etherscan.☆23Apr 23, 2026Updated 2 months ago
- ☆50Jun 18, 2026Updated 3 weeks ago
- Celestia derivation pipeline and proof crate built with kona☆15Jun 24, 2026Updated 2 weeks ago
- Parallel Sorting for Go☆16Jul 7, 2025Updated last year
- ☆22Jan 16, 2024Updated 2 years ago
- ☆17Jul 10, 2025Updated last year
- 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.
- Ethereum zkEVM book☆83Sep 30, 2025Updated 9 months ago
- AI Guided Hybrid Application Static Testing☆76Updated this week
- A curated list of awesome ton security resources☆44Jul 1, 2026Updated last week
- Post-Quantum zkVM☆65Updated this week
- Bug bounty focused JavaScript security analysis for crawling web assets, source maps, and secret discovery☆45Updated this week
- Make your zero-knowledge circuits safe with formal verification! 🍀☆34Jun 5, 2026Updated last month
- A practical client for ADWS in Golang.☆54Jun 26, 2026Updated 2 weeks ago
- GhidraMCP for headless☆57Updated this week
- BountyLens MCP server — connect Claude Code to your Hunter Tracker☆64Jun 22, 2026Updated 3 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Proof of Concept of (now fixed) vulnerability in Notional smart contracts☆40Oct 30, 2022Updated 3 years ago
- 2048 webassembly implementation in Rust that can be run on browser or command line terminal☆10Jan 7, 2021Updated 5 years ago
- ☆30Apr 24, 2026Updated 2 months ago
- safer-dependencies is a security layer for Claude Code that audits packages before they’re added to your project. It detects and fixes ri…☆24Jul 6, 2026Updated last week
- ☆10Mar 25, 2025Updated last year
- MCP server for Slither static analysis of Solidity smart contracts☆93May 19, 2026Updated last month
- binary ninja cli for coding agents☆197Updated this week
- Permitta is an intuitive go library, which aims to help handle any kind of permission/access control in a simple and easy to understand w…☆38Jul 22, 2025Updated 11 months ago
- Benchmark suite for smart-contract fuzzers☆15Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- SQLite integration via WASM☆12Dec 5, 2023Updated 2 years ago
- Active Directory forensic framework☆16May 18, 2026Updated last month
- A course on Halo2 in collaboration with Zircuit☆36Mar 30, 2026Updated 3 months ago
- Agent skills to find and fix software bugs☆153Updated this week
- Browser extension blocking scam and phishing pages https://chromewebstore.google.com/detail/nehboro/ljgklnaofelbcnegjniagpmjknkmaiom☆15Apr 22, 2026Updated 2 months ago
- Golang goroutines synchronization primitive wihout extra dependencies☆15Nov 8, 2024Updated last year
- If you still know the password and have Metamask's data files, you may be able to recover your wallet seed and imported private keys.☆26Mar 21, 2024Updated 2 years ago