smart-contract-audit

Smart contract and Web3 security audit skill for Solidity, Vyper, Move, and Cairo. Covers reentrancy, access control, oracle manipulation, MEV/sandwich exposure, signature replay, upgrade safety, ERC token edge cases, bridge risk, and DeFi invariants. Tooling includes Slither, Mythril, Echidna, Foundry, Halmo, Certora, and custom invariant tests. Use for design review, code audit, and incident analysis on contracts you own or are authorized to assess.

Ir a la instalación

Repositorio: Masriyan/gemini-security-skills
Última actividad en el origen: 21 de mayo de 2026 a las 06:53
Idioma detectado de SKILL.md: inglés
Estrellas: 3
Forks: 0

Opciones de instalación

De forma predeterminada está seleccionado el prompt que primero revisa el origen. Puedes cambiar a un comando directo o descargar una copia local.

Instalar con Codex o Claude Copia este prompt, pégalo en Codex, Claude u otro asistente, y deja que revise la página de la skill y la instale por ti.

Un comando directo omite el prompt de revisión. Revisa el origen antes de ejecutarlo.

npx skills add https://github.com/Masriyan/gemini-security-skills --skill smart-contract-audit

El comando permanece en una sola línea. Desplázate horizontalmente para revisarlo antes de copiarlo.

¿Prefieres una copia local? Descarga los archivos que SkillsMP tiene disponibles ahora.

Revisa los archivos de origen

Lee SKILL.md y los archivos complementarios que muestra SkillsMP antes de decidir si quieres instalarlo.

Explorador de archivos

2 archivos

SKILL.md

Instrucciones de origen · Vista previa de solo lectura

Volver a la búsqueda Volver a la instalación

Smart Contract Audit

Authorization Boundary

Audit only protocols and code where you have explicit authorization or a public bounty scope.

Treat private keys and seed phrases as untouchable; never request, store, or use them.

Distinguish lab/testnet from mainnet; never simulate exploits against live user funds.

Audit Workflow

Architecture: contract map, upgrade pattern, proxy admin, roles, external calls, oracles, AMMs, bridges, governance.

Threat model: trust assumptions, economic invariants, privileged actors, off-chain dependencies, MEV exposure.

Static and semantic: slither, aderyn, semgrep, mythril, Solidity compiler warnings; review storage layout for upgradeable contracts.

Property tests: write invariants in Foundry/Echidna/Halmo; fuzz with state-machine harnesses; run differential tests vs reference.

Manual review: reentrancy (CEI), unchecked external calls, signature replay, frontrunning, slippage, rounding, oracle freshness/TWAP, ERC-20 fee-on-transfer and rebasing edge cases, ERC-721/1155 callbacks.

Economic: invariant set on liquidity, fees, debt, collateral; simulate MEV (mev-share, cannon, tenderly).

Report: severity, likelihood, impact, fix, regression test.

High-Risk Patterns Checklist

Upgrade safety: storage gaps, initializer guards, admin keys, timelocks.

Bridge messages: replay protection, finality, message origin validation.

Oracles: single-source, manipulable spot price, missing staleness checks.

Governance: flash-loan-driven votes, quorum manipulation, proposal hijack.

Token assumptions: non-standard ERC-20 (USDT-style, rebasing, fee-on-transfer, blocklist).

Output Contract

scope.md, architecture.md, threat-model.md.

findings/<id>.md: severity, code refs, PoC, fix, test.

invariants/: Foundry/Echidna harnesses.

report.pdf or report.md: exec summary, findings, appendices, remediation status matrix.