claude-tob-review
OfficialDeep Solidity security review with ToB.
Software Engineering#code-review#Solidity#invariants#vulnerability-detection#security-analysis#Trail of Bits#smart-contract-review
Authorhyperlane-xyz
Version1.0.0
Installs0
System Documentation
What problem does it solve?
This skill enables deep security analysis of Solidity contracts using Trail of Bits methodologies, helping teams identify vulnerabilities and invariant issues early in the development lifecycle.
Core Features & Use Cases
- In-depth security analysis: Apply Trail of Bits methodologies to harden Solidity contracts and surface invariants.
- Guided review scenarios: Useful during reviews of new or modified contracts, before upgrades, and for security audit preparation.
- Actionable findings: Produce vulnerability variants with severity ratings and invariant recommendations for testing.
Quick Start
Review the latest Solidity changes in your PR and apply the Trail of Bits guidelines to generate a security notes report.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: claude-tob-review Download link: https://github.com/hyperlane-xyz/hyperlane-monorepo/archive/main.zip#claude-tob-review Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.