Trail of Bits security skills analysis for Solidity contracts. Use for deep smart contract security review with invariant suggestions.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
실행 점수 미검증
설치 방법 보기설치하기 전에 에이전트에게 전달되는 지시 내용을 확인할 수 있습니다.
Use this skill for deep Solidity smart contract security analysis using Trail of Bits methodologies.
Read and apply the ToB security guidelines from .github/prompts/tob-security-skills.md to analyze the Solidity changes.
Provide findings with severity ratings and invariant recommendations for testing.
When reviewing a PR, deliver feedback as a single consolidated GitHub review using /inline-pr-comments. Each run produces a separate review. The skill fetches prior reviews/comments for context — avoid duplicating previously raised issues.
아직 리뷰가 없습니다. 사용해 본 소감을 남겨 주세요.
로그인 없이 쓸 수 있습니다. 사용 후기, 질문, 작동하지 않은 환경 등을 편하게 남겨 주세요.
아직 댓글이 없습니다. 첫 댓글을 남겨 보세요.
Write a changeset file in the `hyperlane-registry` repo for a PR that adds, updates, or modifies warp route config / chain metadata / addresses. Canonical pattern — never run the interactive `pnpm changeset` CLI; write the file directly. Referenced by any skill that opens a registry PR.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Trigger Docker image builds for Hyperlane agent, monorepo, or node service images. Use when the user wants to build new Docker images for a branch, commit, or tag.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
The low-level on-chain probes for identifying what an owner address is — cast code → EOA / EIP-7702-delegated EOA / contract, VERSION() → Gnosis Safe, read-only get-owner-ica.ts derive → ICA derivation, getAccountInfo → Sealevel account existence — with how to interpret each result. The primitive layer beneath validate-owners / resolve-artifacts / update-owners, which each apply their own per-chain or per-artifact policy on top.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Review code changes using Hyperlane monorepo coding standards. Use when reviewing PRs, checking your own changes, or doing self-review before committing.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Debug why a Hyperlane message is not being processed. Use when given a message ID or explorer URL to investigate delivery failures, gas estimation errors, validator issues, or other processing problems.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
Debug RPC provider health issues for a chain. Use when alerts mention RPC failures, high latency, stale blocks, or provider errors. Diagnoses the issue and recommends fixes.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.