[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill-trail-of-bits-guidelines-advisor":3,"mdc--61we0i-key":41,"related-org-trail-of-bits-guidelines-advisor":1343,"related-repo-trail-of-bits-guidelines-advisor":1497},{"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":36,"sourceUrl":39,"mdContent":40},"guidelines-advisor","advise on smart contract development best practices","Smart contract development advisor based on Trail of Bits' best practices. Analyzes codebase to generate documentation\u002Fspecifications, review architecture, check upgradeability patterns, assess implementation quality, identify pitfalls, review dependencies, and evaluate testing. Provides actionable recommendations.",{"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},"Architecture","architecture",{"name":21,"slug":22,"type":16},"Documentation","documentation",{"name":24,"slug":25,"type":16},"Best Practices","best-practices",{"name":27,"slug":28,"type":16},"Smart Contracts","smart-contracts",6139,"https:\u002F\u002Fgithub.com\u002Ftrailofbits\u002Fskills","2026-07-18T05:47:42.349948",null,541,[35],"agent-skills",{"repoUrl":30,"stars":29,"forks":33,"topics":37,"description":38},[35],"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\u002Fguidelines-advisor","---\nname: guidelines-advisor\ndescription: Smart contract development advisor based on Trail of Bits' best practices. Analyzes codebase to generate documentation\u002Fspecifications, review architecture, check upgradeability patterns, assess implementation quality, identify pitfalls, review dependencies, and evaluate testing. Provides actionable recommendations.\n---\n\n# Guidelines Advisor\n\n## Purpose\n\nSystematically analyzes the codebase and provides guidance based on Trail of Bits' development guidelines:\n\n1. **Generate documentation and specifications** (plain English descriptions, architectural diagrams, code documentation)\n2. **Optimize on-chain\u002Foff-chain architecture** (only if applicable)\n3. **Review upgradeability patterns** (if your project has upgrades)\n4. **Check delegatecall\u002Fproxy implementations** (if present)\n5. **Assess implementation quality** (functions, inheritance, events)\n6. **Identify common pitfalls**\n7. **Review dependencies**\n8. **Evaluate test suite and suggest improvements**\n\n**Framework**: Building Secure Contracts - Development Guidelines\n\n---\n\n## How This Works\n\n### Phase 1: Discovery & Context\nExplores the codebase to understand:\n- Project structure and platform\n- Contract\u002Fmodule files and their purposes\n- Existing documentation\n- Architecture patterns (proxies, upgrades, etc.)\n- Testing setup\n- Dependencies\n\n### Phase 2: Documentation Generation\nHelps create:\n- Plain English system description\n- Architectural diagrams (using Slither printers for Solidity)\n- Code documentation recommendations (NatSpec for Solidity)\n\n### Phase 3: Architecture Analysis\nAnalyzes:\n- On-chain vs off-chain component distribution (if applicable)\n- Upgradeability approach (if applicable)\n- Delegatecall proxy patterns (if present)\n\n### Phase 4: Implementation Review\nAssesses:\n- Function composition and clarity\n- Inheritance structure\n- Event logging practices\n- Common pitfalls presence\n- Dependencies quality\n- Testing coverage and techniques\n\n### Phase 5: Recommendations\nProvides:\n- Prioritized improvement suggestions\n- Best practice guidance\n- Actionable next steps\n\n---\n\n## Assessment Areas\n\nI analyze 11 comprehensive areas covering all aspects of smart contract development. For detailed criteria, best practices, and specific checks, see [ASSESSMENT_AREAS.md](resources\u002FASSESSMENT_AREAS.md).\n\n### Quick Reference:\n\n1. **Documentation & Specifications**\n   - Plain English system descriptions\n   - Architectural diagrams\n   - NatSpec completeness (Solidity)\n   - Documentation gaps identification\n\n2. **On-Chain vs Off-Chain Computation**\n   - Complexity analysis\n   - Gas optimization opportunities\n   - Verification vs computation patterns\n\n3. **Upgradeability**\n   - Migration vs upgradeability trade-offs\n   - Data separation patterns\n   - Upgrade procedure documentation\n\n4. **Delegatecall Proxy Pattern**\n   - Storage layout consistency\n   - Initialization patterns\n   - Function shadowing risks\n   - Slither upgradeability checks\n\n5. **Function Composition**\n   - Function size and clarity\n   - Logical grouping\n   - Modularity assessment\n\n6. **Inheritance**\n   - Hierarchy depth\u002Fwidth\n   - Diamond problem risks\n   - Inheritance visualization\n\n7. **Events**\n   - Critical operation coverage\n   - Event naming consistency\n   - Indexed parameters\n\n8. **Common Pitfalls**\n   - Reentrancy patterns\n   - Integer overflow\u002Funderflow\n   - Access control issues\n   - Platform-specific vulnerabilities\n\n9. **Dependencies**\n   - Library quality assessment\n   - Version management\n   - Dependency manager usage\n   - Copied code detection\n\n10. **Testing & Verification**\n    - Coverage analysis\n    - Fuzzing techniques\n    - Formal verification\n    - CI\u002FCD integration\n\n11. **Platform-Specific Guidance**\n    - Solidity version recommendations\n    - Compiler warning checks\n    - Inline assembly warnings\n    - Platform-specific tools\n\nFor complete details on each area including what I'll check, analyze, and recommend, see [ASSESSMENT_AREAS.md](resources\u002FASSESSMENT_AREAS.md).\n\n---\n\n## Example Output\n\nWhen the analysis is complete, you'll receive comprehensive guidance covering:\n\n- System documentation with plain English descriptions\n- Architectural diagrams and documentation gaps\n- Architecture analysis (on-chain\u002Foff-chain, upgradeability, proxies)\n- Implementation review (functions, inheritance, events, pitfalls)\n- Dependencies and testing evaluation\n- Prioritized recommendations (CRITICAL, HIGH, MEDIUM, LOW)\n- Overall assessment and path to production\n\nFor a complete example analysis report, see [EXAMPLE_REPORT.md](resources\u002FEXAMPLE_REPORT.md).\n\n---\n\n## Deliverables\n\nI provide four comprehensive deliverable categories:\n\n### 1. System Documentation\n- Plain English descriptions\n- Architectural diagrams\n- Documentation gaps analysis\n\n### 2. Architecture Analysis\n- On-chain\u002Foff-chain assessment\n- Upgradeability review\n- Proxy pattern security review\n\n### 3. Implementation Review\n- Function composition analysis\n- Inheritance assessment\n- Events coverage\n- Pitfall identification\n- Dependencies evaluation\n- Testing analysis\n\n### 4. Prioritized Recommendations\n- CRITICAL (address immediately)\n- HIGH (address before deployment)\n- MEDIUM (address for production quality)\n- LOW (nice to have)\n\nFor detailed templates and examples of each deliverable, see [DELIVERABLES.md](resources\u002FDELIVERABLES.md).\n\n---\n\n## Assessment Process\n\nWhen invoked, I will:\n\n1. **Explore the codebase**\n   - Identify all contract\u002Fmodule files\n   - Find existing documentation\n   - Locate test files\n   - Check for proxies\u002Fupgrades\n   - Identify dependencies\n\n2. **Generate documentation**\n   - Create plain English system description\n   - Generate architectural diagrams (if tools available)\n   - Identify documentation gaps\n\n3. **Analyze architecture**\n   - Assess on-chain\u002Foff-chain distribution (if applicable)\n   - Review upgradeability approach (if applicable)\n   - Audit proxy patterns (if present)\n\n4. **Review implementation**\n   - Analyze functions, inheritance, events\n   - Check for common pitfalls\n   - Assess dependencies\n   - Evaluate testing\n\n5. **Provide recommendations**\n   - Present findings with file references\n   - Ask clarifying questions about design decisions\n   - Suggest prioritized improvements\n   - Offer actionable next steps\n\n---\n\n## Rationalizations (Do Not Skip)\n\n| Rationalization | Why It's Wrong | Required Action |\n|-----------------|----------------|-----------------|\n| \"System is simple, description covers everything\" | Plain English descriptions miss security-critical details | Complete all 5 phases: documentation, architecture, implementation, dependencies, recommendations |\n| \"No upgrades detected, skip upgradeability section\" | Upgradeability can be implicit (ownable patterns, delegatecall) | Search for proxy patterns, delegatecall, storage collisions before declaring N\u002FA |\n| \"Not applicable\" without verification | Premature scope reduction misses vulnerabilities | Verify with explicit codebase search before skipping any guideline section |\n| \"Architecture is straightforward, no analysis needed\" | Obvious architectures have subtle trust boundaries | Analyze on-chain\u002Foff-chain distribution, access control flow, external dependencies |\n| \"Common pitfalls don't apply to this codebase\" | Every codebase has common pitfalls | Systematically check all guideline pitfalls with grep\u002Fcode search |\n| \"Tests exist, testing guideline is satisfied\" | Test existence ≠ test quality | Check coverage, property-based tests, integration tests, failure cases |\n| \"I can provide generic best practices\" | Generic advice isn't actionable | Provide project-specific findings with file:line references |\n| \"User knows what to improve from findings\" | Findings without prioritization = no action plan | Generate prioritized improvement roadmap with specific next steps |\n\n---\n\n## Notes\n\n- I'll only analyze relevant sections (won't hallucinate about upgrades if not present)\n- I'll adapt to your platform (Solidity, Rust, Cairo, etc.)\n- I'll use available tools (Slither, etc.) but work without them if unavailable\n- I'll provide file references and line numbers for all findings\n- I'll ask questions about design decisions I can't infer from code\n\n---\n\n## Ready to Begin\n\n**What I'll need**:\n- Access to your codebase\n- Context about your project goals\n- Any existing documentation or specifications\n- Information about deployment plans\n\nLet's analyze your codebase and improve it using Trail of Bits' best practices!\n",{"data":42,"body":43},{"name":4,"description":6},{"type":44,"children":45},"root",[46,54,61,67,147,157,161,167,174,179,213,219,224,242,248,253,271,277,282,315,321,326,344,347,353,367,373,691,701,704,710,715,753,765,768,774,779,785,802,808,826,832,865,871,894,906,909,915,920,1073,1076,1082,1259,1262,1268,1296,1299,1305,1315,1338],{"type":47,"tag":48,"props":49,"children":50},"element","h1",{"id":4},[51],{"type":52,"value":53},"text","Guidelines Advisor",{"type":47,"tag":55,"props":56,"children":58},"h2",{"id":57},"purpose",[59],{"type":52,"value":60},"Purpose",{"type":47,"tag":62,"props":63,"children":64},"p",{},[65],{"type":52,"value":66},"Systematically analyzes the codebase and provides guidance based on Trail of Bits' development guidelines:",{"type":47,"tag":68,"props":69,"children":70},"ol",{},[71,83,93,103,113,123,131,139],{"type":47,"tag":72,"props":73,"children":74},"li",{},[75,81],{"type":47,"tag":76,"props":77,"children":78},"strong",{},[79],{"type":52,"value":80},"Generate documentation and specifications",{"type":52,"value":82}," (plain English descriptions, architectural diagrams, code documentation)",{"type":47,"tag":72,"props":84,"children":85},{},[86,91],{"type":47,"tag":76,"props":87,"children":88},{},[89],{"type":52,"value":90},"Optimize on-chain\u002Foff-chain architecture",{"type":52,"value":92}," (only if applicable)",{"type":47,"tag":72,"props":94,"children":95},{},[96,101],{"type":47,"tag":76,"props":97,"children":98},{},[99],{"type":52,"value":100},"Review upgradeability patterns",{"type":52,"value":102}," (if your project has upgrades)",{"type":47,"tag":72,"props":104,"children":105},{},[106,111],{"type":47,"tag":76,"props":107,"children":108},{},[109],{"type":52,"value":110},"Check delegatecall\u002Fproxy implementations",{"type":52,"value":112}," (if present)",{"type":47,"tag":72,"props":114,"children":115},{},[116,121],{"type":47,"tag":76,"props":117,"children":118},{},[119],{"type":52,"value":120},"Assess implementation quality",{"type":52,"value":122}," (functions, inheritance, events)",{"type":47,"tag":72,"props":124,"children":125},{},[126],{"type":47,"tag":76,"props":127,"children":128},{},[129],{"type":52,"value":130},"Identify common pitfalls",{"type":47,"tag":72,"props":132,"children":133},{},[134],{"type":47,"tag":76,"props":135,"children":136},{},[137],{"type":52,"value":138},"Review dependencies",{"type":47,"tag":72,"props":140,"children":141},{},[142],{"type":47,"tag":76,"props":143,"children":144},{},[145],{"type":52,"value":146},"Evaluate test suite and suggest improvements",{"type":47,"tag":62,"props":148,"children":149},{},[150,155],{"type":47,"tag":76,"props":151,"children":152},{},[153],{"type":52,"value":154},"Framework",{"type":52,"value":156},": Building Secure Contracts - Development Guidelines",{"type":47,"tag":158,"props":159,"children":160},"hr",{},[],{"type":47,"tag":55,"props":162,"children":164},{"id":163},"how-this-works",[165],{"type":52,"value":166},"How This Works",{"type":47,"tag":168,"props":169,"children":171},"h3",{"id":170},"phase-1-discovery-context",[172],{"type":52,"value":173},"Phase 1: Discovery & Context",{"type":47,"tag":62,"props":175,"children":176},{},[177],{"type":52,"value":178},"Explores the codebase to understand:",{"type":47,"tag":180,"props":181,"children":182},"ul",{},[183,188,193,198,203,208],{"type":47,"tag":72,"props":184,"children":185},{},[186],{"type":52,"value":187},"Project structure and platform",{"type":47,"tag":72,"props":189,"children":190},{},[191],{"type":52,"value":192},"Contract\u002Fmodule files and their purposes",{"type":47,"tag":72,"props":194,"children":195},{},[196],{"type":52,"value":197},"Existing documentation",{"type":47,"tag":72,"props":199,"children":200},{},[201],{"type":52,"value":202},"Architecture patterns (proxies, upgrades, etc.)",{"type":47,"tag":72,"props":204,"children":205},{},[206],{"type":52,"value":207},"Testing setup",{"type":47,"tag":72,"props":209,"children":210},{},[211],{"type":52,"value":212},"Dependencies",{"type":47,"tag":168,"props":214,"children":216},{"id":215},"phase-2-documentation-generation",[217],{"type":52,"value":218},"Phase 2: Documentation Generation",{"type":47,"tag":62,"props":220,"children":221},{},[222],{"type":52,"value":223},"Helps create:",{"type":47,"tag":180,"props":225,"children":226},{},[227,232,237],{"type":47,"tag":72,"props":228,"children":229},{},[230],{"type":52,"value":231},"Plain English system description",{"type":47,"tag":72,"props":233,"children":234},{},[235],{"type":52,"value":236},"Architectural diagrams (using Slither printers for Solidity)",{"type":47,"tag":72,"props":238,"children":239},{},[240],{"type":52,"value":241},"Code documentation recommendations (NatSpec for Solidity)",{"type":47,"tag":168,"props":243,"children":245},{"id":244},"phase-3-architecture-analysis",[246],{"type":52,"value":247},"Phase 3: Architecture Analysis",{"type":47,"tag":62,"props":249,"children":250},{},[251],{"type":52,"value":252},"Analyzes:",{"type":47,"tag":180,"props":254,"children":255},{},[256,261,266],{"type":47,"tag":72,"props":257,"children":258},{},[259],{"type":52,"value":260},"On-chain vs off-chain component distribution (if applicable)",{"type":47,"tag":72,"props":262,"children":263},{},[264],{"type":52,"value":265},"Upgradeability approach (if applicable)",{"type":47,"tag":72,"props":267,"children":268},{},[269],{"type":52,"value":270},"Delegatecall proxy patterns (if present)",{"type":47,"tag":168,"props":272,"children":274},{"id":273},"phase-4-implementation-review",[275],{"type":52,"value":276},"Phase 4: Implementation Review",{"type":47,"tag":62,"props":278,"children":279},{},[280],{"type":52,"value":281},"Assesses:",{"type":47,"tag":180,"props":283,"children":284},{},[285,290,295,300,305,310],{"type":47,"tag":72,"props":286,"children":287},{},[288],{"type":52,"value":289},"Function composition and clarity",{"type":47,"tag":72,"props":291,"children":292},{},[293],{"type":52,"value":294},"Inheritance structure",{"type":47,"tag":72,"props":296,"children":297},{},[298],{"type":52,"value":299},"Event logging practices",{"type":47,"tag":72,"props":301,"children":302},{},[303],{"type":52,"value":304},"Common pitfalls presence",{"type":47,"tag":72,"props":306,"children":307},{},[308],{"type":52,"value":309},"Dependencies quality",{"type":47,"tag":72,"props":311,"children":312},{},[313],{"type":52,"value":314},"Testing coverage and techniques",{"type":47,"tag":168,"props":316,"children":318},{"id":317},"phase-5-recommendations",[319],{"type":52,"value":320},"Phase 5: Recommendations",{"type":47,"tag":62,"props":322,"children":323},{},[324],{"type":52,"value":325},"Provides:",{"type":47,"tag":180,"props":327,"children":328},{},[329,334,339],{"type":47,"tag":72,"props":330,"children":331},{},[332],{"type":52,"value":333},"Prioritized improvement suggestions",{"type":47,"tag":72,"props":335,"children":336},{},[337],{"type":52,"value":338},"Best practice guidance",{"type":47,"tag":72,"props":340,"children":341},{},[342],{"type":52,"value":343},"Actionable next steps",{"type":47,"tag":158,"props":345,"children":346},{},[],{"type":47,"tag":55,"props":348,"children":350},{"id":349},"assessment-areas",[351],{"type":52,"value":352},"Assessment Areas",{"type":47,"tag":62,"props":354,"children":355},{},[356,358,365],{"type":52,"value":357},"I analyze 11 comprehensive areas covering all aspects of smart contract development. For detailed criteria, best practices, and specific checks, see ",{"type":47,"tag":359,"props":360,"children":362},"a",{"href":361},"resources\u002FASSESSMENT_AREAS.md",[363],{"type":52,"value":364},"ASSESSMENT_AREAS.md",{"type":52,"value":366},".",{"type":47,"tag":168,"props":368,"children":370},{"id":369},"quick-reference",[371],{"type":52,"value":372},"Quick Reference:",{"type":47,"tag":68,"props":374,"children":375},{},[376,407,433,459,490,516,542,568,599,629,660],{"type":47,"tag":72,"props":377,"children":378},{},[379,384],{"type":47,"tag":76,"props":380,"children":381},{},[382],{"type":52,"value":383},"Documentation & Specifications",{"type":47,"tag":180,"props":385,"children":386},{},[387,392,397,402],{"type":47,"tag":72,"props":388,"children":389},{},[390],{"type":52,"value":391},"Plain English system descriptions",{"type":47,"tag":72,"props":393,"children":394},{},[395],{"type":52,"value":396},"Architectural diagrams",{"type":47,"tag":72,"props":398,"children":399},{},[400],{"type":52,"value":401},"NatSpec completeness (Solidity)",{"type":47,"tag":72,"props":403,"children":404},{},[405],{"type":52,"value":406},"Documentation gaps identification",{"type":47,"tag":72,"props":408,"children":409},{},[410,415],{"type":47,"tag":76,"props":411,"children":412},{},[413],{"type":52,"value":414},"On-Chain vs Off-Chain Computation",{"type":47,"tag":180,"props":416,"children":417},{},[418,423,428],{"type":47,"tag":72,"props":419,"children":420},{},[421],{"type":52,"value":422},"Complexity analysis",{"type":47,"tag":72,"props":424,"children":425},{},[426],{"type":52,"value":427},"Gas optimization opportunities",{"type":47,"tag":72,"props":429,"children":430},{},[431],{"type":52,"value":432},"Verification vs computation patterns",{"type":47,"tag":72,"props":434,"children":435},{},[436,441],{"type":47,"tag":76,"props":437,"children":438},{},[439],{"type":52,"value":440},"Upgradeability",{"type":47,"tag":180,"props":442,"children":443},{},[444,449,454],{"type":47,"tag":72,"props":445,"children":446},{},[447],{"type":52,"value":448},"Migration vs upgradeability trade-offs",{"type":47,"tag":72,"props":450,"children":451},{},[452],{"type":52,"value":453},"Data separation patterns",{"type":47,"tag":72,"props":455,"children":456},{},[457],{"type":52,"value":458},"Upgrade procedure documentation",{"type":47,"tag":72,"props":460,"children":461},{},[462,467],{"type":47,"tag":76,"props":463,"children":464},{},[465],{"type":52,"value":466},"Delegatecall Proxy Pattern",{"type":47,"tag":180,"props":468,"children":469},{},[470,475,480,485],{"type":47,"tag":72,"props":471,"children":472},{},[473],{"type":52,"value":474},"Storage layout consistency",{"type":47,"tag":72,"props":476,"children":477},{},[478],{"type":52,"value":479},"Initialization patterns",{"type":47,"tag":72,"props":481,"children":482},{},[483],{"type":52,"value":484},"Function shadowing risks",{"type":47,"tag":72,"props":486,"children":487},{},[488],{"type":52,"value":489},"Slither upgradeability checks",{"type":47,"tag":72,"props":491,"children":492},{},[493,498],{"type":47,"tag":76,"props":494,"children":495},{},[496],{"type":52,"value":497},"Function Composition",{"type":47,"tag":180,"props":499,"children":500},{},[501,506,511],{"type":47,"tag":72,"props":502,"children":503},{},[504],{"type":52,"value":505},"Function size and clarity",{"type":47,"tag":72,"props":507,"children":508},{},[509],{"type":52,"value":510},"Logical grouping",{"type":47,"tag":72,"props":512,"children":513},{},[514],{"type":52,"value":515},"Modularity assessment",{"type":47,"tag":72,"props":517,"children":518},{},[519,524],{"type":47,"tag":76,"props":520,"children":521},{},[522],{"type":52,"value":523},"Inheritance",{"type":47,"tag":180,"props":525,"children":526},{},[527,532,537],{"type":47,"tag":72,"props":528,"children":529},{},[530],{"type":52,"value":531},"Hierarchy depth\u002Fwidth",{"type":47,"tag":72,"props":533,"children":534},{},[535],{"type":52,"value":536},"Diamond problem risks",{"type":47,"tag":72,"props":538,"children":539},{},[540],{"type":52,"value":541},"Inheritance visualization",{"type":47,"tag":72,"props":543,"children":544},{},[545,550],{"type":47,"tag":76,"props":546,"children":547},{},[548],{"type":52,"value":549},"Events",{"type":47,"tag":180,"props":551,"children":552},{},[553,558,563],{"type":47,"tag":72,"props":554,"children":555},{},[556],{"type":52,"value":557},"Critical operation coverage",{"type":47,"tag":72,"props":559,"children":560},{},[561],{"type":52,"value":562},"Event naming consistency",{"type":47,"tag":72,"props":564,"children":565},{},[566],{"type":52,"value":567},"Indexed parameters",{"type":47,"tag":72,"props":569,"children":570},{},[571,576],{"type":47,"tag":76,"props":572,"children":573},{},[574],{"type":52,"value":575},"Common Pitfalls",{"type":47,"tag":180,"props":577,"children":578},{},[579,584,589,594],{"type":47,"tag":72,"props":580,"children":581},{},[582],{"type":52,"value":583},"Reentrancy patterns",{"type":47,"tag":72,"props":585,"children":586},{},[587],{"type":52,"value":588},"Integer overflow\u002Funderflow",{"type":47,"tag":72,"props":590,"children":591},{},[592],{"type":52,"value":593},"Access control issues",{"type":47,"tag":72,"props":595,"children":596},{},[597],{"type":52,"value":598},"Platform-specific vulnerabilities",{"type":47,"tag":72,"props":600,"children":601},{},[602,606],{"type":47,"tag":76,"props":603,"children":604},{},[605],{"type":52,"value":212},{"type":47,"tag":180,"props":607,"children":608},{},[609,614,619,624],{"type":47,"tag":72,"props":610,"children":611},{},[612],{"type":52,"value":613},"Library quality assessment",{"type":47,"tag":72,"props":615,"children":616},{},[617],{"type":52,"value":618},"Version management",{"type":47,"tag":72,"props":620,"children":621},{},[622],{"type":52,"value":623},"Dependency manager usage",{"type":47,"tag":72,"props":625,"children":626},{},[627],{"type":52,"value":628},"Copied code detection",{"type":47,"tag":72,"props":630,"children":631},{},[632,637],{"type":47,"tag":76,"props":633,"children":634},{},[635],{"type":52,"value":636},"Testing & Verification",{"type":47,"tag":180,"props":638,"children":639},{},[640,645,650,655],{"type":47,"tag":72,"props":641,"children":642},{},[643],{"type":52,"value":644},"Coverage analysis",{"type":47,"tag":72,"props":646,"children":647},{},[648],{"type":52,"value":649},"Fuzzing techniques",{"type":47,"tag":72,"props":651,"children":652},{},[653],{"type":52,"value":654},"Formal verification",{"type":47,"tag":72,"props":656,"children":657},{},[658],{"type":52,"value":659},"CI\u002FCD integration",{"type":47,"tag":72,"props":661,"children":662},{},[663,668],{"type":47,"tag":76,"props":664,"children":665},{},[666],{"type":52,"value":667},"Platform-Specific Guidance",{"type":47,"tag":180,"props":669,"children":670},{},[671,676,681,686],{"type":47,"tag":72,"props":672,"children":673},{},[674],{"type":52,"value":675},"Solidity version recommendations",{"type":47,"tag":72,"props":677,"children":678},{},[679],{"type":52,"value":680},"Compiler warning checks",{"type":47,"tag":72,"props":682,"children":683},{},[684],{"type":52,"value":685},"Inline assembly warnings",{"type":47,"tag":72,"props":687,"children":688},{},[689],{"type":52,"value":690},"Platform-specific tools",{"type":47,"tag":62,"props":692,"children":693},{},[694,696,700],{"type":52,"value":695},"For complete details on each area including what I'll check, analyze, and recommend, see ",{"type":47,"tag":359,"props":697,"children":698},{"href":361},[699],{"type":52,"value":364},{"type":52,"value":366},{"type":47,"tag":158,"props":702,"children":703},{},[],{"type":47,"tag":55,"props":705,"children":707},{"id":706},"example-output",[708],{"type":52,"value":709},"Example Output",{"type":47,"tag":62,"props":711,"children":712},{},[713],{"type":52,"value":714},"When the analysis is complete, you'll receive comprehensive guidance covering:",{"type":47,"tag":180,"props":716,"children":717},{},[718,723,728,733,738,743,748],{"type":47,"tag":72,"props":719,"children":720},{},[721],{"type":52,"value":722},"System documentation with plain English descriptions",{"type":47,"tag":72,"props":724,"children":725},{},[726],{"type":52,"value":727},"Architectural diagrams and documentation gaps",{"type":47,"tag":72,"props":729,"children":730},{},[731],{"type":52,"value":732},"Architecture analysis (on-chain\u002Foff-chain, upgradeability, proxies)",{"type":47,"tag":72,"props":734,"children":735},{},[736],{"type":52,"value":737},"Implementation review (functions, inheritance, events, pitfalls)",{"type":47,"tag":72,"props":739,"children":740},{},[741],{"type":52,"value":742},"Dependencies and testing evaluation",{"type":47,"tag":72,"props":744,"children":745},{},[746],{"type":52,"value":747},"Prioritized recommendations (CRITICAL, HIGH, MEDIUM, LOW)",{"type":47,"tag":72,"props":749,"children":750},{},[751],{"type":52,"value":752},"Overall assessment and path to production",{"type":47,"tag":62,"props":754,"children":755},{},[756,758,764],{"type":52,"value":757},"For a complete example analysis report, see ",{"type":47,"tag":359,"props":759,"children":761},{"href":760},"resources\u002FEXAMPLE_REPORT.md",[762],{"type":52,"value":763},"EXAMPLE_REPORT.md",{"type":52,"value":366},{"type":47,"tag":158,"props":766,"children":767},{},[],{"type":47,"tag":55,"props":769,"children":771},{"id":770},"deliverables",[772],{"type":52,"value":773},"Deliverables",{"type":47,"tag":62,"props":775,"children":776},{},[777],{"type":52,"value":778},"I provide four comprehensive deliverable categories:",{"type":47,"tag":168,"props":780,"children":782},{"id":781},"_1-system-documentation",[783],{"type":52,"value":784},"1. System Documentation",{"type":47,"tag":180,"props":786,"children":787},{},[788,793,797],{"type":47,"tag":72,"props":789,"children":790},{},[791],{"type":52,"value":792},"Plain English descriptions",{"type":47,"tag":72,"props":794,"children":795},{},[796],{"type":52,"value":396},{"type":47,"tag":72,"props":798,"children":799},{},[800],{"type":52,"value":801},"Documentation gaps analysis",{"type":47,"tag":168,"props":803,"children":805},{"id":804},"_2-architecture-analysis",[806],{"type":52,"value":807},"2. Architecture Analysis",{"type":47,"tag":180,"props":809,"children":810},{},[811,816,821],{"type":47,"tag":72,"props":812,"children":813},{},[814],{"type":52,"value":815},"On-chain\u002Foff-chain assessment",{"type":47,"tag":72,"props":817,"children":818},{},[819],{"type":52,"value":820},"Upgradeability review",{"type":47,"tag":72,"props":822,"children":823},{},[824],{"type":52,"value":825},"Proxy pattern security review",{"type":47,"tag":168,"props":827,"children":829},{"id":828},"_3-implementation-review",[830],{"type":52,"value":831},"3. Implementation Review",{"type":47,"tag":180,"props":833,"children":834},{},[835,840,845,850,855,860],{"type":47,"tag":72,"props":836,"children":837},{},[838],{"type":52,"value":839},"Function composition analysis",{"type":47,"tag":72,"props":841,"children":842},{},[843],{"type":52,"value":844},"Inheritance assessment",{"type":47,"tag":72,"props":846,"children":847},{},[848],{"type":52,"value":849},"Events coverage",{"type":47,"tag":72,"props":851,"children":852},{},[853],{"type":52,"value":854},"Pitfall identification",{"type":47,"tag":72,"props":856,"children":857},{},[858],{"type":52,"value":859},"Dependencies evaluation",{"type":47,"tag":72,"props":861,"children":862},{},[863],{"type":52,"value":864},"Testing analysis",{"type":47,"tag":168,"props":866,"children":868},{"id":867},"_4-prioritized-recommendations",[869],{"type":52,"value":870},"4. Prioritized Recommendations",{"type":47,"tag":180,"props":872,"children":873},{},[874,879,884,889],{"type":47,"tag":72,"props":875,"children":876},{},[877],{"type":52,"value":878},"CRITICAL (address immediately)",{"type":47,"tag":72,"props":880,"children":881},{},[882],{"type":52,"value":883},"HIGH (address before deployment)",{"type":47,"tag":72,"props":885,"children":886},{},[887],{"type":52,"value":888},"MEDIUM (address for production quality)",{"type":47,"tag":72,"props":890,"children":891},{},[892],{"type":52,"value":893},"LOW (nice to have)",{"type":47,"tag":62,"props":895,"children":896},{},[897,899,905],{"type":52,"value":898},"For detailed templates and examples of each deliverable, see ",{"type":47,"tag":359,"props":900,"children":902},{"href":901},"resources\u002FDELIVERABLES.md",[903],{"type":52,"value":904},"DELIVERABLES.md",{"type":52,"value":366},{"type":47,"tag":158,"props":907,"children":908},{},[],{"type":47,"tag":55,"props":910,"children":912},{"id":911},"assessment-process",[913],{"type":52,"value":914},"Assessment Process",{"type":47,"tag":62,"props":916,"children":917},{},[918],{"type":52,"value":919},"When invoked, I will:",{"type":47,"tag":68,"props":921,"children":922},{},[923,959,985,1011,1042],{"type":47,"tag":72,"props":924,"children":925},{},[926,931],{"type":47,"tag":76,"props":927,"children":928},{},[929],{"type":52,"value":930},"Explore the codebase",{"type":47,"tag":180,"props":932,"children":933},{},[934,939,944,949,954],{"type":47,"tag":72,"props":935,"children":936},{},[937],{"type":52,"value":938},"Identify all contract\u002Fmodule files",{"type":47,"tag":72,"props":940,"children":941},{},[942],{"type":52,"value":943},"Find existing documentation",{"type":47,"tag":72,"props":945,"children":946},{},[947],{"type":52,"value":948},"Locate test files",{"type":47,"tag":72,"props":950,"children":951},{},[952],{"type":52,"value":953},"Check for proxies\u002Fupgrades",{"type":47,"tag":72,"props":955,"children":956},{},[957],{"type":52,"value":958},"Identify dependencies",{"type":47,"tag":72,"props":960,"children":961},{},[962,967],{"type":47,"tag":76,"props":963,"children":964},{},[965],{"type":52,"value":966},"Generate documentation",{"type":47,"tag":180,"props":968,"children":969},{},[970,975,980],{"type":47,"tag":72,"props":971,"children":972},{},[973],{"type":52,"value":974},"Create plain English system description",{"type":47,"tag":72,"props":976,"children":977},{},[978],{"type":52,"value":979},"Generate architectural diagrams (if tools available)",{"type":47,"tag":72,"props":981,"children":982},{},[983],{"type":52,"value":984},"Identify documentation gaps",{"type":47,"tag":72,"props":986,"children":987},{},[988,993],{"type":47,"tag":76,"props":989,"children":990},{},[991],{"type":52,"value":992},"Analyze architecture",{"type":47,"tag":180,"props":994,"children":995},{},[996,1001,1006],{"type":47,"tag":72,"props":997,"children":998},{},[999],{"type":52,"value":1000},"Assess on-chain\u002Foff-chain distribution (if applicable)",{"type":47,"tag":72,"props":1002,"children":1003},{},[1004],{"type":52,"value":1005},"Review upgradeability approach (if applicable)",{"type":47,"tag":72,"props":1007,"children":1008},{},[1009],{"type":52,"value":1010},"Audit proxy patterns (if present)",{"type":47,"tag":72,"props":1012,"children":1013},{},[1014,1019],{"type":47,"tag":76,"props":1015,"children":1016},{},[1017],{"type":52,"value":1018},"Review implementation",{"type":47,"tag":180,"props":1020,"children":1021},{},[1022,1027,1032,1037],{"type":47,"tag":72,"props":1023,"children":1024},{},[1025],{"type":52,"value":1026},"Analyze functions, inheritance, events",{"type":47,"tag":72,"props":1028,"children":1029},{},[1030],{"type":52,"value":1031},"Check for common pitfalls",{"type":47,"tag":72,"props":1033,"children":1034},{},[1035],{"type":52,"value":1036},"Assess dependencies",{"type":47,"tag":72,"props":1038,"children":1039},{},[1040],{"type":52,"value":1041},"Evaluate testing",{"type":47,"tag":72,"props":1043,"children":1044},{},[1045,1050],{"type":47,"tag":76,"props":1046,"children":1047},{},[1048],{"type":52,"value":1049},"Provide recommendations",{"type":47,"tag":180,"props":1051,"children":1052},{},[1053,1058,1063,1068],{"type":47,"tag":72,"props":1054,"children":1055},{},[1056],{"type":52,"value":1057},"Present findings with file references",{"type":47,"tag":72,"props":1059,"children":1060},{},[1061],{"type":52,"value":1062},"Ask clarifying questions about design decisions",{"type":47,"tag":72,"props":1064,"children":1065},{},[1066],{"type":52,"value":1067},"Suggest prioritized improvements",{"type":47,"tag":72,"props":1069,"children":1070},{},[1071],{"type":52,"value":1072},"Offer actionable next steps",{"type":47,"tag":158,"props":1074,"children":1075},{},[],{"type":47,"tag":55,"props":1077,"children":1079},{"id":1078},"rationalizations-do-not-skip",[1080],{"type":52,"value":1081},"Rationalizations (Do Not Skip)",{"type":47,"tag":1083,"props":1084,"children":1085},"table",{},[1086,1110],{"type":47,"tag":1087,"props":1088,"children":1089},"thead",{},[1090],{"type":47,"tag":1091,"props":1092,"children":1093},"tr",{},[1094,1100,1105],{"type":47,"tag":1095,"props":1096,"children":1097},"th",{},[1098],{"type":52,"value":1099},"Rationalization",{"type":47,"tag":1095,"props":1101,"children":1102},{},[1103],{"type":52,"value":1104},"Why It's Wrong",{"type":47,"tag":1095,"props":1106,"children":1107},{},[1108],{"type":52,"value":1109},"Required Action",{"type":47,"tag":1111,"props":1112,"children":1113},"tbody",{},[1114,1133,1151,1169,1187,1205,1223,1241],{"type":47,"tag":1091,"props":1115,"children":1116},{},[1117,1123,1128],{"type":47,"tag":1118,"props":1119,"children":1120},"td",{},[1121],{"type":52,"value":1122},"\"System is simple, description covers everything\"",{"type":47,"tag":1118,"props":1124,"children":1125},{},[1126],{"type":52,"value":1127},"Plain English descriptions miss security-critical details",{"type":47,"tag":1118,"props":1129,"children":1130},{},[1131],{"type":52,"value":1132},"Complete all 5 phases: documentation, architecture, implementation, dependencies, recommendations",{"type":47,"tag":1091,"props":1134,"children":1135},{},[1136,1141,1146],{"type":47,"tag":1118,"props":1137,"children":1138},{},[1139],{"type":52,"value":1140},"\"No upgrades detected, skip upgradeability section\"",{"type":47,"tag":1118,"props":1142,"children":1143},{},[1144],{"type":52,"value":1145},"Upgradeability can be implicit (ownable patterns, delegatecall)",{"type":47,"tag":1118,"props":1147,"children":1148},{},[1149],{"type":52,"value":1150},"Search for proxy patterns, delegatecall, storage collisions before declaring N\u002FA",{"type":47,"tag":1091,"props":1152,"children":1153},{},[1154,1159,1164],{"type":47,"tag":1118,"props":1155,"children":1156},{},[1157],{"type":52,"value":1158},"\"Not applicable\" without verification",{"type":47,"tag":1118,"props":1160,"children":1161},{},[1162],{"type":52,"value":1163},"Premature scope reduction misses vulnerabilities",{"type":47,"tag":1118,"props":1165,"children":1166},{},[1167],{"type":52,"value":1168},"Verify with explicit codebase search before skipping any guideline section",{"type":47,"tag":1091,"props":1170,"children":1171},{},[1172,1177,1182],{"type":47,"tag":1118,"props":1173,"children":1174},{},[1175],{"type":52,"value":1176},"\"Architecture is straightforward, no analysis needed\"",{"type":47,"tag":1118,"props":1178,"children":1179},{},[1180],{"type":52,"value":1181},"Obvious architectures have subtle trust boundaries",{"type":47,"tag":1118,"props":1183,"children":1184},{},[1185],{"type":52,"value":1186},"Analyze on-chain\u002Foff-chain distribution, access control flow, external dependencies",{"type":47,"tag":1091,"props":1188,"children":1189},{},[1190,1195,1200],{"type":47,"tag":1118,"props":1191,"children":1192},{},[1193],{"type":52,"value":1194},"\"Common pitfalls don't apply to this codebase\"",{"type":47,"tag":1118,"props":1196,"children":1197},{},[1198],{"type":52,"value":1199},"Every codebase has common pitfalls",{"type":47,"tag":1118,"props":1201,"children":1202},{},[1203],{"type":52,"value":1204},"Systematically check all guideline pitfalls with grep\u002Fcode search",{"type":47,"tag":1091,"props":1206,"children":1207},{},[1208,1213,1218],{"type":47,"tag":1118,"props":1209,"children":1210},{},[1211],{"type":52,"value":1212},"\"Tests exist, testing guideline is satisfied\"",{"type":47,"tag":1118,"props":1214,"children":1215},{},[1216],{"type":52,"value":1217},"Test existence ≠ test quality",{"type":47,"tag":1118,"props":1219,"children":1220},{},[1221],{"type":52,"value":1222},"Check coverage, property-based tests, integration tests, failure cases",{"type":47,"tag":1091,"props":1224,"children":1225},{},[1226,1231,1236],{"type":47,"tag":1118,"props":1227,"children":1228},{},[1229],{"type":52,"value":1230},"\"I can provide generic best practices\"",{"type":47,"tag":1118,"props":1232,"children":1233},{},[1234],{"type":52,"value":1235},"Generic advice isn't actionable",{"type":47,"tag":1118,"props":1237,"children":1238},{},[1239],{"type":52,"value":1240},"Provide project-specific findings with file:line references",{"type":47,"tag":1091,"props":1242,"children":1243},{},[1244,1249,1254],{"type":47,"tag":1118,"props":1245,"children":1246},{},[1247],{"type":52,"value":1248},"\"User knows what to improve from findings\"",{"type":47,"tag":1118,"props":1250,"children":1251},{},[1252],{"type":52,"value":1253},"Findings without prioritization = no action plan",{"type":47,"tag":1118,"props":1255,"children":1256},{},[1257],{"type":52,"value":1258},"Generate prioritized improvement roadmap with specific next steps",{"type":47,"tag":158,"props":1260,"children":1261},{},[],{"type":47,"tag":55,"props":1263,"children":1265},{"id":1264},"notes",[1266],{"type":52,"value":1267},"Notes",{"type":47,"tag":180,"props":1269,"children":1270},{},[1271,1276,1281,1286,1291],{"type":47,"tag":72,"props":1272,"children":1273},{},[1274],{"type":52,"value":1275},"I'll only analyze relevant sections (won't hallucinate about upgrades if not present)",{"type":47,"tag":72,"props":1277,"children":1278},{},[1279],{"type":52,"value":1280},"I'll adapt to your platform (Solidity, Rust, Cairo, etc.)",{"type":47,"tag":72,"props":1282,"children":1283},{},[1284],{"type":52,"value":1285},"I'll use available tools (Slither, etc.) but work without them if unavailable",{"type":47,"tag":72,"props":1287,"children":1288},{},[1289],{"type":52,"value":1290},"I'll provide file references and line numbers for all findings",{"type":47,"tag":72,"props":1292,"children":1293},{},[1294],{"type":52,"value":1295},"I'll ask questions about design decisions I can't infer from code",{"type":47,"tag":158,"props":1297,"children":1298},{},[],{"type":47,"tag":55,"props":1300,"children":1302},{"id":1301},"ready-to-begin",[1303],{"type":52,"value":1304},"Ready to Begin",{"type":47,"tag":62,"props":1306,"children":1307},{},[1308,1313],{"type":47,"tag":76,"props":1309,"children":1310},{},[1311],{"type":52,"value":1312},"What I'll need",{"type":52,"value":1314},":",{"type":47,"tag":180,"props":1316,"children":1317},{},[1318,1323,1328,1333],{"type":47,"tag":72,"props":1319,"children":1320},{},[1321],{"type":52,"value":1322},"Access to your codebase",{"type":47,"tag":72,"props":1324,"children":1325},{},[1326],{"type":52,"value":1327},"Context about your project goals",{"type":47,"tag":72,"props":1329,"children":1330},{},[1331],{"type":52,"value":1332},"Any existing documentation or specifications",{"type":47,"tag":72,"props":1334,"children":1335},{},[1336],{"type":52,"value":1337},"Information about deployment plans",{"type":47,"tag":62,"props":1339,"children":1340},{},[1341],{"type":52,"value":1342},"Let's analyze your codebase and improve it using Trail of Bits' best practices!",{"items":1344,"total":1496},[1345,1362,1372,1392,1405,1418,1430,1440,1451,1462,1474,1485],{"slug":1346,"name":1346,"fn":1347,"description":1348,"org":1349,"tags":1350,"stars":29,"repoUrl":30,"updatedAt":1361},"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},[1351,1354,1357,1358],{"name":1352,"slug":1353,"type":16},"C#","c",{"name":1355,"slug":1356,"type":16},"Debugging","debugging",{"name":14,"slug":15,"type":16},{"name":1359,"slug":1360,"type":16},"Testing","testing","2026-07-17T06:05:14.925095",{"slug":1363,"name":1363,"fn":1364,"description":1365,"org":1366,"tags":1367,"stars":29,"repoUrl":30,"updatedAt":1371},"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},[1368,1369,1370],{"name":1352,"slug":1353,"type":16},{"name":14,"slug":15,"type":16},{"name":1359,"slug":1360,"type":16},"2026-07-17T06:05:12.433192",{"slug":1373,"name":1373,"fn":1374,"description":1375,"org":1376,"tags":1377,"stars":29,"repoUrl":30,"updatedAt":1391},"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},[1378,1381,1384,1387,1390],{"name":1379,"slug":1380,"type":16},"Agents","agents",{"name":1382,"slug":1383,"type":16},"CI\u002FCD","ci-cd",{"name":1385,"slug":1386,"type":16},"Code Analysis","code-analysis",{"name":1388,"slug":1389,"type":16},"GitHub Actions","github-actions",{"name":14,"slug":15,"type":16},"2026-07-18T05:47:48.564744",{"slug":1393,"name":1393,"fn":1394,"description":1395,"org":1396,"tags":1397,"stars":29,"repoUrl":30,"updatedAt":1404},"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},[1398,1401,1402,1403],{"name":1399,"slug":1400,"type":16},"Audit","audit",{"name":1385,"slug":1386,"type":16},{"name":14,"slug":15,"type":16},{"name":27,"slug":28,"type":16},"2026-07-18T05:47:43.989063",{"slug":1406,"name":1406,"fn":1407,"description":1408,"org":1409,"tags":1410,"stars":29,"repoUrl":30,"updatedAt":1417},"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},[1411,1414],{"name":1412,"slug":1413,"type":16},"Engineering","engineering",{"name":1415,"slug":1416,"type":16},"Productivity","productivity","2026-07-17T06:05:33.543262",{"slug":1419,"name":1419,"fn":1420,"description":1421,"org":1422,"tags":1423,"stars":29,"repoUrl":30,"updatedAt":1429},"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},[1424,1427,1428],{"name":1425,"slug":1426,"type":16},"Python","python",{"name":14,"slug":15,"type":16},{"name":1359,"slug":1360,"type":16},"2026-07-17T06:05:14.575191",{"slug":1431,"name":1431,"fn":1432,"description":1433,"org":1434,"tags":1435,"stars":29,"repoUrl":30,"updatedAt":1439},"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},[1436,1437,1438],{"name":1399,"slug":1400,"type":16},{"name":1385,"slug":1386,"type":16},{"name":14,"slug":15,"type":16},"2026-08-01T05:44:54.920542",{"slug":1441,"name":1441,"fn":1442,"description":1443,"org":1444,"tags":1445,"stars":29,"repoUrl":30,"updatedAt":1450},"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},[1446,1447,1448,1449],{"name":18,"slug":19,"type":16},{"name":1399,"slug":1400,"type":16},{"name":1385,"slug":1386,"type":16},{"name":1412,"slug":1413,"type":16},"2026-07-18T05:47:40.122449",{"slug":1452,"name":1452,"fn":1453,"description":1454,"org":1455,"tags":1456,"stars":29,"repoUrl":30,"updatedAt":1461},"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},[1457,1458,1459,1460],{"name":1399,"slug":1400,"type":16},{"name":1385,"slug":1386,"type":16},{"name":1412,"slug":1413,"type":16},{"name":14,"slug":15,"type":16},"2026-07-18T05:47:39.210985",{"slug":1463,"name":1463,"fn":1464,"description":1465,"org":1466,"tags":1467,"stars":29,"repoUrl":30,"updatedAt":1473},"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},[1468,1469,1472],{"name":1399,"slug":1400,"type":16},{"name":1470,"slug":1471,"type":16},"CLI","cli",{"name":14,"slug":15,"type":16},"2026-07-17T06:05:33.198077",{"slug":1475,"name":1475,"fn":1476,"description":1477,"org":1478,"tags":1479,"stars":29,"repoUrl":30,"updatedAt":1484},"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},[1480,1481,1482,1483],{"name":1399,"slug":1400,"type":16},{"name":1352,"slug":1353,"type":16},{"name":1385,"slug":1386,"type":16},{"name":14,"slug":15,"type":16},"2026-07-17T06:05:11.333374",{"slug":1486,"name":1486,"fn":1487,"description":1488,"org":1489,"tags":1490,"stars":29,"repoUrl":30,"updatedAt":1495},"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},[1491,1492,1493,1494],{"name":1399,"slug":1400,"type":16},{"name":1385,"slug":1386,"type":16},{"name":14,"slug":15,"type":16},{"name":27,"slug":28,"type":16},"2026-07-18T05:47:42.84568",111,{"items":1498,"total":1544},[1499,1506,1512,1520,1527,1532,1538],{"slug":1346,"name":1346,"fn":1347,"description":1348,"org":1500,"tags":1501,"stars":29,"repoUrl":30,"updatedAt":1361},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1502,1503,1504,1505],{"name":1352,"slug":1353,"type":16},{"name":1355,"slug":1356,"type":16},{"name":14,"slug":15,"type":16},{"name":1359,"slug":1360,"type":16},{"slug":1363,"name":1363,"fn":1364,"description":1365,"org":1507,"tags":1508,"stars":29,"repoUrl":30,"updatedAt":1371},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1509,1510,1511],{"name":1352,"slug":1353,"type":16},{"name":14,"slug":15,"type":16},{"name":1359,"slug":1360,"type":16},{"slug":1373,"name":1373,"fn":1374,"description":1375,"org":1513,"tags":1514,"stars":29,"repoUrl":30,"updatedAt":1391},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1515,1516,1517,1518,1519],{"name":1379,"slug":1380,"type":16},{"name":1382,"slug":1383,"type":16},{"name":1385,"slug":1386,"type":16},{"name":1388,"slug":1389,"type":16},{"name":14,"slug":15,"type":16},{"slug":1393,"name":1393,"fn":1394,"description":1395,"org":1521,"tags":1522,"stars":29,"repoUrl":30,"updatedAt":1404},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1523,1524,1525,1526],{"name":1399,"slug":1400,"type":16},{"name":1385,"slug":1386,"type":16},{"name":14,"slug":15,"type":16},{"name":27,"slug":28,"type":16},{"slug":1406,"name":1406,"fn":1407,"description":1408,"org":1528,"tags":1529,"stars":29,"repoUrl":30,"updatedAt":1417},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1530,1531],{"name":1412,"slug":1413,"type":16},{"name":1415,"slug":1416,"type":16},{"slug":1419,"name":1419,"fn":1420,"description":1421,"org":1533,"tags":1534,"stars":29,"repoUrl":30,"updatedAt":1429},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1535,1536,1537],{"name":1425,"slug":1426,"type":16},{"name":14,"slug":15,"type":16},{"name":1359,"slug":1360,"type":16},{"slug":1431,"name":1431,"fn":1432,"description":1433,"org":1539,"tags":1540,"stars":29,"repoUrl":30,"updatedAt":1439},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1541,1542,1543],{"name":1399,"slug":1400,"type":16},{"name":1385,"slug":1386,"type":16},{"name":14,"slug":15,"type":16},77]