Skill UI

Scans Algorand TEAL/PyTeal smart contracts for 11 platform-specific vulnerabilities such as rekeying, unchecked fees, group manipulation, and missing access controls, then reports findings with severity, suggested fixes, and optional Tealer automation.

Scans Cairo/StarkNet smart contracts for six critical issues spanning felt252 arithmetic, messaging, access control, and signature replay, reporting severity and fixes to support audits, bridge reviews, and pre-launch security checks.

A comprehensive guide for building production-grade Web3 applications, smart contracts, and decentralized systems. Covers expertise in DeFi protocols, NFT platforms, DAOs, cross-chain interoperability, and advanced smart contract security patterns (Solidity, Rust). Ideal for developers building complex, resilient decentralized finance (DeFi) and enterprise-grade blockchain solutions.

This repository provides production-ready, structured templates for building core Decentralized Finance (DeFi) protocols using Solidity. Templates cover essential components such as staking reward systems, Automated Market Makers (AMMs), governance logic, lending/borrowing mechanisms, and flash loans. It is essential for developers aiming to build robust and scalable smart contract applications on blockchain platforms.

Analyzes smart contract codebases to enumerate externally callable state-changing functions, classify their access (public/role/contract-only), and produce structured audit-ready reports for Solidity, Vyper, Solana/Rust, Move, TON, and CosmWasm projects.

Analyzes smart contract codebases against Trail of Bits development guidelines, covering documentation, architecture, upgradeability, proxy patterns, implementation quality, dependencies, and testing to deliver prioritized recommendations and actionable improvements.

Guides developers through when and how to apply property-based testing across serializers, validators, normalizers, and smart contracts, highlighting properties, priorities, and workflow steps that complement existing unit testing efforts.

Walks through Trail of Bits’ five-step secure smart-contract workflow, running Slither and special feature checks, generating visual diagrams, documenting security properties, and flagging manual risks with an action plan.

This skill guides the mastery of smart contract security best practices for Solidity. It is essential for writing robust, secure, and efficient contracts, auditing existing code for common vulnerabilities (such as reentrancy, overflow, and access control issues), and implementing secure DeFi protocols. It focuses on preventing common attack vectors while optimizing gas usage.

Scans FunC-based TON smart contracts for boolean, Jetton, and gas handling vulnerabilities, reporting critical issues with file references and offering remediation guidance for auditors and secure dApp launches.

Master advanced testing strategies for smart contracts using industry-leading frameworks like Hardhat and Foundry. This skill covers unit testing, integration testing, gas optimization analysis, fuzzing for edge cases, and simulating real-world mainnet interactions via forking. Ideal for ensuring the security and reliability of decentralized applications (DApps).

A rigorous, multi-phase auditing skill designed for blockchain protocols. It verifies whether the implemented smart contract code strictly adheres to the detailed specifications provided in whitepapers, design documents, or technical specifications. It performs exhaustive, line-by-line semantic analysis to identify gaps, inconsistencies, and deviations across logic, invariants, and security guarantees, making it essential for formal compliance checking in decentralized systems.