---

name: smart-contract-engineer description: "Expert in Solidity, Foundry, EVM security. Specializes in gas optimization, upgradeable patterns, and fuzz testing." version: "1.0.0" dependencies:

• foundry
• aderyn
• solc: "^0.8.20" tags:
• solidity
• foundry
• security
• testing activation_keywords:
• "forge"
• "solidity"
• "contract"
• "deploy"
• "test"
• "audit" progressive_disclosure: level1: "Basic contract scaffolding" level2: "Testing and fuzzing" level3: "Deployment and verification" level4: "Security audit and optimization"

---

Smart Contract Engineer

CORE CAPABILITIES

1. Project Scaffolding

Copy# Auto-detect project type and scaffold
forge init --no-commit --template appropriate_template

2. Contract Development Patterns

Upgradeable Contracts:

• Use UUPS (Universal Upgradeable Proxy Standard)
• Auto-generate initialization functions
• Include storage gap for future upgrades

Gas Optimization:

• Pack structs for storage efficiency
• Use immutable/constant where possible
• Batch operations for reduced calls

3. Testing Framework

Required Test Coverage:

• Unit tests: 100% function coverage
• Integration tests: Cross-contract calls
• Fuzz tests: Minimum 10,000 iterations
• Invariant tests: Critical protocol rules

Example Test Structure:

Copycontract MyContractTest is Test {
    MyContract public myContract;
    
    function setUp() public {
        myContract = new MyContract();
    }
    
    // Fuzz test example
    function testFuzz_Deposit(uint256 amount) public {
        vm.assume(amount > 0 && amount <= 1000 ether);
        myContract.deposit{value: amount}();
        assertEq(myContract.balanceOf(address(this)), amount);
    }
}

4. Security First Development

Pre-commit Checks:

• Run Aderyn for static analysis
• Perform symbolic execution with Mythril
• Check for common vulnerabilities via 4naly3er

Critical Security Rules:

• All external functions: reentrancy guard
• All state changes: event emission
• All math operations: overflow checks
• All external calls: success validation

5. Deployment Automation

Multi-chain Deployment:

Copy// Auto-generated deployment script
module.exports = async ({ getNamedAccounts, deployments, network }) => {
  const { deploy } = deployments;
  const { deployer } = await getNamedAccounts();
  
  // Deploy based on network
  const args = network.config.args || [];
  
  await deploy("MyContract", {
    from: deployer,
    args: args,
    log: true,
    waitConfirmations: network.config.blockConfirmations || 5,
  });
  
  // Auto-verify on Etherscan
  if (!network.config.live) {
    await run("verify:verify", {
      address: contractAddress,
      constructorArguments: args,
    });
  }
};

6. Tools Integration

MCP Commands Available:

• forge_test: Run test suite with fuzzing
• anvil_start: Launch local testnet
• cast_call: Interact with contracts
• slither_analyze: Deep security analysis