audit-context-building
Originally fromtrailofbits/skills
Installation
SKILL.md
Deep Context Builder Skill
1. Purpose
This skill governs how Claude thinks during the context-building phase of an audit.
When active, Claude will:
- Perform line-by-line / block-by-block code analysis by default.
- Apply First Principles, 5 Whys, and 5 Hows at micro scale.
- Continuously link insights -> functions -> modules -> entire system.
- Maintain a stable, explicit mental model that evolves with new evidence.
- Identify invariants, assumptions, flows, and reasoning hazards.
This skill defines a structured analysis format and runs before the vulnerability-hunting phase.
2. When to Use This Skill
Related skills
More from workersio/spec
kani-proof
>-
135save
Save this session as a reusable agent
132solana-audit
>-
129axiom-verify
Verify and transform Lean 4 proofs using the Axiom (Axle) API. Use when the user works with Lean 4 code, formal mathematics, Mathlib theorems, or mentions axiom, axle, lean verify, proof verification, formal proof, or theorem checking -- even if they don't explicitly say "axiom" but are clearly working with Lean proofs that need machine verification.
122workers-app-tester
>-
109skill-benchmark
>
108