trailofbits/skills

105 skills428.5K total installs Github

Github

Github

Skill

Installs

semgrep

differential-review

modern-python

codeql

supply-chain-risk-auditor

secure-workflow-guide

code-maturity-assessor

property-based-testing

fp-check

sharp-edges

audit-context-building

agentic-actions-auditor

ask-questions-if-underspecified

gh-cli

variant-analysis

insecure-defaults

sarif-parsing

spec-to-code-compliance

semgrep-rule-creator

entry-point-analyzer

audit-prep-assistant

solana-vulnerability-scanner

token-integration-analyzer

guidelines-advisor

coverage-analysis

firebase-apk-scanner

harness-writing

constant-time-analysis

cargo-fuzz

address-sanitizer

fuzzing-obstacles

cosmos-vulnerability-scanner

semgrep-rule-variant-creator

fuzzing-dictionary

second-opinion

testing-handbook-generator

libfuzzer

constant-time-testing

dwarf-expert

algorand-vulnerability-scanner

devcontainer-setup

ton-vulnerability-scanner

ossfuzz

aflpp

cairo-vulnerability-scanner

atheris

substrate-vulnerability-scanner

interpreting-culture-index

wycheproof

libafl

ruzzy

yara-rule-authoring

burpsuite-project-parser

skill-improver

zeroize-audit

let-fate-decide

mutation-testing

dimensional-analysis

diagramming-code

trailmark

crypto-protocol-diagram

audit-augmentation

trailmark-summary

trailmark-structural

graph-evolution

git-cleanup

mermaid-to-proverif

genotoxic

vector-forge

c-review

debug-buttercup

designing-workflow-skills

seatbelt-sandboxer

claude-in-chrome-troubleshooting

chrome-mcp-troubleshooting

rust-review

vulnerability-triage-brocards

open-sourcing

github-triage

slicing-code-context

trailmark-finding-triage

trailmark-variant-neighborhood

trailmark-review-gate

writing-lean-proofs

modern-cpp

goal-prompt

code-improver

pr-improver

post-patch-validation

review-walkthrough

fix-review

using-gh-cli

patching-bugs

reproduce-bug

prove-patch

validate-bug

regression-hunt

implement-patch

prepare-regression

hunt-regressions

adjudicate-regression

report-regressions

reproduce-regression

replay-regression

burp-suite