Skip to main content
skill CX Codex

audit-context-building — Claude Code skill: how to install

Maps assumptions, guarantees, and call chains in unfamiliar source code before vulnerability hunting starts. Useful for audits and threat modeling.

Install into Claude Code · Skills CLI (Vercel) All methods and platforms ↓
npx skills add trailofbits/skills --skill audit-context-building -a claude-code
Open on GitHub

What audit-context-building does

This skill maps how functions behave before anyone starts hunting for bugs. It does not rate vulnerabilities, write exploit code, or suggest patches. Instead, it tracks what every routine assumes to be true, what guarantees it provides, and which outside functions it calls. When an assumption lacks any enforcement in the code, the record tags it as nothing found.

Context windows fill up fast. Because of that, the skill runs analysis through subagents rather than keeping entire call trees in the main chat. Running /audit-context-building:audit-context <path> inspects each function independently, saving structured notes to audit-context/functions/ and a summary to audit-context/DOSSIER.md. For a single target, it routes work to audit-context-building:function-analyzer.

Running this on code you already know wastes tokens. It works best on fresh targets where the team needs an honest list of unverified assumptions before running security passes.

What it helps with

  • map function assumptions and invariants before vulnerability hunting
  • spot unchecked premises marked with nothing found
  • generate architectural dossiers for unfamiliar codebases
  • document unresolved call interactions and open questions

Example prompts for the agent

  • /audit-context-building:audit-context ./src
  • Analyze this function with audit-context-building:function-analyzer
  • /audit-context-building:audit-context contracts/

How to install audit-context-building

1Skills CLI (Vercel)

npx skills add trailofbits/skills --skill audit-context-building -a claude-code

2Manually: put the files in place

~/.claude/skills/audit-context-building/SKILL.md

Copy the whole skill folder; for one project use .claude/skills/audit-context-building/

Step by step, with commands for each platform: How to install skills in Claude Code: five ways

Questions about audit-context-building

How do I install audit-context-building in Claude Code?

Run npx skills add trailofbits/skills --skill audit-context-building -a claude-code in your terminal.

What does audit-context-building do?

It maps out call dependencies, function guarantees, and unenforced assumptions across unfamiliar code to prepare the ground for a separate vulnerability assessment.

Does this skill flag security vulnerabilities?

No, it avoids naming vulnerabilities or rating severity. The goal is gathering verified facts and open questions before bug hunting begins.

Similar skills

All skills for Security →

From the same set77

code-maturity-assessor This skill evaluates smart contracts and blockchain code across nine maturity categories. It produces evidence-backed ratings and a ranked improvement plan. CX Codex +1 7,100installs property-based-testing This skill helps create and inspect tests that check rules across generated inputs. Use it for parsers, serialization pairs, data structures, and Solidity contract invariants. CX Codex +1 7,000installs fp-check Walks a suspected vulnerability through verification and returns a TRUE POSITIVE or FALSE POSITIVE verdict backed by evidence. Built for confirming findings, not hunting new ones. CX Codex +1 7,000installs sharp-edges Audits API designs and configuration schemas for developer footguns. Flags dangerous defaults and fragile interfaces where the easiest path causes security vulnerabilities. CX Codex +1 6,900installs agentic-actions-auditor Inspects GitHub Actions workflows for prompt injection risks and insecure AI agent setups. Catches attacker inputs leaking into prompts via event contexts or environment variables. CX Codex +1 6,700installs gh-cli A skill that redirects GitHub requests from curl and fetch to authenticated gh CLI for repositories, pull requests, and issues. Use it for private repos and higher API limits. CX Codex +1 6,600installs variant-analysis Finds related occurrences of an already identified defect across a repository. Use it after a vulnerability or logic issue turns up and similar code needs checking. CX Codex +1 6,400installs sarif-parsing Processes existing SARIF reports from CodeQL, Semgrep, and other scanners. Use it to filter findings, remove duplicates, or prepare results for CI/CD. CX Codex +1 5,900installs

Project sponsors

Companies that keep this analytics open
Gold sponsor

Impressions, clicks and code copies — open statistics. We keep the numbers public for the same reason NeBlask itself is public. Become a sponsor