[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill-trail-of-bits-secure-workflow-guide":3,"mdc--qyrgi4-key":38,"related-repo-trail-of-bits-secure-workflow-guide":1036,"related-org-trail-of-bits-secure-workflow-guide":1132},{"slug":4,"name":4,"fn":5,"description":6,"org":7,"tags":12,"stars":26,"repoUrl":27,"updatedAt":28,"license":29,"forks":30,"topics":31,"repo":33,"sourceUrl":36,"mdContent":37},"secure-workflow-guide","guide secure blockchain development workflows","Guides through Trail of Bits' 5-step secure development workflow. Runs Slither scans, checks special features (upgradeability\u002FERC conformance\u002Ftoken integration), generates visual security diagrams, helps document security properties for fuzzing\u002Fverification, and reviews manual security areas.",{"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],{"name":14,"slug":15,"type":16},"Security","security","tag",{"name":18,"slug":19,"type":16},"Best Practices","best-practices",{"name":21,"slug":22,"type":16},"Engineering","engineering",{"name":24,"slug":25,"type":16},"Smart Contracts","smart-contracts",6139,"https:\u002F\u002Fgithub.com\u002Ftrailofbits\u002Fskills","2026-07-18T05:47:43.295835",null,541,[32],"agent-skills",{"repoUrl":27,"stars":26,"forks":30,"topics":34,"description":35},[32],"Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows","https:\u002F\u002Fgithub.com\u002Ftrailofbits\u002Fskills\u002Ftree\u002FHEAD\u002Fplugins\u002Fbuilding-secure-contracts\u002Fskills\u002Fsecure-workflow-guide","---\nname: secure-workflow-guide\ndescription: Guides through Trail of Bits' 5-step secure development workflow. Runs Slither scans, checks special features (upgradeability\u002FERC conformance\u002Ftoken integration), generates visual security diagrams, helps document security properties for fuzzing\u002Fverification, and reviews manual security areas.\n---\n\n# Secure Workflow Guide\n\n## Purpose\n\nGuides through Trail of Bits' secure development workflow - a 5-step process to enhance smart contract security throughout development.\n\n**Use this**: On every check-in, before deployment, or when you want a security review\n\n---\n\n## The 5-Step Workflow\n\nCovers a security workflow including:\n\n### Step 1: Check for Known Security Issues\nRun Slither with 70+ built-in detectors to find common vulnerabilities:\n- Parse findings by severity\n- Explain each issue with file references\n- Recommend fixes\n- Help triage false positives\n\n**Goal**: Clean Slither report or documented triages\n\n### Step 2: Check Special Features\nDetect and validate applicable features:\n- **Upgradeability**: slither-check-upgradeability (17 upgrade risks)\n- **ERC conformance**: slither-check-erc (6 common specs)\n- **Token integration**: Recommend token-integration-analyzer skill\n- **Security properties**: slither-prop for ERC20\n\n**Note**: Only runs checks that apply to your codebase\n\n### Step 3: Visual Security Inspection\nGenerate 3 security diagrams:\n- **Inheritance graph**: Identify shadowing and C3 linearization issues\n- **Function summary**: Show visibility and access controls\n- **Variables and authorization**: Map who can write to state variables\n\nReview each diagram for security concerns\n\n### Step 4: Document Security Properties\nHelp document critical security properties:\n- State machine transitions and invariants\n- Access control requirements\n- Arithmetic constraints and precision\n- External interaction safety\n- Standards conformance\n\nThen set up testing:\n- **Echidna**: Property-based fuzzing with invariants\n- **Manticore**: Formal verification with symbolic execution\n- **Custom Slither checks**: Project-specific business logic\n\n**Note**: Most important activity for security\n\n### Step 5: Manual Review Areas\nAnalyze areas automated tools miss:\n- **Privacy**: On-chain secrets, commit-reveal needs\n- **Front-running**: Slippage protection, ordering risks, MEV\n- **Cryptography**: Weak randomness, signature issues, hash collisions\n- **DeFi interactions**: Oracle manipulation, flash loans, protocol assumptions\n\nSearch codebase for these patterns and flag risks\n\nFor detailed instructions, commands, and explanations for each step, see [WORKFLOW_STEPS.md](resources\u002FWORKFLOW_STEPS.md).\n\n---\n\n## How I Work\n\nWhen invoked, I will:\n\n1. **Explore your codebase** to understand structure\n2. **Run Step 1**: Slither security scan\n3. **Detect and run Step 2**: Special feature checks (only what applies)\n4. **Generate Step 3**: Visual security diagrams\n5. **Guide Step 4**: Security property documentation\n6. **Analyze Step 5**: Manual review areas\n7. **Provide action plan**: Prioritized fixes and next steps\n\nAdapts based on:\n- What tools you have installed\n- What's applicable to your project\n- Where you are in development\n\n---\n\n## Rationalizations (Do Not Skip)\n\n| Rationalization | Why It's Wrong | Required Action |\n|-----------------|----------------|-----------------|\n| \"Slither not available, I'll check manually\" | Manual checking misses 70+ detector patterns | Install and run Slither, or document why it's blocked |\n| \"Can't generate diagrams, I'll describe the architecture\" | Descriptions aren't visual - diagrams reveal patterns text misses | Execute slither --print commands, generate actual visual outputs |\n| \"No upgrades detected, skip upgradeability checks\" | Proxies and upgrades are often implicit or planned | Verify with codebase search before skipping Step 2 checks |\n| \"Not a token, skip ERC checks\" | Tokens can be integrated without obvious ERC inheritance | Check for token interactions, transfers, balances before skipping |\n| \"Can't set up Echidna now, suggesting it for later\" | Property-based testing is Step 4, not optional | Document properties now, set up fuzzing infrastructure |\n| \"No DeFi interactions, skip oracle\u002Fflash loan checks\" | DeFi patterns appear in unexpected places (price feeds, external calls) | Complete Step 5 manual review, search codebase for patterns |\n| \"This step doesn't apply to my project\" | \"Not applicable\" without verification = missed vulnerabilities | Verify with explicit codebase search before declaring N\u002FA |\n| \"I'll provide generic security advice instead of running workflow\" | Generic advice isn't actionable, workflow finds specific issues | Execute all 5 steps, generate project-specific findings with file:line references |\n\n---\n\n## Example Output\n\nWhen I complete the workflow, you'll get a comprehensive security report covering:\n\n- **Step 1**: Slither findings with severity, file references, and fix recommendations\n- **Step 2**: Special feature validation results (upgradeability, ERC conformance, etc.)\n- **Step 3**: Visual diagrams analyzing inheritance, functions, and state variable authorization\n- **Step 4**: Documented security properties and testing setup (Echidna\u002FManticore)\n- **Step 5**: Manual review findings (privacy, front-running, cryptography, DeFi risks)\n- **Action plan**: Critical\u002Fhigh\u002Fmedium priority tasks with effort estimates\n- **Workflow checklist**: Progress on all 5 steps\n\nFor a complete example workflow report, see [EXAMPLE_REPORT.md](resources\u002FEXAMPLE_REPORT.md).\n\n---\n\n## What You'll Get\n\n**Security Report**:\n- Slither findings with severity and fixes\n- Special feature validation results\n- Visual diagrams (PNG\u002FPDF)\n- Manual review findings\n\n**Action Plan**:\n- [ ] Critical issues to fix immediately\n- [ ] Security properties to document\n- [ ] Testing to set up (Echidna\u002FManticore)\n- [ ] Manual areas to review\n\n**Workflow Checklist**:\n- [ ] Clean Slither report\n- [ ] Special features validated\n- [ ] Visual inspection complete\n- [ ] Properties documented\n- [ ] Manual review done\n\n---\n\n## Getting Help\n\n**Trail of Bits Resources**:\n- Office Hours: Every Tuesday ([schedule](https:\u002F\u002Fmeetings.hubspot.com\u002Ftrailofbits\u002Foffice-hours))\n- Empire Hacking Slack: #crytic and #ethereum channels\n\n**Other Security**:\n- Remember: Security is about more than smart contracts\n- Off-chain security (owner keys, infrastructure) equally critical\n\n---\n\n## Ready to Start\n\nLet me know when you're ready and I'll run through the workflow with your codebase!\n",{"data":39,"body":40},{"name":4,"description":6},{"type":41,"children":42},"root",[43,51,58,64,75,79,85,90,97,102,127,137,143,148,191,201,207,212,245,250,256,261,289,294,327,336,342,347,390,395,409,412,418,423,497,502,520,523,529,706,709,715,720,793,805,808,814,824,847,856,901,910,959,962,968,977,1000,1009,1022,1025,1031],{"type":44,"tag":45,"props":46,"children":47},"element","h1",{"id":4},[48],{"type":49,"value":50},"text","Secure Workflow Guide",{"type":44,"tag":52,"props":53,"children":55},"h2",{"id":54},"purpose",[56],{"type":49,"value":57},"Purpose",{"type":44,"tag":59,"props":60,"children":61},"p",{},[62],{"type":49,"value":63},"Guides through Trail of Bits' secure development workflow - a 5-step process to enhance smart contract security throughout development.",{"type":44,"tag":59,"props":65,"children":66},{},[67,73],{"type":44,"tag":68,"props":69,"children":70},"strong",{},[71],{"type":49,"value":72},"Use this",{"type":49,"value":74},": On every check-in, before deployment, or when you want a security review",{"type":44,"tag":76,"props":77,"children":78},"hr",{},[],{"type":44,"tag":52,"props":80,"children":82},{"id":81},"the-5-step-workflow",[83],{"type":49,"value":84},"The 5-Step Workflow",{"type":44,"tag":59,"props":86,"children":87},{},[88],{"type":49,"value":89},"Covers a security workflow including:",{"type":44,"tag":91,"props":92,"children":94},"h3",{"id":93},"step-1-check-for-known-security-issues",[95],{"type":49,"value":96},"Step 1: Check for Known Security Issues",{"type":44,"tag":59,"props":98,"children":99},{},[100],{"type":49,"value":101},"Run Slither with 70+ built-in detectors to find common vulnerabilities:",{"type":44,"tag":103,"props":104,"children":105},"ul",{},[106,112,117,122],{"type":44,"tag":107,"props":108,"children":109},"li",{},[110],{"type":49,"value":111},"Parse findings by severity",{"type":44,"tag":107,"props":113,"children":114},{},[115],{"type":49,"value":116},"Explain each issue with file references",{"type":44,"tag":107,"props":118,"children":119},{},[120],{"type":49,"value":121},"Recommend fixes",{"type":44,"tag":107,"props":123,"children":124},{},[125],{"type":49,"value":126},"Help triage false positives",{"type":44,"tag":59,"props":128,"children":129},{},[130,135],{"type":44,"tag":68,"props":131,"children":132},{},[133],{"type":49,"value":134},"Goal",{"type":49,"value":136},": Clean Slither report or documented triages",{"type":44,"tag":91,"props":138,"children":140},{"id":139},"step-2-check-special-features",[141],{"type":49,"value":142},"Step 2: Check Special Features",{"type":44,"tag":59,"props":144,"children":145},{},[146],{"type":49,"value":147},"Detect and validate applicable features:",{"type":44,"tag":103,"props":149,"children":150},{},[151,161,171,181],{"type":44,"tag":107,"props":152,"children":153},{},[154,159],{"type":44,"tag":68,"props":155,"children":156},{},[157],{"type":49,"value":158},"Upgradeability",{"type":49,"value":160},": slither-check-upgradeability (17 upgrade risks)",{"type":44,"tag":107,"props":162,"children":163},{},[164,169],{"type":44,"tag":68,"props":165,"children":166},{},[167],{"type":49,"value":168},"ERC conformance",{"type":49,"value":170},": slither-check-erc (6 common specs)",{"type":44,"tag":107,"props":172,"children":173},{},[174,179],{"type":44,"tag":68,"props":175,"children":176},{},[177],{"type":49,"value":178},"Token integration",{"type":49,"value":180},": Recommend token-integration-analyzer skill",{"type":44,"tag":107,"props":182,"children":183},{},[184,189],{"type":44,"tag":68,"props":185,"children":186},{},[187],{"type":49,"value":188},"Security properties",{"type":49,"value":190},": slither-prop for ERC20",{"type":44,"tag":59,"props":192,"children":193},{},[194,199],{"type":44,"tag":68,"props":195,"children":196},{},[197],{"type":49,"value":198},"Note",{"type":49,"value":200},": Only runs checks that apply to your codebase",{"type":44,"tag":91,"props":202,"children":204},{"id":203},"step-3-visual-security-inspection",[205],{"type":49,"value":206},"Step 3: Visual Security Inspection",{"type":44,"tag":59,"props":208,"children":209},{},[210],{"type":49,"value":211},"Generate 3 security diagrams:",{"type":44,"tag":103,"props":213,"children":214},{},[215,225,235],{"type":44,"tag":107,"props":216,"children":217},{},[218,223],{"type":44,"tag":68,"props":219,"children":220},{},[221],{"type":49,"value":222},"Inheritance graph",{"type":49,"value":224},": Identify shadowing and C3 linearization issues",{"type":44,"tag":107,"props":226,"children":227},{},[228,233],{"type":44,"tag":68,"props":229,"children":230},{},[231],{"type":49,"value":232},"Function summary",{"type":49,"value":234},": Show visibility and access controls",{"type":44,"tag":107,"props":236,"children":237},{},[238,243],{"type":44,"tag":68,"props":239,"children":240},{},[241],{"type":49,"value":242},"Variables and authorization",{"type":49,"value":244},": Map who can write to state variables",{"type":44,"tag":59,"props":246,"children":247},{},[248],{"type":49,"value":249},"Review each diagram for security concerns",{"type":44,"tag":91,"props":251,"children":253},{"id":252},"step-4-document-security-properties",[254],{"type":49,"value":255},"Step 4: Document Security Properties",{"type":44,"tag":59,"props":257,"children":258},{},[259],{"type":49,"value":260},"Help document critical security properties:",{"type":44,"tag":103,"props":262,"children":263},{},[264,269,274,279,284],{"type":44,"tag":107,"props":265,"children":266},{},[267],{"type":49,"value":268},"State machine transitions and invariants",{"type":44,"tag":107,"props":270,"children":271},{},[272],{"type":49,"value":273},"Access control requirements",{"type":44,"tag":107,"props":275,"children":276},{},[277],{"type":49,"value":278},"Arithmetic constraints and precision",{"type":44,"tag":107,"props":280,"children":281},{},[282],{"type":49,"value":283},"External interaction safety",{"type":44,"tag":107,"props":285,"children":286},{},[287],{"type":49,"value":288},"Standards conformance",{"type":44,"tag":59,"props":290,"children":291},{},[292],{"type":49,"value":293},"Then set up testing:",{"type":44,"tag":103,"props":295,"children":296},{},[297,307,317],{"type":44,"tag":107,"props":298,"children":299},{},[300,305],{"type":44,"tag":68,"props":301,"children":302},{},[303],{"type":49,"value":304},"Echidna",{"type":49,"value":306},": Property-based fuzzing with invariants",{"type":44,"tag":107,"props":308,"children":309},{},[310,315],{"type":44,"tag":68,"props":311,"children":312},{},[313],{"type":49,"value":314},"Manticore",{"type":49,"value":316},": Formal verification with symbolic execution",{"type":44,"tag":107,"props":318,"children":319},{},[320,325],{"type":44,"tag":68,"props":321,"children":322},{},[323],{"type":49,"value":324},"Custom Slither checks",{"type":49,"value":326},": Project-specific business logic",{"type":44,"tag":59,"props":328,"children":329},{},[330,334],{"type":44,"tag":68,"props":331,"children":332},{},[333],{"type":49,"value":198},{"type":49,"value":335},": Most important activity for security",{"type":44,"tag":91,"props":337,"children":339},{"id":338},"step-5-manual-review-areas",[340],{"type":49,"value":341},"Step 5: Manual Review Areas",{"type":44,"tag":59,"props":343,"children":344},{},[345],{"type":49,"value":346},"Analyze areas automated tools miss:",{"type":44,"tag":103,"props":348,"children":349},{},[350,360,370,380],{"type":44,"tag":107,"props":351,"children":352},{},[353,358],{"type":44,"tag":68,"props":354,"children":355},{},[356],{"type":49,"value":357},"Privacy",{"type":49,"value":359},": On-chain secrets, commit-reveal needs",{"type":44,"tag":107,"props":361,"children":362},{},[363,368],{"type":44,"tag":68,"props":364,"children":365},{},[366],{"type":49,"value":367},"Front-running",{"type":49,"value":369},": Slippage protection, ordering risks, MEV",{"type":44,"tag":107,"props":371,"children":372},{},[373,378],{"type":44,"tag":68,"props":374,"children":375},{},[376],{"type":49,"value":377},"Cryptography",{"type":49,"value":379},": Weak randomness, signature issues, hash collisions",{"type":44,"tag":107,"props":381,"children":382},{},[383,388],{"type":44,"tag":68,"props":384,"children":385},{},[386],{"type":49,"value":387},"DeFi interactions",{"type":49,"value":389},": Oracle manipulation, flash loans, protocol assumptions",{"type":44,"tag":59,"props":391,"children":392},{},[393],{"type":49,"value":394},"Search codebase for these patterns and flag risks",{"type":44,"tag":59,"props":396,"children":397},{},[398,400,407],{"type":49,"value":399},"For detailed instructions, commands, and explanations for each step, see ",{"type":44,"tag":401,"props":402,"children":404},"a",{"href":403},"resources\u002FWORKFLOW_STEPS.md",[405],{"type":49,"value":406},"WORKFLOW_STEPS.md",{"type":49,"value":408},".",{"type":44,"tag":76,"props":410,"children":411},{},[],{"type":44,"tag":52,"props":413,"children":415},{"id":414},"how-i-work",[416],{"type":49,"value":417},"How I Work",{"type":44,"tag":59,"props":419,"children":420},{},[421],{"type":49,"value":422},"When invoked, I will:",{"type":44,"tag":424,"props":425,"children":426},"ol",{},[427,437,447,457,467,477,487],{"type":44,"tag":107,"props":428,"children":429},{},[430,435],{"type":44,"tag":68,"props":431,"children":432},{},[433],{"type":49,"value":434},"Explore your codebase",{"type":49,"value":436}," to understand structure",{"type":44,"tag":107,"props":438,"children":439},{},[440,445],{"type":44,"tag":68,"props":441,"children":442},{},[443],{"type":49,"value":444},"Run Step 1",{"type":49,"value":446},": Slither security scan",{"type":44,"tag":107,"props":448,"children":449},{},[450,455],{"type":44,"tag":68,"props":451,"children":452},{},[453],{"type":49,"value":454},"Detect and run Step 2",{"type":49,"value":456},": Special feature checks (only what applies)",{"type":44,"tag":107,"props":458,"children":459},{},[460,465],{"type":44,"tag":68,"props":461,"children":462},{},[463],{"type":49,"value":464},"Generate Step 3",{"type":49,"value":466},": Visual security diagrams",{"type":44,"tag":107,"props":468,"children":469},{},[470,475],{"type":44,"tag":68,"props":471,"children":472},{},[473],{"type":49,"value":474},"Guide Step 4",{"type":49,"value":476},": Security property documentation",{"type":44,"tag":107,"props":478,"children":479},{},[480,485],{"type":44,"tag":68,"props":481,"children":482},{},[483],{"type":49,"value":484},"Analyze Step 5",{"type":49,"value":486},": Manual review areas",{"type":44,"tag":107,"props":488,"children":489},{},[490,495],{"type":44,"tag":68,"props":491,"children":492},{},[493],{"type":49,"value":494},"Provide action plan",{"type":49,"value":496},": Prioritized fixes and next steps",{"type":44,"tag":59,"props":498,"children":499},{},[500],{"type":49,"value":501},"Adapts based on:",{"type":44,"tag":103,"props":503,"children":504},{},[505,510,515],{"type":44,"tag":107,"props":506,"children":507},{},[508],{"type":49,"value":509},"What tools you have installed",{"type":44,"tag":107,"props":511,"children":512},{},[513],{"type":49,"value":514},"What's applicable to your project",{"type":44,"tag":107,"props":516,"children":517},{},[518],{"type":49,"value":519},"Where you are in development",{"type":44,"tag":76,"props":521,"children":522},{},[],{"type":44,"tag":52,"props":524,"children":526},{"id":525},"rationalizations-do-not-skip",[527],{"type":49,"value":528},"Rationalizations (Do Not Skip)",{"type":44,"tag":530,"props":531,"children":532},"table",{},[533,557],{"type":44,"tag":534,"props":535,"children":536},"thead",{},[537],{"type":44,"tag":538,"props":539,"children":540},"tr",{},[541,547,552],{"type":44,"tag":542,"props":543,"children":544},"th",{},[545],{"type":49,"value":546},"Rationalization",{"type":44,"tag":542,"props":548,"children":549},{},[550],{"type":49,"value":551},"Why It's Wrong",{"type":44,"tag":542,"props":553,"children":554},{},[555],{"type":49,"value":556},"Required Action",{"type":44,"tag":558,"props":559,"children":560},"tbody",{},[561,580,598,616,634,652,670,688],{"type":44,"tag":538,"props":562,"children":563},{},[564,570,575],{"type":44,"tag":565,"props":566,"children":567},"td",{},[568],{"type":49,"value":569},"\"Slither not available, I'll check manually\"",{"type":44,"tag":565,"props":571,"children":572},{},[573],{"type":49,"value":574},"Manual checking misses 70+ detector patterns",{"type":44,"tag":565,"props":576,"children":577},{},[578],{"type":49,"value":579},"Install and run Slither, or document why it's blocked",{"type":44,"tag":538,"props":581,"children":582},{},[583,588,593],{"type":44,"tag":565,"props":584,"children":585},{},[586],{"type":49,"value":587},"\"Can't generate diagrams, I'll describe the architecture\"",{"type":44,"tag":565,"props":589,"children":590},{},[591],{"type":49,"value":592},"Descriptions aren't visual - diagrams reveal patterns text misses",{"type":44,"tag":565,"props":594,"children":595},{},[596],{"type":49,"value":597},"Execute slither --print commands, generate actual visual outputs",{"type":44,"tag":538,"props":599,"children":600},{},[601,606,611],{"type":44,"tag":565,"props":602,"children":603},{},[604],{"type":49,"value":605},"\"No upgrades detected, skip upgradeability checks\"",{"type":44,"tag":565,"props":607,"children":608},{},[609],{"type":49,"value":610},"Proxies and upgrades are often implicit or planned",{"type":44,"tag":565,"props":612,"children":613},{},[614],{"type":49,"value":615},"Verify with codebase search before skipping Step 2 checks",{"type":44,"tag":538,"props":617,"children":618},{},[619,624,629],{"type":44,"tag":565,"props":620,"children":621},{},[622],{"type":49,"value":623},"\"Not a token, skip ERC checks\"",{"type":44,"tag":565,"props":625,"children":626},{},[627],{"type":49,"value":628},"Tokens can be integrated without obvious ERC inheritance",{"type":44,"tag":565,"props":630,"children":631},{},[632],{"type":49,"value":633},"Check for token interactions, transfers, balances before skipping",{"type":44,"tag":538,"props":635,"children":636},{},[637,642,647],{"type":44,"tag":565,"props":638,"children":639},{},[640],{"type":49,"value":641},"\"Can't set up Echidna now, suggesting it for later\"",{"type":44,"tag":565,"props":643,"children":644},{},[645],{"type":49,"value":646},"Property-based testing is Step 4, not optional",{"type":44,"tag":565,"props":648,"children":649},{},[650],{"type":49,"value":651},"Document properties now, set up fuzzing infrastructure",{"type":44,"tag":538,"props":653,"children":654},{},[655,660,665],{"type":44,"tag":565,"props":656,"children":657},{},[658],{"type":49,"value":659},"\"No DeFi interactions, skip oracle\u002Fflash loan checks\"",{"type":44,"tag":565,"props":661,"children":662},{},[663],{"type":49,"value":664},"DeFi patterns appear in unexpected places (price feeds, external calls)",{"type":44,"tag":565,"props":666,"children":667},{},[668],{"type":49,"value":669},"Complete Step 5 manual review, search codebase for patterns",{"type":44,"tag":538,"props":671,"children":672},{},[673,678,683],{"type":44,"tag":565,"props":674,"children":675},{},[676],{"type":49,"value":677},"\"This step doesn't apply to my project\"",{"type":44,"tag":565,"props":679,"children":680},{},[681],{"type":49,"value":682},"\"Not applicable\" without verification = missed vulnerabilities",{"type":44,"tag":565,"props":684,"children":685},{},[686],{"type":49,"value":687},"Verify with explicit codebase search before declaring N\u002FA",{"type":44,"tag":538,"props":689,"children":690},{},[691,696,701],{"type":44,"tag":565,"props":692,"children":693},{},[694],{"type":49,"value":695},"\"I'll provide generic security advice instead of running workflow\"",{"type":44,"tag":565,"props":697,"children":698},{},[699],{"type":49,"value":700},"Generic advice isn't actionable, workflow finds specific issues",{"type":44,"tag":565,"props":702,"children":703},{},[704],{"type":49,"value":705},"Execute all 5 steps, generate project-specific findings with file:line references",{"type":44,"tag":76,"props":707,"children":708},{},[],{"type":44,"tag":52,"props":710,"children":712},{"id":711},"example-output",[713],{"type":49,"value":714},"Example Output",{"type":44,"tag":59,"props":716,"children":717},{},[718],{"type":49,"value":719},"When I complete the workflow, you'll get a comprehensive security report covering:",{"type":44,"tag":103,"props":721,"children":722},{},[723,733,743,753,763,773,783],{"type":44,"tag":107,"props":724,"children":725},{},[726,731],{"type":44,"tag":68,"props":727,"children":728},{},[729],{"type":49,"value":730},"Step 1",{"type":49,"value":732},": Slither findings with severity, file references, and fix recommendations",{"type":44,"tag":107,"props":734,"children":735},{},[736,741],{"type":44,"tag":68,"props":737,"children":738},{},[739],{"type":49,"value":740},"Step 2",{"type":49,"value":742},": Special feature validation results (upgradeability, ERC conformance, etc.)",{"type":44,"tag":107,"props":744,"children":745},{},[746,751],{"type":44,"tag":68,"props":747,"children":748},{},[749],{"type":49,"value":750},"Step 3",{"type":49,"value":752},": Visual diagrams analyzing inheritance, functions, and state variable authorization",{"type":44,"tag":107,"props":754,"children":755},{},[756,761],{"type":44,"tag":68,"props":757,"children":758},{},[759],{"type":49,"value":760},"Step 4",{"type":49,"value":762},": Documented security properties and testing setup (Echidna\u002FManticore)",{"type":44,"tag":107,"props":764,"children":765},{},[766,771],{"type":44,"tag":68,"props":767,"children":768},{},[769],{"type":49,"value":770},"Step 5",{"type":49,"value":772},": Manual review findings (privacy, front-running, cryptography, DeFi risks)",{"type":44,"tag":107,"props":774,"children":775},{},[776,781],{"type":44,"tag":68,"props":777,"children":778},{},[779],{"type":49,"value":780},"Action plan",{"type":49,"value":782},": Critical\u002Fhigh\u002Fmedium priority tasks with effort estimates",{"type":44,"tag":107,"props":784,"children":785},{},[786,791],{"type":44,"tag":68,"props":787,"children":788},{},[789],{"type":49,"value":790},"Workflow checklist",{"type":49,"value":792},": Progress on all 5 steps",{"type":44,"tag":59,"props":794,"children":795},{},[796,798,804],{"type":49,"value":797},"For a complete example workflow report, see ",{"type":44,"tag":401,"props":799,"children":801},{"href":800},"resources\u002FEXAMPLE_REPORT.md",[802],{"type":49,"value":803},"EXAMPLE_REPORT.md",{"type":49,"value":408},{"type":44,"tag":76,"props":806,"children":807},{},[],{"type":44,"tag":52,"props":809,"children":811},{"id":810},"what-youll-get",[812],{"type":49,"value":813},"What You'll Get",{"type":44,"tag":59,"props":815,"children":816},{},[817,822],{"type":44,"tag":68,"props":818,"children":819},{},[820],{"type":49,"value":821},"Security Report",{"type":49,"value":823},":",{"type":44,"tag":103,"props":825,"children":826},{},[827,832,837,842],{"type":44,"tag":107,"props":828,"children":829},{},[830],{"type":49,"value":831},"Slither findings with severity and fixes",{"type":44,"tag":107,"props":833,"children":834},{},[835],{"type":49,"value":836},"Special feature validation results",{"type":44,"tag":107,"props":838,"children":839},{},[840],{"type":49,"value":841},"Visual diagrams (PNG\u002FPDF)",{"type":44,"tag":107,"props":843,"children":844},{},[845],{"type":49,"value":846},"Manual review findings",{"type":44,"tag":59,"props":848,"children":849},{},[850,855],{"type":44,"tag":68,"props":851,"children":852},{},[853],{"type":49,"value":854},"Action Plan",{"type":49,"value":823},{"type":44,"tag":103,"props":857,"children":860},{"className":858},[859],"contains-task-list",[861,874,883,892],{"type":44,"tag":107,"props":862,"children":865},{"className":863},[864],"task-list-item",[866,872],{"type":44,"tag":867,"props":868,"children":871},"input",{"disabled":869,"type":870},true,"checkbox",[],{"type":49,"value":873}," Critical issues to fix immediately",{"type":44,"tag":107,"props":875,"children":877},{"className":876},[864],[878,881],{"type":44,"tag":867,"props":879,"children":880},{"disabled":869,"type":870},[],{"type":49,"value":882}," Security properties to document",{"type":44,"tag":107,"props":884,"children":886},{"className":885},[864],[887,890],{"type":44,"tag":867,"props":888,"children":889},{"disabled":869,"type":870},[],{"type":49,"value":891}," Testing to set up (Echidna\u002FManticore)",{"type":44,"tag":107,"props":893,"children":895},{"className":894},[864],[896,899],{"type":44,"tag":867,"props":897,"children":898},{"disabled":869,"type":870},[],{"type":49,"value":900}," Manual areas to review",{"type":44,"tag":59,"props":902,"children":903},{},[904,909],{"type":44,"tag":68,"props":905,"children":906},{},[907],{"type":49,"value":908},"Workflow Checklist",{"type":49,"value":823},{"type":44,"tag":103,"props":911,"children":913},{"className":912},[859],[914,923,932,941,950],{"type":44,"tag":107,"props":915,"children":917},{"className":916},[864],[918,921],{"type":44,"tag":867,"props":919,"children":920},{"disabled":869,"type":870},[],{"type":49,"value":922}," Clean Slither report",{"type":44,"tag":107,"props":924,"children":926},{"className":925},[864],[927,930],{"type":44,"tag":867,"props":928,"children":929},{"disabled":869,"type":870},[],{"type":49,"value":931}," Special features validated",{"type":44,"tag":107,"props":933,"children":935},{"className":934},[864],[936,939],{"type":44,"tag":867,"props":937,"children":938},{"disabled":869,"type":870},[],{"type":49,"value":940}," Visual inspection complete",{"type":44,"tag":107,"props":942,"children":944},{"className":943},[864],[945,948],{"type":44,"tag":867,"props":946,"children":947},{"disabled":869,"type":870},[],{"type":49,"value":949}," Properties documented",{"type":44,"tag":107,"props":951,"children":953},{"className":952},[864],[954,957],{"type":44,"tag":867,"props":955,"children":956},{"disabled":869,"type":870},[],{"type":49,"value":958}," Manual review done",{"type":44,"tag":76,"props":960,"children":961},{},[],{"type":44,"tag":52,"props":963,"children":965},{"id":964},"getting-help",[966],{"type":49,"value":967},"Getting Help",{"type":44,"tag":59,"props":969,"children":970},{},[971,976],{"type":44,"tag":68,"props":972,"children":973},{},[974],{"type":49,"value":975},"Trail of Bits Resources",{"type":49,"value":823},{"type":44,"tag":103,"props":978,"children":979},{},[980,995],{"type":44,"tag":107,"props":981,"children":982},{},[983,985,993],{"type":49,"value":984},"Office Hours: Every Tuesday (",{"type":44,"tag":401,"props":986,"children":990},{"href":987,"rel":988},"https:\u002F\u002Fmeetings.hubspot.com\u002Ftrailofbits\u002Foffice-hours",[989],"nofollow",[991],{"type":49,"value":992},"schedule",{"type":49,"value":994},")",{"type":44,"tag":107,"props":996,"children":997},{},[998],{"type":49,"value":999},"Empire Hacking Slack: #crytic and #ethereum channels",{"type":44,"tag":59,"props":1001,"children":1002},{},[1003,1008],{"type":44,"tag":68,"props":1004,"children":1005},{},[1006],{"type":49,"value":1007},"Other Security",{"type":49,"value":823},{"type":44,"tag":103,"props":1010,"children":1011},{},[1012,1017],{"type":44,"tag":107,"props":1013,"children":1014},{},[1015],{"type":49,"value":1016},"Remember: Security is about more than smart contracts",{"type":44,"tag":107,"props":1018,"children":1019},{},[1020],{"type":49,"value":1021},"Off-chain security (owner keys, infrastructure) equally critical",{"type":44,"tag":76,"props":1023,"children":1024},{},[],{"type":44,"tag":52,"props":1026,"children":1028},{"id":1027},"ready-to-start",[1029],{"type":49,"value":1030},"Ready to Start",{"type":44,"tag":59,"props":1032,"children":1033},{},[1034],{"type":49,"value":1035},"Let me know when you're ready and I'll run through the workflow with your codebase!",{"items":1037,"total":1131},[1038,1055,1065,1085,1098,1109,1121],{"slug":1039,"name":1039,"fn":1040,"description":1041,"org":1042,"tags":1043,"stars":26,"repoUrl":27,"updatedAt":1054},"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},[1044,1047,1050,1051],{"name":1045,"slug":1046,"type":16},"C#","c",{"name":1048,"slug":1049,"type":16},"Debugging","debugging",{"name":14,"slug":15,"type":16},{"name":1052,"slug":1053,"type":16},"Testing","testing","2026-07-17T06:05:14.925095",{"slug":1056,"name":1056,"fn":1057,"description":1058,"org":1059,"tags":1060,"stars":26,"repoUrl":27,"updatedAt":1064},"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},[1061,1062,1063],{"name":1045,"slug":1046,"type":16},{"name":14,"slug":15,"type":16},{"name":1052,"slug":1053,"type":16},"2026-07-17T06:05:12.433192",{"slug":1066,"name":1066,"fn":1067,"description":1068,"org":1069,"tags":1070,"stars":26,"repoUrl":27,"updatedAt":1084},"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},[1071,1074,1077,1080,1083],{"name":1072,"slug":1073,"type":16},"Agents","agents",{"name":1075,"slug":1076,"type":16},"CI\u002FCD","ci-cd",{"name":1078,"slug":1079,"type":16},"Code Analysis","code-analysis",{"name":1081,"slug":1082,"type":16},"GitHub Actions","github-actions",{"name":14,"slug":15,"type":16},"2026-07-18T05:47:48.564744",{"slug":1086,"name":1086,"fn":1087,"description":1088,"org":1089,"tags":1090,"stars":26,"repoUrl":27,"updatedAt":1097},"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},[1091,1094,1095,1096],{"name":1092,"slug":1093,"type":16},"Audit","audit",{"name":1078,"slug":1079,"type":16},{"name":14,"slug":15,"type":16},{"name":24,"slug":25,"type":16},"2026-07-18T05:47:43.989063",{"slug":1099,"name":1099,"fn":1100,"description":1101,"org":1102,"tags":1103,"stars":26,"repoUrl":27,"updatedAt":1108},"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},[1104,1105],{"name":21,"slug":22,"type":16},{"name":1106,"slug":1107,"type":16},"Productivity","productivity","2026-07-17T06:05:33.543262",{"slug":1110,"name":1110,"fn":1111,"description":1112,"org":1113,"tags":1114,"stars":26,"repoUrl":27,"updatedAt":1120},"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},[1115,1118,1119],{"name":1116,"slug":1117,"type":16},"Python","python",{"name":14,"slug":15,"type":16},{"name":1052,"slug":1053,"type":16},"2026-07-17T06:05:14.575191",{"slug":1122,"name":1122,"fn":1123,"description":1124,"org":1125,"tags":1126,"stars":26,"repoUrl":27,"updatedAt":1130},"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},[1127,1128,1129],{"name":1092,"slug":1093,"type":16},{"name":1078,"slug":1079,"type":16},{"name":14,"slug":15,"type":16},"2026-08-01T05:44:54.920542",77,{"items":1133,"total":1237},[1134,1141,1147,1155,1162,1167,1173,1179,1192,1203,1215,1226],{"slug":1039,"name":1039,"fn":1040,"description":1041,"org":1135,"tags":1136,"stars":26,"repoUrl":27,"updatedAt":1054},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1137,1138,1139,1140],{"name":1045,"slug":1046,"type":16},{"name":1048,"slug":1049,"type":16},{"name":14,"slug":15,"type":16},{"name":1052,"slug":1053,"type":16},{"slug":1056,"name":1056,"fn":1057,"description":1058,"org":1142,"tags":1143,"stars":26,"repoUrl":27,"updatedAt":1064},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1144,1145,1146],{"name":1045,"slug":1046,"type":16},{"name":14,"slug":15,"type":16},{"name":1052,"slug":1053,"type":16},{"slug":1066,"name":1066,"fn":1067,"description":1068,"org":1148,"tags":1149,"stars":26,"repoUrl":27,"updatedAt":1084},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1150,1151,1152,1153,1154],{"name":1072,"slug":1073,"type":16},{"name":1075,"slug":1076,"type":16},{"name":1078,"slug":1079,"type":16},{"name":1081,"slug":1082,"type":16},{"name":14,"slug":15,"type":16},{"slug":1086,"name":1086,"fn":1087,"description":1088,"org":1156,"tags":1157,"stars":26,"repoUrl":27,"updatedAt":1097},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1158,1159,1160,1161],{"name":1092,"slug":1093,"type":16},{"name":1078,"slug":1079,"type":16},{"name":14,"slug":15,"type":16},{"name":24,"slug":25,"type":16},{"slug":1099,"name":1099,"fn":1100,"description":1101,"org":1163,"tags":1164,"stars":26,"repoUrl":27,"updatedAt":1108},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1165,1166],{"name":21,"slug":22,"type":16},{"name":1106,"slug":1107,"type":16},{"slug":1110,"name":1110,"fn":1111,"description":1112,"org":1168,"tags":1169,"stars":26,"repoUrl":27,"updatedAt":1120},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1170,1171,1172],{"name":1116,"slug":1117,"type":16},{"name":14,"slug":15,"type":16},{"name":1052,"slug":1053,"type":16},{"slug":1122,"name":1122,"fn":1123,"description":1124,"org":1174,"tags":1175,"stars":26,"repoUrl":27,"updatedAt":1130},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1176,1177,1178],{"name":1092,"slug":1093,"type":16},{"name":1078,"slug":1079,"type":16},{"name":14,"slug":15,"type":16},{"slug":1180,"name":1180,"fn":1181,"description":1182,"org":1183,"tags":1184,"stars":26,"repoUrl":27,"updatedAt":1191},"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},[1185,1188,1189,1190],{"name":1186,"slug":1187,"type":16},"Architecture","architecture",{"name":1092,"slug":1093,"type":16},{"name":1078,"slug":1079,"type":16},{"name":21,"slug":22,"type":16},"2026-07-18T05:47:40.122449",{"slug":1193,"name":1193,"fn":1194,"description":1195,"org":1196,"tags":1197,"stars":26,"repoUrl":27,"updatedAt":1202},"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},[1198,1199,1200,1201],{"name":1092,"slug":1093,"type":16},{"name":1078,"slug":1079,"type":16},{"name":21,"slug":22,"type":16},{"name":14,"slug":15,"type":16},"2026-07-18T05:47:39.210985",{"slug":1204,"name":1204,"fn":1205,"description":1206,"org":1207,"tags":1208,"stars":26,"repoUrl":27,"updatedAt":1214},"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},[1209,1210,1213],{"name":1092,"slug":1093,"type":16},{"name":1211,"slug":1212,"type":16},"CLI","cli",{"name":14,"slug":15,"type":16},"2026-07-17T06:05:33.198077",{"slug":1216,"name":1216,"fn":1217,"description":1218,"org":1219,"tags":1220,"stars":26,"repoUrl":27,"updatedAt":1225},"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},[1221,1222,1223,1224],{"name":1092,"slug":1093,"type":16},{"name":1045,"slug":1046,"type":16},{"name":1078,"slug":1079,"type":16},{"name":14,"slug":15,"type":16},"2026-07-17T06:05:11.333374",{"slug":1227,"name":1227,"fn":1228,"description":1229,"org":1230,"tags":1231,"stars":26,"repoUrl":27,"updatedAt":1236},"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},[1232,1233,1234,1235],{"name":1092,"slug":1093,"type":16},{"name":1078,"slug":1079,"type":16},{"name":14,"slug":15,"type":16},{"name":24,"slug":25,"type":16},"2026-07-18T05:47:42.84568",111]