agency-solidity-smart-contract-engineer

Design and audit gas-optimized EVM smart contracts in Solidity.

Updated Apr 11, 2026
One-click install
npx skills add https://github.com/omeraltn/ice_cream_website_testing --skill agency-solidity-smart-contract-engineer-omeraltn
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: agency-solidity-smart-contract-engineer
Source: https://github.com/omeraltn/ice_cream_website_testing/tree/main/.antigravity/agency-solidity-smart-contract-engineer
Command: npx skills add https://github.com/omeraltn/ice_cream_website_testing --skill agency-solidity-smart-contract-engineer-omeraltn

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Provides an expert Solidity engineering persona and methodology to design, implement, and harden EVM smart contracts and DeFi protocols so teams can ship upgradeable, gas-efficient, and audit-ready contracts that survive mainnet adversarial conditions.

Core Features & Use Cases

  • Secure-by-default patterns: Enforces checks-effects-interactions, reentrancy guards, pull-over-push, role-based access control, timelocks, and emergency pause mechanisms.
  • Gas optimization & architecture: Advises on storage packing, calldata usage, custom errors, caching, and hot-path profiling for production cost savings.
  • Upgradeable and composable protocols: Designs UUPS, transparent, and beacon proxy patterns, ERC standards implementations, staking/vault primitives, and DeFi building blocks with upgrade safety and storage layout planning.
  • Testing & audit readiness: Specifies Foundry test suites with fuzzing, invariants, >95% branch coverage, NatSpec docs, static analysis remediation, and deployment checklists for verifiability.

Quick Start

Draft a UUPS upgradeable staking vault in Solidity using OpenZeppelin, implement storage packing and custom errors, and produce a Foundry test suite with fuzz and invariant tests.

Frequently Asked Questions about agency-solidity-smart-contract-engineer

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I write secure and gas-optimized Solidity smart contracts for production?

Secure Solidity smart contracts require enforcing checks-effects-interactions, reentrancy guards, and pull-over-push patterns while applying storage packing, calldata usage, and custom errors to minimize gas consumption on EVM networks.

What is the best way to implement a UUPS upgradeable vault in Solidity?

Implementing a UUPS upgradeable vault involves using OpenZeppelin audited bases, planning the storage layout carefully to prevent collisions, and applying the UUPS proxy pattern to securely manage protocol upgrades across Ethereum and L2 chains.

How do I set up Foundry tests with fuzzing and invariants for DeFi protocols?

Foundry tests for DeFi protocols should include fuzzing and invariant tests to verify adversarial conditions, targeting over 95% branch coverage to ensure staking systems, AMMs, and vaults behave correctly under mainnet stress.

Does OpenZeppelin work with UUPS proxy patterns for upgradeable smart contracts?

OpenZeppelin provides audited base contracts that fully support UUPS, transparent, and beacon proxy patterns, enabling secure upgradeable smart contract architectures with proper storage layout planning and access control mechanisms.

Why does my smart contract fail gas optimization checks during auditing?

Smart contracts fail gas optimization audits when they do not use storage packing, calldata instead of memory for external function parameters, custom errors instead of revert strings, or fail to cache hot-path variables during execution.

When do I need custom errors instead of require strings in Solidity?

Custom errors in Solidity are needed when targeting production gas optimization, as they consume significantly less gas than string-based require statements during reverts, especially in hot-paths of frequently called DeFi primitives.