Reports from automated security audits made by Swival.
☆79Jul 30, 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:
- A benchmarking harness for coding agents.☆16Updated this week
- WALA-based Solidity static analysis. Currently it includes RoundAbout, a tool for inferring rounding direction across functions, expressi…☆20May 21, 2026Updated 2 months ago
- A small, powerful, open-source CLI coding agent that works with open models.☆311Updated this week
- zkVMs vulnerabilities☆16May 4, 2026Updated 3 months ago
- Codex-first fork of Anthropic's defending-code-reference-harness for vulnerability discovery and patch validation☆79Jun 6, 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.
- Library for interacting with Access List☆18Sep 13, 2022Updated 3 years ago
- iroh QUIC connections as Libp2p Transport☆24Mar 16, 2026Updated 4 months ago
- General plug-and-play inference library for Recursive Language Models (RLMs), supporting various sandboxes.☆17Apr 26, 2026Updated 3 months ago
- Parallel Sorting for Go☆16Jul 7, 2025Updated last year
- Write Cloudflare Workers in 100% Zig via WebAssembly☆63Apr 24, 2026Updated 3 months ago
- Celestia derivation pipeline and proof crate built with kona☆15Jun 24, 2026Updated last month
- Cobalt Strike/C2 Servers☆13Apr 22, 2021Updated 5 years ago
- ☆30Mar 16, 2026Updated 4 months ago
- ☆49Jun 18, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Secure, private file storage, backup & sharing. Fully open-source with client-side encryption.☆16Updated this week
- ExtendedMacro - BurpSuite plugin providing extended macro functionality☆15Jan 13, 2021Updated 5 years ago
- A curated list of awesome ton security resources☆43Jul 11, 2026Updated 3 weeks ago
- AtCoderの問題を管理できるツールです。☆13Oct 1, 2021Updated 4 years ago
- A fast, spec-compliant WebAssembly runtime written in Zig☆157Updated this week
- FIGR-8, but images in .SVG vector graphics format☆15Feb 16, 2019Updated 7 years ago
- SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results☆52Jun 19, 2026Updated last month
- 2048 webassembly implementation in Rust that can be run on browser or command line terminal☆10Jan 7, 2021Updated 5 years ago
- Proof of Concept of (now fixed) vulnerability in Notional smart contracts☆40Oct 30, 2022Updated 3 years 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.
- SQLite integration via WASM☆12Dec 5, 2023Updated 2 years ago
- ☆61Mar 15, 2026Updated 4 months ago
- An implementation of the Financial Crypto 2016 paper "Optimal Selfish Mining Strategies in Bitcoin"☆14May 30, 2017Updated 9 years ago
- Playable OP-1 patch previews in the browser☆13May 3, 2017Updated 9 years ago
- find active domains from list of subdomains☆27May 30, 2020Updated 6 years 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…☆29Jul 22, 2026Updated last week
- Agent skills to find and fix software bugs☆156Updated this week
- Proteus is a plugin for Claude Code, Codex and Opencode, plus a local runtime, for structured, continuous vulnerability research.☆29Jul 14, 2026Updated 3 weeks ago
- Create and Validate JWT Token using Java JJWT (HMAC and RSA)☆10May 30, 2020Updated 6 years 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.
- Output high level Pcode (PcodeAST) in Ghidra☆17Apr 7, 2023Updated 3 years ago
- ☆13Aug 31, 2020Updated 5 years ago
- The best benchmark for LLMs on Apple's MLX framework knowledge and coding tasks.☆37Jun 12, 2026Updated last month
- Benchmark suite for smart-contract fuzzers☆16Updated this week
- A fast generative fuzzer for HTTP☆17Nov 29, 2018Updated 7 years ago
- Checklist for security audit of ZKP projects by @positivesecurity☆34Sep 12, 2024Updated last year
- AI-powered security scanner for Claude Code plugins and skills - LLM analysis, static rules, taint tracking, CI/PR integration, and inte…☆15Mar 1, 2026Updated 5 months ago