Look up royalty recipients and amounts from on-chain registries for any NFT token ID and sale price.

Deposit royalties into escrow from marketplace sales and release to multiple recipients in batch transactions.

Change the beneficiary of a vesting contract on-chain with full history tracking and authorization validation.

Identify and recover stuck nonces in multisig wallets: detect stuck transactions, skip or clear them, and restore normal operation.

Suggests edge case test scenarios from Solidity function signatures to guide comprehensive testing.

Generates reusable assertion wrappers from test patterns for Foundry, Hardhat, Truffle, or custom frameworks.

Compares transaction execution traces across multiple EVM chains to identify behavioral differences.

Compares bytecode and proxy implementation slots between two contract addresses to debug upgrades.

Recursively traces EIP-1967 proxy delegation chains to map the full implementation hierarchy.

Transfer ERC-3525 semi-fungible tokens with slot-based value transfers and balance verification.

Detects and analyzes fallback and receive functions in contracts, with optional call data simulation.

Lock ERC-5192 tokens to make them soulbound with unlock conditions and permanent transfer restrictions.

Batch sends tokens on Zora with per-recipient on-chain memos attached to each transfer in one atomic transaction.

Batch sends tokens with automatic CSV audit trail export containing recipient, amount, tx hash, block, and status.

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

Generates test coverage reports for smart contracts from source code and test execution data across EVM chains.

Analyze event emission patterns from contract source to estimate gas costs and indexed parameter usage without execution.

Compare gas costs and storage efficiency between mappings and arrays in Solidity through static source analysis.

Compare gas costs between string and bytes32 storage in Solidity through static source analysis with slot usage estimation.

Estimate gas savings from inline assembly by analyzing operations and comparing against equivalent Solidity code patterns.

Buyback-and-burn schedule deployer checker. Reads schedules, contracts, treasury balance, and deployment status.

Calculate gas savings from batching multiple transfers into a single transaction with live gas price estimates.

Generate formal invariant specification templates for smart contracts by analyzing source code, storage layout, and state

Simulate and execute DAO proposals with dry-run validation, vote checking, and batch execution support.