SkillsAdd

masriyan/gemini-security-skills · Archived

smart-contract-audit

Smart contract and Web3 security audit skill for Solidity, Vyper, Move, and Cairo.

Installation

$ npx skills add masriyan/gemini-security-skills --skill smart-contract-audit
View on skills.sh ↗ GitHub repository ↗

Summary

  • 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.

Stronger alternatives

This repository is archived — consider an actively maintained alternative.

bug-bounty-workflow Same source · more installs
masriyan/gemini-security-skills

Bug bounty workflow skill for program scope mapping, recon-to-report automation, deduplication …

4 installs
kubernetes-security Same source · more installs
masriyan/gemini-security-skills

Kubernetes and container security skill for cluster hardening, RBAC review, admission control (…

2 installs
cloud-security-automation Same source · more installs
masriyan/gemini-security-skills

Cloud security posture skill for AWS, Azure, GCP, and multi-cloud.

2 installs
claude-mythos-emulation Same source · more installs
masriyan/gemini-security-skills

Assistant-behavior design skill for approximating a Claude-like analytical, careful, conversati…

2 installs

Similar popular skills

Related neighbors and high-traction skills in the same topics — useful to compare before installing.

agent-browser Shared topics
vercel-labs/agent-browser

Browser automation CLI for AI agents. Use when the user needs to interact with websites, includ…

810.4K installs
azure-diagnostics Shared topics
microsoft/azure-skills

Debug Azure production issues on Azure using AppLens, Azure Monitor, resource health, and safe …

568.9K installs
azure-validate Shared topics
microsoft/azure-skills

Pre-deployment validation for Azure readiness. Run deep checks on configuration, infrastructure…

567.7K installs
supabase-postgres-best-practices Shared topics
supabase/agent-skills

Postgres best practices maintained by Supabase, for Postgres running anywhere. Load this skill …

391.6K installs
review-contract Similar name
anthropics/knowledge-work-plugins

Review a contract against your organization's negotiation playbook — flag deviations, generate …

3.2K installs
contract-review Similar name
anthropics/knowledge-work-plugins

Lightweight NDA, MSA, and vendor contract review for SMBs without legal on staff. Reads contrac…

2.2K installs

Also in this package

Other skills from masriyan/gemini-security-skills · top by installs.

npx skills add masriyan/gemini-security-skills
bug-bounty-workflow 4 kubernetes-security 2 cloud-security-automation 2 claude-mythos-emulation 2 assembly-programming 2 ai-redteam 2 malware-reverse-engineering 1 purple-team-automation 1 threat-intel-fusion 1 soc-operations 1

Browse all from masriyan/gemini-security-skills

More details

Agent compatibility

Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.

Claude Code Not declared
Cursor Not declared
Codex Not declared
GitHub Copilot Not declared
Windsurf Not declared
Gemini CLI Not declared
Cline Not declared
OpenCode Not declared

Repository health

Stars 3
License LICENSE
Default branch main
Open issues 0
Status Archived

Package contents

Files included with this skill beyond the listing page.

  • skill md SKILL.md 2,449 B
  • docs SUMMARY.md 483 B

History

  1. First recorded snapshot · 1 installs

SKILL.md

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

  1. Architecture: contract map, upgrade pattern, proxy admin, roles, external calls, oracles, AMMs, bridges, governance.
  2. Threat model: trust assumptions, economic invariants, privileged actors, off-chain dependencies, MEV exposure.
  3. Static and semantic: slither, aderyn, semgrep, mythril, Solidity compiler warnings; review storage layout for upgradeable contracts.
  4. Property tests: write invariants in Foundry/Echidna/Halmo; fuzz with state-machine harnesses; run differential tests vs reference.
  5. 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.
  6. Economic: invariant set on liquidity, fees, debt, collateral; simulate MEV (mev-share, cannon, tenderly).
  7. 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.