trailofbits

trailofbits/skills-curated

Agent

Simplifies and refines Python code for clarity, consistency, and maintainability while preserving all functionality. Focuses on recently modified code unless instructed otherwise.

trailofbits/skills-curated

Plugin Claude Code

Generates PDF documents using React-PDF library (@react-pdf/renderer) with flexbox layout, SVG graphics, custom fonts, and professional typesetting.

trailofbits/skills-curated

Skill Claude CodeCodex

Generates PDF documents using the React-PDF library (@react-pdf/renderer) with TypeScript and JSX. Use when creating PDFs, generating reports, invoices, forms, resumes, or any document that needs flexbox layout, SVG graphics, custom fonts, or professional typesetting. Prefer over Python PDF libraries (ReportLab…

trailofbits/skills-curated

Plugin Claude Code

Audits Solidity codebases for smart contract vulnerabilities using a four-phase workflow covering 36 vulnerability classes.

trailofbits/skills-curated

Skill Claude CodeCodex

Audits Solidity codebases for smart contract vulnerabilities using a four-phase workflow (cheatsheet loading, codebase sweep, deep validation, reporting) covering 36 vulnerability classes. Use when auditing Solidity contracts for security issues, performing smart contract vulnerability scans, or reviewing Solidity…

trailofbits/necessist

Skill Claude CodeCodex

Use to audit Necessist results, running Necessist first if needed, and investigate whether passing removals reveal bugs in code or tests, including test-harness bugs that let tests pass without checking intended behavior.

trailofbits/slither-mcp

Instructions file

Claude Code instructions for trailofbits/slither-mcp, covering claude development guide for slither mcp server, project overview, key technologies, core concepts and 1. project facts.

trailofbits/agentcov

Instructions file CodexOpenCode

Instructions for trailofbits/agentcov, covering agents, repo overview, working style, the guessing rule and common commands.

trailofbits/agentcov

Instructions file

Instructions for trailofbits/agentcov, a project described as: gcov for what lines of code agents read.

trailofbits/codex-config

Skill Claude CodeCodex

End-to-end GitHub issue implementation workflow. Use when asked to fix or implement a GitHub issue, create a branch, make code changes, run tests and linters, self-review, push a branch, open a PR, and comment back on the issue.

trailofbits/codex-config

Skill Claude CodeCodex

Install or update this organization's Codex configuration from repo-local files into the user's Codex home. Use when asked to set up, install, update, bootstrap, or sync this Codex configuration, including the global AGENTS template, config.toml, hooks, rules, MCP servers, profile templates, and bundled skills.

trailofbits/codex-config

Skill Claude CodeCodex

Evaluate and merge Dependabot PRs with dependency-aware batching, transitive dependency analysis, build/test verification, GitHub Actions pin checks, sequential merges, and a summary report. Use when asked to merge or process open Dependabot PRs for a repository.

trailofbits/codex-config

Skill Claude CodeCodex

Review an existing GitHub PR, merge findings from Codex and other available reviewers, fix P1-P3 findings, verify the quality pipeline, push fixes, and post a PR summary comment. Use when asked to review and fix a PR by number.

trailofbits/codex-config

Instructions file CodexOpenCode

AGENTS.md instructions for trailofbits/codex-config, covering codex config repository instructions, repository role, style direction, source of truth and surface boundaries.