Lists (3)
Stars
Find vulnerabilities, misconfigurations, secrets, SBOM in containers, Kubernetes, code repositories, clouds and more
A Claude Code skill that scans Solidity codebases for security vulnerabilities by referencing 36 unique vulnerability types
Index of the most common vulnerabilities per protocol type, with 460 vulnerabilities across 31 protocol types
Open source repository of plugins primarily intended for knowledge workers to use in Claude Cowork
Structured skills for smart contract security audits. Infers state invariants, detects semantic guard gaps, models flash loan + oracle attack chains, simulates adversarial exploits, and scores find…
A collection of smart contract vulnerabilities along with prevention methods
MCP server providing 100+ AI agent skills from Anthropic, Vercel, Trail of Bits, Hugging Face & more. Works with Claude, GitHub Copilot, and any MCP client.
Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows
Opinionated defaults, documentation, and workflows for Claude Code at Trail of Bits
Primers for Specialist AI Smart Contract Auditors
e2e testing framework for the interchain
The fastest way to understand complex Solidity smart contracts.
A simple to use and beautiful terminal-based activity feed for monitoring merged Pull Requests across multiple GitHub repositories. Perfect for bug bounty hunters, security researchers, and develop…
Language-agnostic AI auditor that autonomously builds and refines adaptive knowledge graphs for deep, iterative code reasoning.
An experimental MCP Server for foundry built for Solidity devs
Use your Mac trackpad as a weighing scale
Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust
To publicly communicate advisories about serious bugs in CosmWasm
TensorZero is an open-source LLMOps platform that unifies an LLM gateway, observability, evaluation, optimization, and experimentation.
Scrappy assistant that automates web3 bug hunting workflows. Tracks ongoing bug bounties and launches autonomous agents that can perform arbitrary tasks.
Is like jq for Immunefi REST API. Search, filter and map structured data about bug bounty programs with ease.
Interactive formal verification tool for Yul programs
Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna