본문으로 건너뛰기
cccskills
무료GitHub에 공개

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.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Garyson26/Trident-SecOps-Skills
설치 방법 보기

포함된 파일(2)

  • SKILL.md2.4 KB
  • agents/openai.yaml238 B

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.

리뷰

아직 리뷰가 없습니다. 사용해 본 소감을 남겨 주세요.

댓글

로그인 없이 쓸 수 있습니다. 사용 후기, 질문, 작동하지 않은 환경 등을 편하게 남겨 주세요.

아직 댓글이 없습니다. 첫 댓글을 남겨 보세요.

보내면 바로 공개됩니다. 이메일 주소나 전화번호 같은 개인 정보는 쓰지 마세요. URL은 2개까지입니다.

0 / 1,000자

이 양식은 reCAPTCHA로 보호되며 Google 개인정보처리방침 및 서비스 약관이 적용됩니다.

같은 저장소의 스킬

ai-redteam

무료

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.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Garyson26/Trident-SecOps-Skills282026년 9월 30일 업데이트

api-security-automation

무료

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.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Garyson26/Trident-SecOps-Skills282026년 9월 30일 업데이트

assembly-programming

무료

Assembly programming and low-level debugging skill for reading, writing, explaining, optimizing, and reviewing assembly across x86, x86-64, ARM, AArch64, RISC-V, calling conventions, ABI boundaries, inline assembly, disassembly, stack frames, registers, and binary-level behavior. Use for .s/.asm files, compiler output, reverse-engineering snippets, low-level performance, and crash analysis.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Garyson26/Trident-SecOps-Skills282026년 9월 30일 업데이트

bug-bounty-workflow

무료

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.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Garyson26/Trident-SecOps-Skills282026년 9월 30일 업데이트

claude-mythos-emulation

무료

Assistant-behavior design skill for approximating a Claude-like analytical, careful, conversational style without claiming to be Claude or Anthropic. Use when the user asks to duplicate, emulate, adapt, or recreate a Claude-style "mythos" or persona for prompts, agent specs, writing style, reasoning discipline, safety posture, or UX behavior.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Garyson26/Trident-SecOps-Skills282026년 9월 30일 업데이트

cloud-security-automation

무료

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.

한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.

Garyson26/Trident-SecOps-Skills282026년 9월 30일 업데이트

Garyson26의 스킬 모두 보기

이 스킬의 문제 신고