Generates property-based test templates from contract ABIs, creating scenarios and invariants for EVM smart contracts.

Analyzes failed transactions, displaying revert reasons, call stacks, and decoded logs across EVM chains.

Generates comprehensive documentation sites from smart contract source code, ABI, and natspec comments.

Checks Solidity source code for style guide compliance including naming, visibility, and ordering conventions.

Audits Solidity naming conventions for functions, variables, constants, events, and structs with configurable patterns.

Generates golden master test fixtures from contract source, ABI, and test data across EVM chains.

Generates boundary value test cases from contract ABIs, identifying parameter boundaries across EVM chains.

Generates event assertion helpers from contract ABIs for testing event emissions across EVM chains.

Compares gas costs of external vs public functions using source analysis and gas snapshots across EVM chains.

Records and replays RPC requests against local forks for testing and debugging across EVM chains.

Enforces security gates from Slither static analysis reports with configurable severity thresholds for CI/CD pipelines.

Generates educational tutorials from example smart contract source code with configurable difficulty levels.

Generates migration guides by comparing smart contract versions, highlighting breaking changes across EVM chains.

Generates protocol-specific glossaries by extracting terms and definitions from contract source code and comments.

Looks up native token symbol, decimals, and name from chain metadata or token registries across EVM chains.

Explores contract state at historical blocks using forked RPC, reading storage and balances across EVM chains.

Manages and organizes testnet contract addresses with bookmarks, tags, and network-specific storage across EVM chains.

Checks bytecode consistency of contract deployments across testnet chains to ensure identical code is deployed everywhere.

Tracks progress of historical event backfill with chunked RPC queries, progress bar, and pause/resume controls.

Reads ERC-1967 proxy storage slots to link and verify implementation, beacon, and admin addresses.

Suppresses scanner false positives via configurable rule lists with contract-level and scanner-specific exclusions.

Compares static analysis tool outputs side-by-side, highlighting matched and unique findings across multiple scanners.

Checks Git submodules in contract repos against remote latest commits, highlighting available updates for library dependencies.

Replays contract interactions from transaction data with static call simulation and decoded logs for debugging.