Trusted skills for AI agents from official vendors and established maintainers. Every skill is attributed to its author, scanned, and comes with install steps for your AI tool.
5813 skills
Trail of BitsOfficial
Detect timing side-channel vulnerabilities in cryptographic code by analyzing assembly and bytecode for variable-time operations.
Trail of BitsOfficial
Automated supply-chain risk assessment for npm, PyPI, and Go project dependencies.
Trail of BitsOfficial
Design and optimize fuzzing harnesses for C/C++ and Rust to improve code coverage and bug detection.
Trail of BitsOfficial
Systematically identify and categorize state-changing entry points in smart contract codebases to guide security audits.
Trail of BitsOfficial
A comprehensive guide to structured Lean 4 proof development, library design, and project maintenance based on Mathlib conventions.
Trail of BitsOfficial
Troubleshoot and resolve connectivity issues between Claude MCP tools and the Chrome browser extension on macOS.
Trail of BitsOfficial
A rigorous procedure for independently verifying security patches using three-arm proof and scoped testing.
Trail of BitsOfficial
A technique for patching codebases to bypass anti-fuzzing obstacles like checksums and non-deterministic state, enabling deeper fuzzer exploration.
Trail of BitsOfficial
A systematic workflow for identifying and triaging additional instances of a known vulnerability or logic bug across a codebase.
Trail of BitsOfficial
Independently verify bug proof-of-concept packages before initiating patch procedures.
Trail of BitsOfficial
A structured workflow for developing, testing, and validating custom Semgrep rules to detect security vulnerabilities and code patterns.
Trail of BitsOfficial
A guide for configuring Python projects using modern tools like uv, ruff, and ty.
Trail of BitsOfficial
A specialized security auditing tool for identifying 6 critical vulnerability patterns in Cairo and StarkNet smart contracts.
Trail of BitsOfficial
A specialized security scanner for auditing FunC smart contracts on The Open Network (TON) for critical vulnerabilities.
Trail of BitsOfficial
A systematic framework for triaging vulnerability reports using seven principled rules of thumb.
Trail of BitsOfficial
Generates visual Mermaid diagrams from Trailmark code graphs to map architecture, dependencies, and complexity.
Trail of BitsOfficial
Independently verify proof-of-concept exploits against fresh deployments to confirm regression status.
Trail of BitsOfficial
A comprehensive security auditing tool for Rust codebases, focusing on memory safety, concurrency, and unsafe code boundaries.
Trail of BitsOfficial
A smart contract development advisor that audits codebases against established security and development guidelines.
Trail of BitsOfficial
A security analysis tool for auditing ERC20 and ERC721 token implementations and their integrations against known vulnerabilities.
Trail of BitsOfficial
Provides a rapid structural overview of a codebase by identifying languages, entry points, and dependencies.
Trail of BitsOfficial
A guide for authoring, reviewing, and optimizing YARA-X detection rules for malware identification.
Trail of BitsOfficial
Injects entropy into decision-making for vague or casual user prompts using a 12-house Zodiac Tarot spread.
Trail of BitsOfficial
Expert guidance and utilities for parsing, filtering, and integrating SARIF static analysis results.