[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill-trail-of-bits-scv-scan":3,"mdc--puq4f0-key":40,"related-org-trail-of-bits-scv-scan":596,"related-repo-trail-of-bits-scv-scan":750},{"slug":4,"name":4,"fn":5,"description":6,"org":7,"tags":12,"stars":29,"repoUrl":30,"updatedAt":31,"license":32,"forks":33,"topics":34,"repo":35,"sourceUrl":38,"mdContent":39},"scv-scan","audit Solidity smart contracts for vulnerabilities","Audits Solidity codebases for smart contract vulnerabilities using a four-phase workflow (cheatsheet loading, codebase sweep, deep validation, reporting) covering 36 vulnerability classes. Use when auditing Solidity contracts for security issues, performing smart contract vulnerability scans, or reviewing Solidity code for common exploit patterns.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},"trail-of-bits","Trail of Bits","https:\u002F\u002Fpexgzepcugksgbtrxkhf.supabase.co\u002Fstorage\u002Fv1\u002Fobject\u002Fpublic\u002Forg-logos\u002Ftrail-of-bits.png","trailofbits",[13,17,20,23,26],{"name":14,"slug":15,"type":16},"Security","security","tag",{"name":18,"slug":19,"type":16},"Audit","audit",{"name":21,"slug":22,"type":16},"Smart Contracts","smart-contracts",{"name":24,"slug":25,"type":16},"Code Analysis","code-analysis",{"name":27,"slug":28,"type":16},"Solidity","solidity",460,"https:\u002F\u002Fgithub.com\u002Ftrailofbits\u002Fskills-curated","2026-07-18T05:47:23.314149",null,29,[],{"repoUrl":30,"stars":29,"forks":33,"topics":36,"description":37},[],"Curated, community-vetted Claude Code plugin marketplace","https:\u002F\u002Fgithub.com\u002Ftrailofbits\u002Fskills-curated\u002Ftree\u002FHEAD\u002Fplugins\u002Fscv-scan\u002Fskills\u002Fscv-scan","---\nname: scv-scan\ndescription: \"Audits Solidity codebases for smart contract vulnerabilities using a four-phase workflow (cheatsheet loading, codebase sweep, deep validation, reporting) covering 36 vulnerability classes. Use when auditing Solidity contracts for security issues, performing smart contract vulnerability scans, or reviewing Solidity code for common exploit patterns.\"\nallowed-tools:\n  - Read\n  - Grep\n  - Glob\n  - Bash\n  - Write\n  - Task\n---\n\n# Smart Contract Vulnerability Auditor\n\nSystematically audit a Solidity codebase for vulnerabilities using a four-phase approach that balances thoroughness with efficiency.\n\n## When to Use\n\n- Auditing a Solidity codebase for security vulnerabilities before deployment\n- Reviewing smart contract code for common exploit patterns (reentrancy, overflow, access control, etc.)\n- Performing a structured vulnerability scan across an entire Solidity project\n- Validating that a contract follows security best practices after modifications\n\n## When NOT to Use\n\n- Auditing non-Solidity smart contracts (Vyper, Rust\u002FAnchor, Move) — patterns are Solidity-specific\n- Reviewing off-chain code (JavaScript, TypeScript backends) — use general security review instead\n- When the user only wants gas optimization or code style feedback — this focuses on exploitable vulnerabilities\n- For formal verification of invariants — use tools like Certora, Halmos, or Echidna instead\n\n## Rationalizations to Reject\n\n- \"The compiler version is >=0.8.0 so overflow isn't possible\" — `unchecked` blocks, assembly, and type downcasts still wrap\n- \"It uses OpenZeppelin so it's safe\" — integration bugs, incorrect inheritance order, and missing modifiers on custom functions are common\n- \"That function is internal so it can't be exploited\" — internal functions called from external entry points inherit the caller's context\n- \"There's no ETH involved so reentrancy doesn't apply\" — ERC721 `_safeMint`, ERC1155 safe transfers, and ERC777 hooks all trigger callbacks\n- \"The contract is upgradeable so we can fix it later\" — `initialize()` without `initializer` modifier is itself a critical vulnerability\n\n## Reference Structure\n\n```\nreferences\u002F\n  CHEATSHEET.md          # Condensed pattern reference — always read first\n  reentrancy.md          # Full reference files — read selectively in Phase 3\n  overflow-underflow.md\n  ...\n```\n\nEach full reference file in `references\u002F` has these sections:\n\n- **Preconditions** — what must be true for the vulnerability to exist\n- **Vulnerable Pattern** — annotated Solidity anti-pattern\n- **Detection Heuristics** — step-by-step reasoning to confirm the vulnerability\n- **False Positives** — when the pattern appears but isn't exploitable\n- **Remediation** — how to fix it\n\n## Audit Workflow\n\n### Phase 1: Load the Cheatsheet\n\n**Before touching any Solidity files**, read `{baseDir}\u002Fskills\u002Fscv-scan\u002Freferences\u002FCHEATSHEET.md` in full.\n\nThis file contains a condensed entry for every known vulnerability class: name, what to look for (syntactic and semantic), and default severity. Internalize these patterns — they are your detection surface for the sweep phase. Do NOT read any full reference files yet.\n\n### Phase 2: Codebase Sweep\n\nPerform two complementary passes over the codebase.\n\n#### Pass A: Syntactic Grep Scan\n\nSearch for the trigger patterns listed in the cheatsheet under \"Grep-able keywords\". Use grep or ripgrep to find matches.\n\nFor each match, record: file, line number(s), matched pattern, and suspected vulnerability type(s).\n\n#### Pass B: Structural \u002F Semantic Analysis\n\nThis pass catches vulnerabilities that have no reliable grep signature. Read through the codebase searching for any relevant logic similar to that explained in the cheatsheet.\n\nFor each finding in this pass, record: file, line number(s), description of the concern, and suspected vulnerability type(s).\n\n#### Compile Candidate List\n\nMerge results from Pass A and Pass B into a deduplicated candidate list. Each entry should look like:\n\n```\n- File: `path\u002Fto\u002Ffile.sol` L{start}-L{end}\n- Suspected: [vulnerability-name] (from CHEATSHEET.md)\n- Evidence: [brief description of what was found]\n```\n\n### Phase 3: Selective Deep Validation\n\nFor each candidate in the list:\n\n1. **Read the full reference file** for the suspected vulnerability type (e.g., `{baseDir}\u002Fskills\u002Fscv-scan\u002Freferences\u002Freentrancy.md`). Read it now — not before.\n2. **Walk through every Detection Heuristic step** against the actual code. Be precise — trace variable values, check modifiers, follow call chains.\n3. **Check every False Positive condition**. If any false positive condition matches, discard the finding and note why.\n4. **Cross-reference**: one code location can match multiple vulnerability types. If the cheatsheet maps the same pattern to multiple references, read and validate against each.\n5. **Confirm or discard.** Only confirmed findings go into the final report.\n\n### Phase 4: Report\n\nFor each confirmed finding, output:\n\n```\n### [Vulnerability Name]\n\n**File:** `path\u002Fto\u002Ffile.sol` L{start}-L{end}\n**Severity:** Critical | High | Medium | Low | Informational\n\n**Description:** What is vulnerable and why, in 1-3 sentences.\n\n**Code:**\n```solidity\n\u002F\u002F The vulnerable code snippet\n```\n\n**Recommendation:** Specific fix, referencing the Remediation section of the reference file.\n```\n\nAfter all findings, include a summary section:\n\n```\n## Summary\n\n| Severity | Count |\n|----------|-------|\n| Critical | N     |\n| High     | N     |\n| Medium   | N     |\n| Low      | N     |\n| Info     | N     |\n```\n\nWrite the final report to `scv-scan.md`.\n\n## Severity Guidelines\n\n- **Critical**: Direct loss of funds, unauthorized fund extraction, permanent freezing of funds\n- **High**: Conditional fund loss, access control bypass, state corruption exploitable under realistic conditions\n- **Medium**: Unlikely fund loss, griefing attacks, DoS on non-critical paths, value leak under edge conditions\n- **Low**: Best practice violations, gas inefficiency, code quality issues with no direct exploit path\n- **Informational**: Unused variables, style issues, documentation gaps\n\n## Key Principles\n\n- **Cheatsheet first, references on-demand.** Never read all full reference files upfront. The cheatsheet gives you ambient awareness; full references are for validation only.\n- **Semantic > syntactic.** The hardest bugs don't grep. Cross-function reentrancy, missing access control, incorrect inheritance — these require reading and reasoning, not pattern matching.\n- **Trace across boundaries.** Follow state across function calls, contract calls, and inheritance chains. Hidden external calls (safe mint\u002Ftransfer hooks, ERC-777 callbacks) are as dangerous as explicit `.call()`.\n- **One location, multiple bugs.** A single line can be vulnerable to reentrancy AND unchecked return value. Check all applicable references.\n- **Version matters.** Always check `pragma solidity` — many vulnerabilities are version-dependent (e.g., overflow is checked by default in >=0.8.0).\n- **False positives are noise.** Be rigorous about checking false positive conditions. A shorter report with high-confidence findings is more valuable than a long one padded with maybes.\n",{"data":41,"body":49},{"name":4,"description":6,"allowed-tools":42},[43,44,45,46,47,48],"Read","Grep","Glob","Bash","Write","Task",{"type":50,"children":51},"root",[52,61,67,74,99,105,128,134,195,201,213,226,280,286,293,311,316,322,327,334,339,344,350,355,360,366,371,380,386,391,453,459,464,473,483,492,498,587],{"type":53,"tag":54,"props":55,"children":57},"element","h1",{"id":56},"smart-contract-vulnerability-auditor",[58],{"type":59,"value":60},"text","Smart Contract Vulnerability Auditor",{"type":53,"tag":62,"props":63,"children":64},"p",{},[65],{"type":59,"value":66},"Systematically audit a Solidity codebase for vulnerabilities using a four-phase approach that balances thoroughness with efficiency.",{"type":53,"tag":68,"props":69,"children":71},"h2",{"id":70},"when-to-use",[72],{"type":59,"value":73},"When to Use",{"type":53,"tag":75,"props":76,"children":77},"ul",{},[78,84,89,94],{"type":53,"tag":79,"props":80,"children":81},"li",{},[82],{"type":59,"value":83},"Auditing a Solidity codebase for security vulnerabilities before deployment",{"type":53,"tag":79,"props":85,"children":86},{},[87],{"type":59,"value":88},"Reviewing smart contract code for common exploit patterns (reentrancy, overflow, access control, etc.)",{"type":53,"tag":79,"props":90,"children":91},{},[92],{"type":59,"value":93},"Performing a structured vulnerability scan across an entire Solidity project",{"type":53,"tag":79,"props":95,"children":96},{},[97],{"type":59,"value":98},"Validating that a contract follows security best practices after modifications",{"type":53,"tag":68,"props":100,"children":102},{"id":101},"when-not-to-use",[103],{"type":59,"value":104},"When NOT to Use",{"type":53,"tag":75,"props":106,"children":107},{},[108,113,118,123],{"type":53,"tag":79,"props":109,"children":110},{},[111],{"type":59,"value":112},"Auditing non-Solidity smart contracts (Vyper, Rust\u002FAnchor, Move) — patterns are Solidity-specific",{"type":53,"tag":79,"props":114,"children":115},{},[116],{"type":59,"value":117},"Reviewing off-chain code (JavaScript, TypeScript backends) — use general security review instead",{"type":53,"tag":79,"props":119,"children":120},{},[121],{"type":59,"value":122},"When the user only wants gas optimization or code style feedback — this focuses on exploitable vulnerabilities",{"type":53,"tag":79,"props":124,"children":125},{},[126],{"type":59,"value":127},"For formal verification of invariants — use tools like Certora, Halmos, or Echidna instead",{"type":53,"tag":68,"props":129,"children":131},{"id":130},"rationalizations-to-reject",[132],{"type":59,"value":133},"Rationalizations to Reject",{"type":53,"tag":75,"props":135,"children":136},{},[137,151,156,161,174],{"type":53,"tag":79,"props":138,"children":139},{},[140,142,149],{"type":59,"value":141},"\"The compiler version is >=0.8.0 so overflow isn't possible\" — ",{"type":53,"tag":143,"props":144,"children":146},"code",{"className":145},[],[147],{"type":59,"value":148},"unchecked",{"type":59,"value":150}," blocks, assembly, and type downcasts still wrap",{"type":53,"tag":79,"props":152,"children":153},{},[154],{"type":59,"value":155},"\"It uses OpenZeppelin so it's safe\" — integration bugs, incorrect inheritance order, and missing modifiers on custom functions are common",{"type":53,"tag":79,"props":157,"children":158},{},[159],{"type":59,"value":160},"\"That function is internal so it can't be exploited\" — internal functions called from external entry points inherit the caller's context",{"type":53,"tag":79,"props":162,"children":163},{},[164,166,172],{"type":59,"value":165},"\"There's no ETH involved so reentrancy doesn't apply\" — ERC721 ",{"type":53,"tag":143,"props":167,"children":169},{"className":168},[],[170],{"type":59,"value":171},"_safeMint",{"type":59,"value":173},", ERC1155 safe transfers, and ERC777 hooks all trigger callbacks",{"type":53,"tag":79,"props":175,"children":176},{},[177,179,185,187,193],{"type":59,"value":178},"\"The contract is upgradeable so we can fix it later\" — ",{"type":53,"tag":143,"props":180,"children":182},{"className":181},[],[183],{"type":59,"value":184},"initialize()",{"type":59,"value":186}," without ",{"type":53,"tag":143,"props":188,"children":190},{"className":189},[],[191],{"type":59,"value":192},"initializer",{"type":59,"value":194}," modifier is itself a critical vulnerability",{"type":53,"tag":68,"props":196,"children":198},{"id":197},"reference-structure",[199],{"type":59,"value":200},"Reference Structure",{"type":53,"tag":202,"props":203,"children":207},"pre",{"className":204,"code":206,"language":59},[205],"language-text","references\u002F\n  CHEATSHEET.md          # Condensed pattern reference — always read first\n  reentrancy.md          # Full reference files — read selectively in Phase 3\n  overflow-underflow.md\n  ...\n",[208],{"type":53,"tag":143,"props":209,"children":211},{"__ignoreMap":210},"",[212],{"type":59,"value":206},{"type":53,"tag":62,"props":214,"children":215},{},[216,218,224],{"type":59,"value":217},"Each full reference file in ",{"type":53,"tag":143,"props":219,"children":221},{"className":220},[],[222],{"type":59,"value":223},"references\u002F",{"type":59,"value":225}," has these sections:",{"type":53,"tag":75,"props":227,"children":228},{},[229,240,250,260,270],{"type":53,"tag":79,"props":230,"children":231},{},[232,238],{"type":53,"tag":233,"props":234,"children":235},"strong",{},[236],{"type":59,"value":237},"Preconditions",{"type":59,"value":239}," — what must be true for the vulnerability to exist",{"type":53,"tag":79,"props":241,"children":242},{},[243,248],{"type":53,"tag":233,"props":244,"children":245},{},[246],{"type":59,"value":247},"Vulnerable Pattern",{"type":59,"value":249}," — annotated Solidity anti-pattern",{"type":53,"tag":79,"props":251,"children":252},{},[253,258],{"type":53,"tag":233,"props":254,"children":255},{},[256],{"type":59,"value":257},"Detection Heuristics",{"type":59,"value":259}," — step-by-step reasoning to confirm the vulnerability",{"type":53,"tag":79,"props":261,"children":262},{},[263,268],{"type":53,"tag":233,"props":264,"children":265},{},[266],{"type":59,"value":267},"False Positives",{"type":59,"value":269}," — when the pattern appears but isn't exploitable",{"type":53,"tag":79,"props":271,"children":272},{},[273,278],{"type":53,"tag":233,"props":274,"children":275},{},[276],{"type":59,"value":277},"Remediation",{"type":59,"value":279}," — how to fix it",{"type":53,"tag":68,"props":281,"children":283},{"id":282},"audit-workflow",[284],{"type":59,"value":285},"Audit Workflow",{"type":53,"tag":287,"props":288,"children":290},"h3",{"id":289},"phase-1-load-the-cheatsheet",[291],{"type":59,"value":292},"Phase 1: Load the Cheatsheet",{"type":53,"tag":62,"props":294,"children":295},{},[296,301,303,309],{"type":53,"tag":233,"props":297,"children":298},{},[299],{"type":59,"value":300},"Before touching any Solidity files",{"type":59,"value":302},", read ",{"type":53,"tag":143,"props":304,"children":306},{"className":305},[],[307],{"type":59,"value":308},"{baseDir}\u002Fskills\u002Fscv-scan\u002Freferences\u002FCHEATSHEET.md",{"type":59,"value":310}," in full.",{"type":53,"tag":62,"props":312,"children":313},{},[314],{"type":59,"value":315},"This file contains a condensed entry for every known vulnerability class: name, what to look for (syntactic and semantic), and default severity. Internalize these patterns — they are your detection surface for the sweep phase. Do NOT read any full reference files yet.",{"type":53,"tag":287,"props":317,"children":319},{"id":318},"phase-2-codebase-sweep",[320],{"type":59,"value":321},"Phase 2: Codebase Sweep",{"type":53,"tag":62,"props":323,"children":324},{},[325],{"type":59,"value":326},"Perform two complementary passes over the codebase.",{"type":53,"tag":328,"props":329,"children":331},"h4",{"id":330},"pass-a-syntactic-grep-scan",[332],{"type":59,"value":333},"Pass A: Syntactic Grep Scan",{"type":53,"tag":62,"props":335,"children":336},{},[337],{"type":59,"value":338},"Search for the trigger patterns listed in the cheatsheet under \"Grep-able keywords\". Use grep or ripgrep to find matches.",{"type":53,"tag":62,"props":340,"children":341},{},[342],{"type":59,"value":343},"For each match, record: file, line number(s), matched pattern, and suspected vulnerability type(s).",{"type":53,"tag":328,"props":345,"children":347},{"id":346},"pass-b-structural-semantic-analysis",[348],{"type":59,"value":349},"Pass B: Structural \u002F Semantic Analysis",{"type":53,"tag":62,"props":351,"children":352},{},[353],{"type":59,"value":354},"This pass catches vulnerabilities that have no reliable grep signature. Read through the codebase searching for any relevant logic similar to that explained in the cheatsheet.",{"type":53,"tag":62,"props":356,"children":357},{},[358],{"type":59,"value":359},"For each finding in this pass, record: file, line number(s), description of the concern, and suspected vulnerability type(s).",{"type":53,"tag":328,"props":361,"children":363},{"id":362},"compile-candidate-list",[364],{"type":59,"value":365},"Compile Candidate List",{"type":53,"tag":62,"props":367,"children":368},{},[369],{"type":59,"value":370},"Merge results from Pass A and Pass B into a deduplicated candidate list. Each entry should look like:",{"type":53,"tag":202,"props":372,"children":375},{"className":373,"code":374,"language":59},[205],"- File: `path\u002Fto\u002Ffile.sol` L{start}-L{end}\n- Suspected: [vulnerability-name] (from CHEATSHEET.md)\n- Evidence: [brief description of what was found]\n",[376],{"type":53,"tag":143,"props":377,"children":378},{"__ignoreMap":210},[379],{"type":59,"value":374},{"type":53,"tag":287,"props":381,"children":383},{"id":382},"phase-3-selective-deep-validation",[384],{"type":59,"value":385},"Phase 3: Selective Deep Validation",{"type":53,"tag":62,"props":387,"children":388},{},[389],{"type":59,"value":390},"For each candidate in the list:",{"type":53,"tag":392,"props":393,"children":394},"ol",{},[395,413,423,433,443],{"type":53,"tag":79,"props":396,"children":397},{},[398,403,405,411],{"type":53,"tag":233,"props":399,"children":400},{},[401],{"type":59,"value":402},"Read the full reference file",{"type":59,"value":404}," for the suspected vulnerability type (e.g., ",{"type":53,"tag":143,"props":406,"children":408},{"className":407},[],[409],{"type":59,"value":410},"{baseDir}\u002Fskills\u002Fscv-scan\u002Freferences\u002Freentrancy.md",{"type":59,"value":412},"). Read it now — not before.",{"type":53,"tag":79,"props":414,"children":415},{},[416,421],{"type":53,"tag":233,"props":417,"children":418},{},[419],{"type":59,"value":420},"Walk through every Detection Heuristic step",{"type":59,"value":422}," against the actual code. Be precise — trace variable values, check modifiers, follow call chains.",{"type":53,"tag":79,"props":424,"children":425},{},[426,431],{"type":53,"tag":233,"props":427,"children":428},{},[429],{"type":59,"value":430},"Check every False Positive condition",{"type":59,"value":432},". If any false positive condition matches, discard the finding and note why.",{"type":53,"tag":79,"props":434,"children":435},{},[436,441],{"type":53,"tag":233,"props":437,"children":438},{},[439],{"type":59,"value":440},"Cross-reference",{"type":59,"value":442},": one code location can match multiple vulnerability types. If the cheatsheet maps the same pattern to multiple references, read and validate against each.",{"type":53,"tag":79,"props":444,"children":445},{},[446,451],{"type":53,"tag":233,"props":447,"children":448},{},[449],{"type":59,"value":450},"Confirm or discard.",{"type":59,"value":452}," Only confirmed findings go into the final report.",{"type":53,"tag":287,"props":454,"children":456},{"id":455},"phase-4-report",[457],{"type":59,"value":458},"Phase 4: Report",{"type":53,"tag":62,"props":460,"children":461},{},[462],{"type":59,"value":463},"For each confirmed finding, output:",{"type":53,"tag":202,"props":465,"children":468},{"className":466,"code":467,"language":59},[205],"### [Vulnerability Name]\n\n**File:** `path\u002Fto\u002Ffile.sol` L{start}-L{end}\n**Severity:** Critical | High | Medium | Low | Informational\n\n**Description:** What is vulnerable and why, in 1-3 sentences.\n\n**Code:**\n```solidity\n\u002F\u002F The vulnerable code snippet\n",[469],{"type":53,"tag":143,"props":470,"children":471},{"__ignoreMap":210},[472],{"type":59,"value":467},{"type":53,"tag":62,"props":474,"children":475},{},[476,481],{"type":53,"tag":233,"props":477,"children":478},{},[479],{"type":59,"value":480},"Recommendation:",{"type":59,"value":482}," Specific fix, referencing the Remediation section of the reference file.",{"type":53,"tag":202,"props":484,"children":487},{"className":485,"code":486,"language":59},[205],"\nAfter all findings, include a summary section:\n\n",[488],{"type":53,"tag":143,"props":489,"children":490},{"__ignoreMap":210},[491],{"type":59,"value":486},{"type":53,"tag":68,"props":493,"children":495},{"id":494},"summary",[496],{"type":59,"value":497},"Summary",{"type":53,"tag":499,"props":500,"children":501},"table",{},[502,521],{"type":53,"tag":503,"props":504,"children":505},"thead",{},[506],{"type":53,"tag":507,"props":508,"children":509},"tr",{},[510,516],{"type":53,"tag":511,"props":512,"children":513},"th",{},[514],{"type":59,"value":515},"Severity",{"type":53,"tag":511,"props":517,"children":518},{},[519],{"type":59,"value":520},"Count",{"type":53,"tag":522,"props":523,"children":524},"tbody",{},[525,539,551,563,575],{"type":53,"tag":507,"props":526,"children":527},{},[528,534],{"type":53,"tag":529,"props":530,"children":531},"td",{},[532],{"type":59,"value":533},"Critical",{"type":53,"tag":529,"props":535,"children":536},{},[537],{"type":59,"value":538},"N",{"type":53,"tag":507,"props":540,"children":541},{},[542,547],{"type":53,"tag":529,"props":543,"children":544},{},[545],{"type":59,"value":546},"High",{"type":53,"tag":529,"props":548,"children":549},{},[550],{"type":59,"value":538},{"type":53,"tag":507,"props":552,"children":553},{},[554,559],{"type":53,"tag":529,"props":555,"children":556},{},[557],{"type":59,"value":558},"Medium",{"type":53,"tag":529,"props":560,"children":561},{},[562],{"type":59,"value":538},{"type":53,"tag":507,"props":564,"children":565},{},[566,571],{"type":53,"tag":529,"props":567,"children":568},{},[569],{"type":59,"value":570},"Low",{"type":53,"tag":529,"props":572,"children":573},{},[574],{"type":59,"value":538},{"type":53,"tag":507,"props":576,"children":577},{},[578,583],{"type":53,"tag":529,"props":579,"children":580},{},[581],{"type":59,"value":582},"Info",{"type":53,"tag":529,"props":584,"children":585},{},[586],{"type":59,"value":538},{"type":53,"tag":202,"props":588,"children":591},{"className":589,"code":590,"language":59},[205],"\nWrite the final report to `scv-scan.md`.\n\n## Severity Guidelines\n\n- **Critical**: Direct loss of funds, unauthorized fund extraction, permanent freezing of funds\n- **High**: Conditional fund loss, access control bypass, state corruption exploitable under realistic conditions\n- **Medium**: Unlikely fund loss, griefing attacks, DoS on non-critical paths, value leak under edge conditions\n- **Low**: Best practice violations, gas inefficiency, code quality issues with no direct exploit path\n- **Informational**: Unused variables, style issues, documentation gaps\n\n## Key Principles\n\n- **Cheatsheet first, references on-demand.** Never read all full reference files upfront. The cheatsheet gives you ambient awareness; full references are for validation only.\n- **Semantic > syntactic.** The hardest bugs don't grep. Cross-function reentrancy, missing access control, incorrect inheritance — these require reading and reasoning, not pattern matching.\n- **Trace across boundaries.** Follow state across function calls, contract calls, and inheritance chains. Hidden external calls (safe mint\u002Ftransfer hooks, ERC-777 callbacks) are as dangerous as explicit `.call()`.\n- **One location, multiple bugs.** A single line can be vulnerable to reentrancy AND unchecked return value. Check all applicable references.\n- **Version matters.** Always check `pragma solidity` — many vulnerabilities are version-dependent (e.g., overflow is checked by default in >=0.8.0).\n- **False positives are noise.** Be rigorous about checking false positive conditions. A shorter report with high-confidence findings is more valuable than a long one padded with maybes.\n",[592],{"type":53,"tag":143,"props":593,"children":594},{"__ignoreMap":210},[595],{"type":59,"value":590},{"items":597,"total":749},[598,617,627,645,656,669,681,691,704,715,727,738],{"slug":599,"name":599,"fn":600,"description":601,"org":602,"tags":603,"stars":614,"repoUrl":615,"updatedAt":616},"address-sanitizer","detect memory errors during fuzzing","AddressSanitizer detects memory errors during fuzzing. Use when fuzzing C\u002FC++ code to find buffer overflows and use-after-free bugs.\n",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[604,607,610,611],{"name":605,"slug":606,"type":16},"C#","c",{"name":608,"slug":609,"type":16},"Debugging","debugging",{"name":14,"slug":15,"type":16},{"name":612,"slug":613,"type":16},"Testing","testing",6139,"https:\u002F\u002Fgithub.com\u002Ftrailofbits\u002Fskills","2026-07-17T06:05:14.925095",{"slug":618,"name":618,"fn":619,"description":620,"org":621,"tags":622,"stars":614,"repoUrl":615,"updatedAt":626},"aflpp","perform multi-core fuzzing of C\u002FC++ projects","AFL++ is a fork of AFL with better fuzzing performance and advanced features. Use for multi-core fuzzing of C\u002FC++ projects.\n",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[623,624,625],{"name":605,"slug":606,"type":16},{"name":14,"slug":15,"type":16},{"name":612,"slug":613,"type":16},"2026-07-17T06:05:12.433192",{"slug":628,"name":628,"fn":629,"description":630,"org":631,"tags":632,"stars":614,"repoUrl":615,"updatedAt":644},"agentic-actions-auditor","audit GitHub Actions for security vulnerabilities","Audits GitHub Actions workflows for security vulnerabilities in AI agent integrations including Claude Code Action, Gemini CLI, OpenAI Codex, and GitHub AI Inference. Detects attack vectors where attacker-controlled input reaches AI agents running in CI\u002FCD pipelines, including env var intermediary patterns, direct expression injection, dangerous sandbox configurations, and wildcard user allowlists. Use when reviewing workflow files that invoke AI coding agents, auditing CI\u002FCD pipeline security for prompt injection risks, or evaluating agentic action configurations.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[633,636,639,640,643],{"name":634,"slug":635,"type":16},"Agents","agents",{"name":637,"slug":638,"type":16},"CI\u002FCD","ci-cd",{"name":24,"slug":25,"type":16},{"name":641,"slug":642,"type":16},"GitHub Actions","github-actions",{"name":14,"slug":15,"type":16},"2026-07-18T05:47:48.564744",{"slug":646,"name":646,"fn":647,"description":648,"org":649,"tags":650,"stars":614,"repoUrl":615,"updatedAt":655},"algorand-vulnerability-scanner","scan Algorand smart contracts for vulnerabilities","Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked transaction fees, missing field validations, and access control issues. Use when auditing Algorand projects (TEAL\u002FPyTeal).",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[651,652,653,654],{"name":18,"slug":19,"type":16},{"name":24,"slug":25,"type":16},{"name":14,"slug":15,"type":16},{"name":21,"slug":22,"type":16},"2026-07-18T05:47:43.989063",{"slug":657,"name":657,"fn":658,"description":659,"org":660,"tags":661,"stars":614,"repoUrl":615,"updatedAt":668},"ask-questions-if-underspecified","clarify requirements before implementation","Clarify requirements before implementing. Use when serious doubts arise.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[662,665],{"name":663,"slug":664,"type":16},"Engineering","engineering",{"name":666,"slug":667,"type":16},"Productivity","productivity","2026-07-17T06:05:33.543262",{"slug":670,"name":670,"fn":671,"description":672,"org":673,"tags":674,"stars":614,"repoUrl":615,"updatedAt":680},"atheris","fuzz Python code with Atheris","Atheris is a coverage-guided Python fuzzer based on libFuzzer. Use for fuzzing pure Python code and Python C extensions.\n",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[675,678,679],{"name":676,"slug":677,"type":16},"Python","python",{"name":14,"slug":15,"type":16},{"name":612,"slug":613,"type":16},"2026-07-17T06:05:14.575191",{"slug":682,"name":682,"fn":683,"description":684,"org":685,"tags":686,"stars":614,"repoUrl":615,"updatedAt":690},"audit-augmentation","augment code graphs with audit findings","Augments Trailmark code graphs with external audit findings from SARIF static analysis results, weAudit annotation files, and version-gated Trailmark 0.4.x binary-analysis graph exports. Maps findings to graph nodes by file and line overlap, creates severity-based subgraphs, and enables cross-referencing findings with pre-analysis data (blast radius, taint, etc.). Use when projecting SARIF results onto a code graph, overlaying weAudit annotations, importing binary graph findings, cross-referencing Semgrep, CodeQL, or binary-analysis findings with call graph data, or visualizing audit findings in the context of code structure.\n",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[687,688,689],{"name":18,"slug":19,"type":16},{"name":24,"slug":25,"type":16},{"name":14,"slug":15,"type":16},"2026-08-01T05:44:54.920542",{"slug":692,"name":692,"fn":693,"description":694,"org":695,"tags":696,"stars":614,"repoUrl":615,"updatedAt":703},"audit-context-building","build architectural context for code analysis","Enables ultra-granular, line-by-line code analysis to build deep architectural context before vulnerability or bug finding.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[697,700,701,702],{"name":698,"slug":699,"type":16},"Architecture","architecture",{"name":18,"slug":19,"type":16},{"name":24,"slug":25,"type":16},{"name":663,"slug":664,"type":16},"2026-07-18T05:47:40.122449",{"slug":705,"name":705,"fn":706,"description":707,"org":708,"tags":709,"stars":614,"repoUrl":615,"updatedAt":714},"audit-prep-assistant","prepare codebases for security audits","Prepares codebases for security review using Trail of Bits' checklist. Helps set review goals, runs static analysis tools, increases test coverage, removes dead code, ensures accessibility, and generates documentation (flowcharts, user stories, inline comments).",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[710,711,712,713],{"name":18,"slug":19,"type":16},{"name":24,"slug":25,"type":16},{"name":663,"slug":664,"type":16},{"name":14,"slug":15,"type":16},"2026-07-18T05:47:39.210985",{"slug":716,"name":716,"fn":717,"description":718,"org":719,"tags":720,"stars":614,"repoUrl":615,"updatedAt":726},"burpsuite-project-parser","parse Burp Suite project files","Searches and explores Burp Suite project files (.burp) from the command line. Use when searching response headers or bodies with regex patterns, extracting security audit findings, dumping proxy history or site map data, or analyzing HTTP traffic captured in a Burp project.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[721,722,725],{"name":18,"slug":19,"type":16},{"name":723,"slug":724,"type":16},"CLI","cli",{"name":14,"slug":15,"type":16},"2026-07-17T06:05:33.198077",{"slug":728,"name":728,"fn":729,"description":730,"org":731,"tags":732,"stars":614,"repoUrl":615,"updatedAt":737},"c-review","audit C and C++ code","Performs comprehensive C\u002FC++ security review for memory corruption, integer overflows, race conditions, and platform-specific vulnerabilities. Use when auditing native C\u002FC++ applications, reviewing daemons or services for memory safety, or hunting integer overflow \u002F use-after-free \u002F race conditions in userspace code.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[733,734,735,736],{"name":18,"slug":19,"type":16},{"name":605,"slug":606,"type":16},{"name":24,"slug":25,"type":16},{"name":14,"slug":15,"type":16},"2026-07-17T06:05:11.333374",{"slug":739,"name":739,"fn":740,"description":741,"org":742,"tags":743,"stars":614,"repoUrl":615,"updatedAt":748},"cairo-vulnerability-scanner","scan Cairo and StarkNet contracts for vulnerabilities","Scans Cairo\u002FStarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, L1-L2 messaging issues, address conversion problems, and signature replay. Use when auditing StarkNet projects.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[744,745,746,747],{"name":18,"slug":19,"type":16},{"name":24,"slug":25,"type":16},{"name":14,"slug":15,"type":16},{"name":21,"slug":22,"type":16},"2026-07-18T05:47:42.84568",111,{"items":751,"total":852},[752,762,772,791,803,819,833],{"slug":753,"name":753,"fn":754,"description":755,"org":756,"tags":757,"stars":29,"repoUrl":30,"updatedAt":761},"ffuf-web-fuzzing","perform web fuzzing with ffuf","Expert guidance for ffuf web fuzzing during authorized penetration testing. Covers directory discovery, subdomain enumeration, parameter fuzzing, authenticated fuzzing with raw requests, auto-calibration, and result analysis. Use when running ffuf scans, analyzing ffuf output, or building fuzzing strategies for web targets.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[758,759,760],{"name":24,"slug":25,"type":16},{"name":14,"slug":15,"type":16},{"name":612,"slug":613,"type":16},"2026-07-17T06:05:08.247908",{"slug":763,"name":763,"fn":764,"description":765,"org":766,"tags":767,"stars":29,"repoUrl":30,"updatedAt":771},"ghidra-headless","reverse engineer binaries with Ghidra","Reverse engineers binaries using Ghidra's headless analyzer. Use when decompiling executables, extracting functions, strings, symbols, or analyzing call graphs from compiled binaries without the Ghidra GUI.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[768,769,770],{"name":24,"slug":25,"type":16},{"name":608,"slug":609,"type":16},{"name":14,"slug":15,"type":16},"2026-07-18T05:47:30.015093",{"slug":773,"name":773,"fn":774,"description":775,"org":776,"tags":777,"stars":29,"repoUrl":30,"updatedAt":790},"grilling","stress-test plans and decisions","Interviews the user relentlessly about a plan, decision, or idea until every branch of the decision tree is resolved. Use when the user wants to stress-test their thinking, sharpen a plan or design before acting, or uses any 'grill' trigger phrase (e.g. \"grill me on this\").",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[778,781,784,787],{"name":779,"slug":780,"type":16},"Analysis","analysis",{"name":782,"slug":783,"type":16},"Coaching","coaching",{"name":785,"slug":786,"type":16},"Ideation","ideation",{"name":788,"slug":789,"type":16},"Strategy","strategy","2026-07-18T05:48:12.46583",{"slug":792,"name":792,"fn":793,"description":794,"org":795,"tags":796,"stars":29,"repoUrl":30,"updatedAt":802},"handoff","compact conversation for session handoff","Compacts the current conversation into a handoff document so a fresh agent can continue the work in a new session.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[797,798,801],{"name":634,"slug":635,"type":16},{"name":799,"slug":800,"type":16},"Context","context",{"name":666,"slug":667,"type":16},"2026-07-18T05:47:03.196098",{"slug":804,"name":804,"fn":805,"description":806,"org":807,"tags":808,"stars":29,"repoUrl":30,"updatedAt":818},"humanizer","edit text to sound human-written","Remove signs of AI-generated writing from text. Use when editing or reviewing\ntext to make it sound more natural and human-written. Based on Wikipedia's\ncomprehensive \"Signs of AI writing\" guide. Detects and fixes patterns including:\ninflated symbolism, promotional language, superficial -ing analyses, vague\nattributions, em dash overuse, rule of three, AI vocabulary words, negative\nparallelisms, and excessive conjunctive phrases. 30c5c8d (Update humanizer plugin to upstream v2.2.0)\n",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[809,812,815],{"name":810,"slug":811,"type":16},"Content Creation","content-creation",{"name":813,"slug":814,"type":16},"Editing","editing",{"name":816,"slug":817,"type":16},"Writing","writing","2026-07-18T05:47:18.1749",{"slug":820,"name":820,"fn":821,"description":822,"org":823,"tags":824,"stars":29,"repoUrl":30,"updatedAt":832},"last30days","research recent community discussions and trends","Researches a topic from the last 30 days on Reddit, X, and the web. Surfaces real community discussions with engagement metrics and synthesizes findings into actionable insights. Use when the user wants to know what people are saying about a topic right now.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[825,826,829],{"name":779,"slug":780,"type":16},{"name":827,"slug":828,"type":16},"Research","research",{"name":830,"slug":831,"type":16},"Social Media","social-media","2026-07-17T06:04:39.744471",{"slug":834,"name":834,"fn":835,"description":836,"org":837,"tags":838,"stars":29,"repoUrl":30,"updatedAt":851},"openai-cloudflare-deploy","deploy applications to Cloudflare","Deploy applications and infrastructure to Cloudflare using Workers, Pages, and related platform services. Use when the user asks to deploy, host, publish, or set up a project on Cloudflare. Originally from OpenAI's curated skills catalog.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[839,842,845,848],{"name":840,"slug":841,"type":16},"Cloudflare","cloudflare",{"name":843,"slug":844,"type":16},"Cloudflare Pages","cloudflare-pages",{"name":846,"slug":847,"type":16},"Cloudflare Workers","cloudflare-workers",{"name":849,"slug":850,"type":16},"Deployment","deployment","2026-07-17T06:04:46.574433",31]