Asi differential-review

Security-focused code review of diffs and pull requests using Trail of Bits expertise.

install

source · Clone the upstream repo

git clone https://github.com/plurigrid/asi

Claude Code · Install into ~/.claude/skills/

T=$(mktemp -d) && git clone --depth=1 https://github.com/plurigrid/asi "$T" && mkdir -p ~/.claude/skills && cp -r "$T/skills/differential-review" ~/.claude/skills/plurigrid-asi-differential-review-8234e3 && rm -rf "$T"

manifest: skills/differential-review/SKILL.md

source content

Differential Review Skill

Trit: -1 (MINUS) Category: differential-review Author: Trail of Bits Source: trailofbits/skills License: AGPL-3.0

Description

Security-focused code review of diffs and pull requests using Trail of Bits expertise.

When to Use

This is a Trail of Bits security skill. Refer to the original repository for detailed usage guidelines and examples.

See: https://github.com/trailofbits/skills

Related Skills

audit-context-building
codeql
semgrep
variant-analysis

SDF Interleaving

This skill connects to Software Design for Flexibility (Hanson & Sussman, 2021):

Primary Chapter: 10. Adventure Game Example

Concepts: autonomous agent, game, synthesis

GF(3) Balanced Triad

differential-review (−) + SDF.Ch10 (+) + [balancer] (○) = 0

Skill Trit: -1 (MINUS - verification)

Connection Pattern

Adventure games synthesize techniques. This skill integrates multiple patterns.