SkillsAdd

smithery/hyperlane-xyz

claude-tob-review

Trail of Bits security skills analysis for Solidity contracts. Use for deep smart contract security review with invariant suggestions.

Installation

$ npx skills add smithery/hyperlane-xyz --skill claude-tob-review
View on skills.sh ↗ Website ↗

Similar popular skills

Related neighbors and high-traction skills in the same topics — useful to compare before installing.

claude-api Similar name
anthropics/skills

|- Reference for the Claude API / Anthropic SDK — model ids, pricing, params, streaming, tool u…

63.4K installs
claude-opus-4-5-migration Similar name
anthropics/claude-code

Migrate prompts and code from Claude Sonnet 4.0, Sonnet 4.5, or Opus 4.1 to Opus 4.5. Use when …

10.7K installs
claude-md-improver Similar name
anthropics/claude-plugins-official

Audit and improve CLAUDE.md files in repositories. Use when user asks to check, audit, update, …

10.6K installs
claude-automation-recommender Similar name
anthropics/claude-plugins-official

Analyze a codebase and recommend Claude Code automations (hooks, subagents, skills, plugins, MC…

7.4K installs
claude-settings-audit Similar name
getsentry/skills

Analyze a repository to generate recommended Claude Code settings.json permissions. Use when se…

3.9K installs
claude-security Similar name
anthropics/claude-plugins-official

The Claude Security menu — pick a job: scan the codebase (the whole repository or a scoped part…

1.1K installs

Also in this package

Other skills from smithery/hyperlane-xyz · top by installs.

npx skills add smithery/hyperlane-xyz
warp-fork 0 start-http-registry 0 self-relay-hyperlane-message 0 investigate-stuck-messages 0 investigate-merkle-root-mismatch 0 gcp-logs 0 fix-merkle-root-mismatch 0 denylist-stuck-messages 0 debug-validator-checkpoint-inconsistency 0 debug-message 0

Browse all from smithery/hyperlane-xyz

More details

Agent compatibility

Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.

Claude Code Not declared
Cursor Not declared
Codex Not declared
GitHub Copilot Not declared
Windsurf Not declared
Gemini CLI Not declared
Cline Not declared
OpenCode Not declared

Package contents

Files included with this skill beyond the listing page.

  • skill md SKILL.md 976 B
  • docs SUMMARY.md 159 B

History

  1. First recorded snapshot · 0 installs

SKILL.md

Trail of Bits Security Review Skill

Use this skill for deep Solidity smart contract security analysis using Trail of Bits methodologies.

When to Use

  • Reviewing new or modified Solidity contracts
  • Before deploying contract upgrades
  • Security audit preparation
  • Finding vulnerability variants

Instructions

Read and apply the ToB security guidelines from .github/prompts/tob-security-skills.md to analyze the Solidity changes.

Provide findings with severity ratings and invariant recommendations for testing.

For PR Reviews

When reviewing a PR, deliver feedback as a single consolidated GitHub review using /inline-pr-comments. Each run produces a separate review. The skill fetches prior reviews/comments for context — avoid duplicating previously raised issues.