Skills for smart contract security, blockchain auditing, and Web3 development
Most starred: Spec to Code Compliance (5,099), Audit Prep Assistant (5,099), Token Integration Analyzer (5,099)
Verifies code implements exactly what documentation specifies for blockchain audits — finds gaps between specs and implementation.
Prepares codebases for security review using Trail of Bits checklist — sets review goals, runs static analysis, increases test coverage.
Analyzes token implementations for ERC20/ERC721 conformity, checks 20+ weird token patterns, and evaluates protocol handling of non-standard tokens.
Systematic 9-category code maturity assessment for smart contracts — arithmetic safety, access controls, complexity, MEV risks, and testing.
Smart contract development advisor based on Trail of Bits best practices — analyzes architecture, upgradeability, dependencies, and testing.