원클릭으로 Manus에서 모든 스킬 실행

smart-contract-audit

스타1

포크0

업데이트2026년 5월 21일 06:53

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.

설치

Codex 또는 Claude로 설치 이 Prompt를 복사해 Codex, Claude 또는 다른 어시스턴트에 붙여 넣으면 Skill 페이지를 검토하고 설치를 진행할 수 있습니다.

Manus에서 실행

출처

Masriyan

Masriyan/gemini-security-skills

GitHub 저장소 열기 Creator 저장소 보기

다운로드

Manus에서 실행

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.

이 저장소의 다른 Skills

같은 저장소

threat-intel-fusion

Masriyan/gemini-security-skills

Threat intelligence fusion skill for collecting, normalizing, deduplicating, enriching, and operationalizing IOCs and TTPs from OTX, MISP, abuse.ch, VirusTotal, Shodan, GreyNoise, Censys, CISA KEV, NVD, vendor blogs, and internal telemetry. Use to build STIX/TAXII feeds, ATT&CK-mapped actor profiles, prioritized blocklists, and detection-ready intel packages.

2026-05-211

ai-redteam

Masriyan/gemini-security-skills

AI and LLM red-teaming skill for evaluating prompt injection, jailbreak, data exfiltration, tool abuse, agent hijack, RAG poisoning, model denial of service, and unsafe tool-use chains in Gemini, Claude, GPT, and open-weight models. Use to build evaluation harnesses, attack corpora, defensive guardrails, and red-team reports for AI systems you own or are authorized to test.

2026-05-211

api-security-automation

Masriyan/gemini-security-skills

API security automation skill for REST, GraphQL, gRPC, and WebSocket APIs. Covers OpenAPI/AsyncAPI ingestion, authenticated fuzzing, OWASP API Top 10 (BOLA, BFLA, mass assignment, SSRF), schema diffing, GraphQL introspection abuse, JWT and OAuth misuse, rate-limit and replay testing. Use to automate API assessments with safe, scoped, evidence-backed findings.

2026-05-211

bug-bounty-workflow

Masriyan/gemini-security-skills

Bug bounty workflow skill for program scope mapping, recon-to-report automation, deduplication against prior submissions, and high-signal reporting on HackerOne, Bugcrowd, Intigriti, YesWeHack, and self-hosted programs. Use to organize bounty work end to end while staying inside program rules.

2026-05-211

cloud-security-automation

Masriyan/gemini-security-skills

Cloud security posture skill for AWS, Azure, GCP, and multi-cloud. Covers IAM least-privilege, key and secret hygiene, network exposure, data protection, logging coverage, IaC scanning (Terraform, CloudFormation, Bicep, Pulumi), CSPM remediation, and landing-zone hardening. Use for misconfig discovery, IaC review, and automated drift-and-fix workflows on cloud accounts you own.

2026-05-211

detection-engineering

Masriyan/gemini-security-skills

Detection engineering skill for writing, testing, and tuning Sigma, YARA, YARA-L, Suricata, Snort, Zeek, KQL, SPL, EQL, Chronicle, and Elastic detection rules. Covers ATT&CK coverage mapping, telemetry gap analysis, false-positive tuning, detection-as-code pipelines, and validation with Atomic Red Team and Caldera. Use to design durable detections backed by tests.

2026-05-211

name

smart-contract-audit

description

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.