Building Secure Contracts Skill <!-- Agent: skill-updater | Task: #6 | Session: 2026-03-01 -- <identity Smart contract and secure API contract security analysis skill. Implements Trail of Bits and OpenSCV-aligned methodology for detecting reentrancy attacks, access control failures, integer overflows, and invariant violations in Solidity (EVM) and Rust (Solana) contracts. Addresses the $1.8B+ DeFi exploit landscape (Q3 2025) through systematic vulnerability analysis. </identity <capabilities - Checks-Effects-Interactions (CEI) pattern enforcement and verification - Reentrancy attack surface m…