Toolverse
All skills

differential-review

by trailofbits

Performs security-focused differential review of code changes (PRs, commits, diffs). Adapts analysis depth to codebase size, uses git history for context, calculates blast radius, checks test coverage, and generates comprehensive markdown reports. Automatically detects and

Installation

Pick a client and clone the repository into its skills directory.

Installation

Quick info

Category
Testing
Views
10

About this skill

Performs security-focused differential review of code changes (PRs, commits, diffs). Adapts analysis depth to codebase size, uses git history for context, calculates blast radius, checks test coverage, and generates comprehensive markdown reports. Automatically detects and prevents security regressions.

How to use

  1. Zainstaluj umiejętność w swoim agencie Claude lub Copilot, wskazując repozytorium trailofbits/skills i ścieżkę plugins/differential-review/skills/differential-review.

  2. Przygotuj zmianę do przeglądu: udostępnij agentowi pull request, commit lub plik diff. Umiejętność automatycznie klasyfikuje rozmiar bazy kodu (SMALL poniżej 20 plików, MEDIUM 20–200, LARGE powyżej 200) i dostosowuje strategię analizy.

  3. Agent przeanalizuje zmianę w trzech fazach: najpierw zbierze kontekst z historii gita i zidentyfikuje powiązane pliki, następnie skupi się na zagrożeniach bezpieczeństwa (uwierzytelnianie, kryptografia, transfery wartości, wywołania zewnętrzne), wreszcie obliczy zasięg zmian i sprawdzi pokrycie testami.

  4. Przejrzyj wygenerowany raport markdown – zawiera konkretne numery linii, scenariusze ataków i ocenę ryzyka. Agent wyraźnie wskazuje ograniczenia pokrycia i poziom pewności dla każdego znaleziska.

  5. Użyj raportu do podjęcia decyzji o mergowaniu: każde znalezisko jest poparte dowodem z kodu i historii. Nie polegaj na ustnym wyjaśnieniu – raport to artefakt, który pozostaje w repozytorium.

Related skills

go-dev-guidelines

by jumppad-labs

This skill should be used when writing, refactoring, or testing Go code. It provides idiomatic Go development patterns, TDD-based workflows, project structure conventions, and testing best practices using testify/require and mockery. Activate this skill when creating new Go

Testing
1190

code-review-excellence

by wshobson

Master effective code review practices to provide constructive feedback, catch bugs early, and foster knowledge sharing while maintaining team morale. Use when reviewing pull requests, establishing review standards, or mentoring developers.

Testing
1145

polymarket-trader

by openclaw

Query Polymarket prediction markets - trending events, crypto, politics, sports, and search

Testing
14142

backtesting-frameworks

by wshobson

Build robust backtesting systems for trading strategies with proper handling of look-ahead bias, survivorship bias, and transaction costs. Use when developing trading algorithms, validating strategies, or building backtesting infrastructure.

Testing
12105

creating-financial-models

by anthropics

This skill provides an advanced financial modeling suite with DCF analysis, sensitivity testing, Monte Carlo simulations, and scenario planning for investment decisions

Testing
25137

lean4-theorem-proving

by cameronfreer

Use when developing Lean 4 proofs, facing type class synthesis errors, managing sorries/axioms, or searching mathlib - provides build-first workflow, instance management patterns (haveI/letI), and domain-specific tactics

Testing
9108