claude-tob-review

To perform a Solidity security review, this Skill analyzes your contracts using Trail of Bits methodologies to identify vulnerabilities and surface invariants. It generates a security notes report with severity ratings and testing recommendations for pre-deploy audits.

Invariants are conditions that must always hold true in smart contracts. This Skill detects invariant issues during security analysis by applying Trail of Bits guidelines, providing actionable recommendations for testing these critical properties.

Yes, this Skill is applicable during code reviews of new or modified Solidity contracts within your PR. It evaluates the latest changes against Trail of Bits guidelines to produce findings with severity ratings.

For upgrade proposal security assurance, this Skill analyzes your Solidity contracts to identify vulnerabilities and invariant issues. It outputs a security notes report with severity ratings based on Trail of Bits methodologies.

Yes, this Solidity security analysis Skill operates without external dependencies. It enforces Trail of Bits guidelines internally to produce vulnerability findings and invariant recommendations for testing.