[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"extension-skill-trailofbits-property-based-testing-en":3,"guides-for-trailofbits-property-based-testing":2020,"similar-k17bqtmy4qzf4z916hhhv5ccqn86ma3z-en":2021},{"_creationTime":4,"_id":5,"children":6,"community":7,"display":9,"evaluation":15,"identity":245,"isFallback":240,"parentExtension":250,"providers":310,"relations":314,"repo":315,"tags":2018,"workflow":2019},1778698175626.327,"k17bqtmy4qzf4z916hhhv5ccqn86ma3z",[],{"reviewCount":8},0,{"description":10,"installMethods":11,"name":13,"sourceUrl":14},"Provides guidance for property-based testing across multiple languages and smart contracts. Use when writing tests, reviewing code with serialization/validation/parsing patterns, designing features, or when property-based testing would provide stronger coverage than example-based tests.",{"claudeCode":12},"trailofbits/skills","Property-Based Testing Skill","https://github.com/trailofbits/skills",{"_creationTime":16,"_id":17,"extensionId":5,"locale":18,"result":19,"trustSignals":226,"workflow":243},1778699402867.5889,"kn7daq1dn8p4pp3rmpr25a7fjh86n5m3","en",{"checks":20,"evaluatedAt":189,"extensionSummary":190,"features":191,"nonGoals":197,"practices":202,"prerequisites":206,"promptVersionExtension":207,"promptVersionScoring":208,"purpose":209,"rationale":210,"score":211,"summary":212,"tags":213,"targetMarket":219,"tier":220,"useCases":221},[21,26,29,32,36,39,43,46,50,54,58,61,64,68,72,76,79,82,85,88,92,96,99,103,106,109,112,115,118,121,125,128,132,136,140,143,146,149,153,156,159,162,165,168,171,175,179,182,185],{"category":22,"check":23,"severity":24,"summary":25},"Practical Utility","Problem relevance","pass","The description clearly states the problem of providing guidance for property-based testing and lists specific scenarios where it's useful.",{"category":22,"check":27,"severity":24,"summary":28},"Unique selling proposition","The skill offers significant value beyond basic LLM behavior by detecting PBT opportunities, generating complex tests, and guiding refactoring, which is not a default capability.",{"category":22,"check":30,"severity":24,"summary":31},"Production readiness","The skill provides comprehensive guidance and references for property-based testing, covering detection, generation, review, and design, suitable for immediate use in development workflows.",{"category":33,"check":34,"severity":24,"summary":35},"Scope","Single responsibility principle","The skill focuses solely on property-based testing, including related documentation and guidance, without incorporating unrelated capabilities.",{"category":33,"check":37,"severity":24,"summary":38},"Description quality","The provided description accurately reflects the skill's capabilities and scope.",{"category":40,"check":41,"severity":24,"summary":42},"Invocation","Precise Purpose","The description clearly defines the skill's purpose (guidance for property-based testing) and use cases (writing tests, reviewing code, designing features) with explicit boundaries (when NOT to use).",{"category":40,"check":44,"severity":24,"summary":45},"Concise Frontmatter","The frontmatter concisely summarizes the core capability and provides clear trigger phrases.",{"category":47,"check":48,"severity":24,"summary":49},"Documentation","Concise Body","The SKILL.md is concise and delegates deeper material to separate reference files, adhering to progressive disclosure.",{"category":51,"check":52,"severity":24,"summary":53},"Context","Progressive Disclosure","The SKILL.md outlines the overall flow and links to specific sub-task files in the `references/` directory.",{"category":51,"check":55,"severity":56,"summary":57},"Forked exploration","not_applicable","This skill does not involve deep exploration or code review that would necessitate `context: fork`.",{"category":22,"check":59,"severity":24,"summary":60},"Usage examples","The README and SKILL.md provide clear, actionable examples for invoking the skill and demonstrate expected prompts and outcomes.",{"category":22,"check":62,"severity":24,"summary":63},"Edge cases","The skill's documentation, particularly in reference files like `interpreting-failures.md` and `generating.md`, covers failure modes, limitations, and recovery steps.",{"category":65,"check":66,"severity":56,"summary":67},"Code Execution","Tool Fallback","This skill does not appear to rely on external MCP servers or custom tools that would require fallbacks.",{"category":69,"check":70,"severity":24,"summary":71},"Safety","Halt on unexpected state","The documentation, especially in `interpreting-failures.md`, emphasizes validating failures and understanding specifications before reporting, implying a halt on ambiguous states.",{"category":73,"check":74,"severity":24,"summary":75},"Portability","Cross-skill coupling","The skill is self-contained and focuses on property-based testing guidance without implicitly relying on other skills.",{"category":33,"check":77,"severity":56,"summary":78},"Scoped tools","This is a skill-based extension, not tool-based, so this check is not applicable.",{"category":47,"check":80,"severity":56,"summary":81},"Configuration & parameter reference","As a guidance skill, there are no configurable parameters or options to document.",{"category":33,"check":83,"severity":56,"summary":84},"Tool naming","This skill does not expose tools or commands with names.",{"category":33,"check":86,"severity":56,"summary":87},"Minimal I/O surface","This skill does not expose tools with input/output schemas.",{"category":89,"check":90,"severity":24,"summary":91},"License","License usability","The extension is licensed under CC-BY-SA-4.0, a recognized open-source license.",{"category":93,"check":94,"severity":24,"summary":95},"Maintenance","Commit recency","The last commit was on 2026-05-11, well within the last 3 months.",{"category":93,"check":97,"severity":56,"summary":98},"Dependency Management","The extension does not appear to have third-party dependencies that require active management.",{"category":100,"check":101,"severity":56,"summary":102},"Security","Secret Management","The skill provides guidance and does not handle or expose secrets.",{"category":100,"check":104,"severity":56,"summary":105},"Injection","The skill provides guidance and does not load external data or files that could be subject to injection.",{"category":100,"check":107,"severity":56,"summary":108},"Transitive Supply-Chain Grenades","The skill does not fetch remote content or execute code from external sources.",{"category":100,"check":110,"severity":56,"summary":111},"Sandbox Isolation","This skill is a guidance skill and does not perform file system operations or interact with a sandbox.",{"category":100,"check":113,"severity":56,"summary":114},"Sandbox escape primitives","As a guidance skill, it does not involve scripts or hooks that could be used for sandbox escapes.",{"category":100,"check":116,"severity":56,"summary":117},"Data Exfiltration","The skill provides guidance and does not perform outbound calls or handle confidential data.",{"category":100,"check":119,"severity":24,"summary":120},"Hidden Text Tricks","The bundled content and descriptions appear free of hidden steering tricks or obfuscation.",{"category":122,"check":123,"severity":56,"summary":124},"Hooks","Opaque code execution","This skill does not contain scripts or hooks that involve opaque code execution.",{"category":73,"check":126,"severity":56,"summary":127},"Structural Assumption","The skill provides guidance and does not make assumptions about user project structure.",{"category":129,"check":130,"severity":24,"summary":131},"Trust","Issues Attention","With 13 issues opened and 4 closed in the last 90 days, the maintainers show reasonable engagement.",{"category":133,"check":134,"severity":24,"summary":135},"Versioning","Release Management","The extension has a CHANGELOG.md and recent commits, indicating a managed release process.",{"category":137,"check":138,"severity":56,"summary":139},"Execution","Validation","This skill is guidance-based and does not have executable code or structured output requiring validation.",{"category":100,"check":141,"severity":56,"summary":142},"Unguarded Destructive Operations","The skill is purely informational and does not perform any destructive operations.",{"category":65,"check":144,"severity":56,"summary":145},"Error Handling","This is a guidance skill and does not have error paths that require structured reporting.",{"category":65,"check":147,"severity":56,"summary":148},"Logging","As a guidance skill, it does not perform actions that require logging.",{"category":150,"check":151,"severity":56,"summary":152},"Compliance","GDPR","The skill does not operate on personal data.",{"category":150,"check":154,"severity":24,"summary":155},"Target market","The skill provides general guidance on property-based testing applicable globally, with no regional restrictions detected.",{"category":73,"check":157,"severity":56,"summary":158},"Runtime stability","The skill provides guidance and has no runtime dependencies on specific editors, shells, or OS environments.",{"category":47,"check":160,"severity":24,"summary":161},"README","The README file exists and clearly states the skill's purpose and capabilities.",{"category":33,"check":163,"severity":56,"summary":164},"Tool surface size","This is a single-purpose skill, not a collection of tools.",{"category":40,"check":166,"severity":56,"summary":167},"Overlapping near-synonym tools","This skill does not expose tools, so there are no overlapping synonyms.",{"category":47,"check":169,"severity":24,"summary":170},"Phantom features","All advertised features in the README and SKILL.md correspond to implemented guidance and references.",{"category":172,"check":173,"severity":56,"summary":174},"Install","Installation instruction","This is a guidance skill loaded via `claudeCode` and does not require separate installation instructions or authentication setup.",{"category":176,"check":177,"severity":56,"summary":178},"Errors","Actionable error messages","As a guidance skill, it does not produce user-facing errors.",{"category":137,"check":180,"severity":56,"summary":181},"Pinned dependencies","The skill provides guidance and does not bundle scripts with dependencies.",{"category":33,"check":183,"severity":56,"summary":184},"Dry-run preview","This skill is purely informational and does not have state-changing commands.",{"category":186,"check":187,"severity":56,"summary":188},"Protocol","Idempotent retry & timeouts","The skill does not involve remote calls or state-changing operations.",1778699402566,"This skill offers detailed guidance on property-based testing (PBT) across various programming languages and smart contract development. It covers detecting PBT opportunities, generating tests, reviewing existing PBT, designing with properties, and refactoring code for better testability. The skill includes references to specific libraries and tools like Hypothesis, fast-check, Echidna, and provides detailed examples and best practices.",[192,193,194,195,196],"Detects property-based testing opportunities in code patterns.","Provides guidance on generating property-based tests and input strategies.","Offers methods for reviewing and improving existing property-based tests.","Explains Property-Driven Development for feature design.","Suggests refactoring patterns to enhance testability.",[198,199,200,201],"Automatically generating PBT tests without developer input or review.","Performing unit or integration testing directly; it provides guidance.","Replacing example-based testing entirely; it complements it for specific patterns.","Testing code with untestable side effects without refactoring.",[203,204,205],"Test Design","Code Quality","Software Design",[],"3.0.0","4.4.0","To guide developers in leveraging property-based testing for more robust and comprehensive test coverage, especially for complex logic, serialization, and invariants.","The extension has excellent documentation and adherence to PBT best practices. No critical or warning findings were identified.",99,"A high-quality skill providing comprehensive guidance on property-based testing.",[214,215,216,217,218],"testing","property-based-testing","code-quality","smart-contracts","developer-tools","global","verified",[222,223,224,225],"Writing stronger tests for serialization/deserialization logic.","Designing new features with executable specifications via properties.","Reviewing code for areas that would benefit from property-based tests.","Improving the quality and coverage of existing property-based tests.",{"codeQuality":227,"collectedAt":229,"documentation":230,"maintenance":233,"security":239,"testCoverage":242},{"hasLockfile":228},true,1778699389029,{"descriptionLength":231,"readmeSize":232},287,7901,{"closedIssues90d":234,"forks":235,"hasChangelog":228,"openIssues90d":236,"pushedAt":237,"stars":238},4,455,13,1778517916000,5161,{"hasNpmPackage":240,"license":241,"smitheryVerified":240},false,"CC-BY-SA-4.0",{"hasCi":228,"hasTests":228},{"updatedAt":244},1778699402867,{"basePath":246,"githubOwner":247,"githubRepo":248,"locale":18,"slug":215,"type":249},"plugins/property-based-testing/skills/property-based-testing","trailofbits","skills","skill",{"_creationTime":251,"_id":252,"community":253,"display":254,"identity":257,"parentExtension":260,"providers":292,"relations":306,"tags":307,"workflow":308},1778698175626.313,"k174294v9wha552awhxrv175md86n2ax",{"reviewCount":8},{"description":255,"installMethods":256,"name":215,"sourceUrl":14},"Property-based testing guidance for multiple languages and smart contracts",{"claudeCode":215},{"basePath":258,"githubOwner":247,"githubRepo":248,"locale":18,"slug":215,"type":259},"plugins/property-based-testing","plugin",{"_creationTime":261,"_id":262,"community":263,"display":264,"identity":267,"providers":270,"relations":286,"tags":288,"workflow":289},1778698175626.309,"k17550d1ve8ghfmwc58xs69e3s86mn86",{"reviewCount":8},{"description":265,"installMethods":266,"name":247,"sourceUrl":14},"Claude Code plugins from Trail of Bits for enhanced AI-assisted security analysis and development",{"claudeCode":12},{"basePath":268,"githubOwner":247,"githubRepo":248,"locale":18,"slug":248,"type":269},"","marketplace",{"evaluate":271,"extract":280},{"promptVersionExtension":272,"promptVersionScoring":208,"score":273,"tags":274,"targetMarket":219,"tier":279},"3.1.0",75,[275,276,277,269,278],"security","development","analysis","plugins","community",{"commitSha":281,"marketplace":282,"plugin":284},"HEAD",{"name":247,"pluginCount":283},39,{"mcpCount":8,"provider":285,"skillCount":8},"classify",{"repoId":287},"kd7d5sbrd9m157hjv9c7v4wfyn86mk2f",[277,276,269,278,275],{"evaluatedAt":290,"extractAt":291,"updatedAt":290},1778698203402,1778698175626,{"evaluate":293,"extract":303},{"promptVersionExtension":207,"promptVersionScoring":208,"score":294,"tags":295,"targetMarket":219,"tier":220},97,[214,215,217,296,297,298,299,300,301,302],"python","javascript","rust","go","java","solidity","vyper",{"commitSha":281,"plugin":304},{"mcpCount":8,"provider":285,"skillCount":305},1,{"parentExtensionId":262,"repoId":287},[299,300,297,215,296,298,217,301,214,302],{"evaluatedAt":309,"extractAt":291,"updatedAt":309},1778698460075,{"evaluate":311,"extract":313},{"promptVersionExtension":207,"promptVersionScoring":208,"score":211,"tags":312,"targetMarket":219,"tier":220},[214,215,216,217,218],{"commitSha":281,"license":241},{"parentExtensionId":252,"repoId":287},{"_creationTime":316,"_id":287,"identity":317,"providers":318,"workflow":2014},1778698169543.2075,{"githubOwner":247,"githubRepo":248,"sourceUrl":14},{"classify":319,"discover":2007,"github":2010},{"commitSha":281,"extensions":320},[321,334,347,362,393,406,417,430,441,452,463,478,491,526,537,550,561,569,582,593,606,623,638,677,706,719,736,766,777,790,801,812,825,836,847,880,893,904,922,940,961,969,1000,1007,1014,1022,1030,1038,1046,1056,1064,1072,1080,1088,1096,1104,1114,1121,1128,1152,1238,1249,1260,1275,1290,1297,1318,1327,1346,1352,1361,1375,1404,1412,1432,1439,1452,1463,1475,1514,1521,1528,1560,1568,1584,1591,1599,1607,1615,1623,1631,1639,1647,1655,1663,1671,1679,1687,1695,1717,1725,1735,1759,1773,1787,1801,1819,1830,1838,1846,1863,1872,1887,1921,1996],{"basePath":268,"description":265,"displayName":247,"installMethods":322,"rationale":323,"selectedPaths":324,"source":333,"sourceLanguage":18,"type":269},{"claudeCode":12},"marketplace.json at .claude-plugin/marketplace.json",[325,328,330],{"path":326,"priority":327},".claude-plugin/marketplace.json","mandatory",{"path":329,"priority":327},"README.md",{"path":331,"priority":332},"LICENSE","high","rule",{"basePath":335,"description":336,"displayName":337,"installMethods":338,"rationale":339,"selectedPaths":340,"source":333,"sourceLanguage":18,"type":259},"plugins/ask-questions-if-underspecified","Clarify ambiguous requirements by asking questions before implementing. Only when invoked explicitly.","ask-questions-if-underspecified",{"claudeCode":337},"plugin manifest at plugins/ask-questions-if-underspecified/.claude-plugin/plugin.json",[341,343,344],{"path":342,"priority":327},".claude-plugin/plugin.json",{"path":329,"priority":327},{"path":345,"priority":346},"skills/ask-questions-if-underspecified/SKILL.md","medium",{"basePath":348,"description":349,"displayName":350,"installMethods":351,"rationale":352,"selectedPaths":353,"source":333,"sourceLanguage":18,"type":259},"plugins/audit-context-building","Build deep architectural context through ultra-granular code analysis before vulnerability hunting","audit-context-building",{"claudeCode":350},"plugin manifest at plugins/audit-context-building/.claude-plugin/plugin.json",[354,355,356,358,360],{"path":342,"priority":327},{"path":329,"priority":327},{"path":357,"priority":346},"skills/audit-context-building/SKILL.md",{"path":359,"priority":332},"agents/function-analyzer.md",{"path":361,"priority":332},"commands/audit-context.md",{"basePath":363,"description":364,"displayName":365,"installMethods":366,"rationale":367,"selectedPaths":368,"source":333,"sourceLanguage":18,"type":259},"plugins/building-secure-contracts","Comprehensive smart contract security toolkit based on Trail of Bits' Building Secure Contracts framework. Includes vulnerability scanners for 6 blockchains and 5 development guideline assistants.","building-secure-contracts",{"claudeCode":365},"plugin manifest at plugins/building-secure-contracts/.claude-plugin/plugin.json",[369,370,371,373,375,377,379,381,383,385,387,389,391],{"path":342,"priority":327},{"path":329,"priority":327},{"path":372,"priority":346},"skills/algorand-vulnerability-scanner/SKILL.md",{"path":374,"priority":346},"skills/audit-prep-assistant/SKILL.md",{"path":376,"priority":346},"skills/cairo-vulnerability-scanner/SKILL.md",{"path":378,"priority":346},"skills/code-maturity-assessor/SKILL.md",{"path":380,"priority":346},"skills/cosmos-vulnerability-scanner/SKILL.md",{"path":382,"priority":346},"skills/guidelines-advisor/SKILL.md",{"path":384,"priority":346},"skills/secure-workflow-guide/SKILL.md",{"path":386,"priority":346},"skills/solana-vulnerability-scanner/SKILL.md",{"path":388,"priority":346},"skills/substrate-vulnerability-scanner/SKILL.md",{"path":390,"priority":346},"skills/token-integration-analyzer/SKILL.md",{"path":392,"priority":346},"skills/ton-vulnerability-scanner/SKILL.md",{"basePath":394,"description":395,"displayName":396,"installMethods":397,"rationale":398,"selectedPaths":399,"source":333,"sourceLanguage":18,"type":259},"plugins/burpsuite-project-parser","Search and extract data from Burp Suite project files (.burp) for security analysis","burpsuite-project-parser",{"claudeCode":396},"plugin manifest at plugins/burpsuite-project-parser/.claude-plugin/plugin.json",[400,401,402,404],{"path":342,"priority":327},{"path":329,"priority":327},{"path":403,"priority":346},"skills/burpsuite-project-parser/SKILL.md",{"path":405,"priority":332},"commands/burp-search.md",{"basePath":407,"description":408,"displayName":409,"installMethods":410,"rationale":411,"selectedPaths":412,"source":333,"sourceLanguage":18,"type":259},"plugins/claude-in-chrome-troubleshooting","Diagnose and fix Claude in Chrome MCP extension connectivity issues","claude-in-chrome-troubleshooting",{"claudeCode":409},"plugin manifest at plugins/claude-in-chrome-troubleshooting/.claude-plugin/plugin.json",[413,414,415],{"path":342,"priority":327},{"path":329,"priority":327},{"path":416,"priority":346},"skills/claude-in-chrome-troubleshooting/SKILL.md",{"basePath":418,"description":419,"displayName":420,"installMethods":421,"rationale":422,"selectedPaths":423,"source":333,"sourceLanguage":18,"type":259},"plugins/constant-time-analysis","Detect compiler-induced timing side-channels in cryptographic code","constant-time-analysis",{"claudeCode":420},"plugin manifest at plugins/constant-time-analysis/.claude-plugin/plugin.json",[424,425,426,428],{"path":342,"priority":327},{"path":329,"priority":327},{"path":427,"priority":346},"skills/constant-time-analysis/SKILL.md",{"path":429,"priority":332},"commands/ct-check.md",{"basePath":431,"description":432,"displayName":433,"installMethods":434,"rationale":435,"selectedPaths":436,"source":333,"sourceLanguage":18,"type":259},"plugins/culture-index","Interprets Culture Index survey results for individuals and teams","culture-index",{"claudeCode":433},"plugin manifest at plugins/culture-index/.claude-plugin/plugin.json",[437,438,439],{"path":342,"priority":327},{"path":329,"priority":327},{"path":440,"priority":346},"skills/interpreting-culture-index/SKILL.md",{"basePath":442,"description":443,"displayName":444,"installMethods":445,"rationale":446,"selectedPaths":447,"source":333,"sourceLanguage":18,"type":259},"plugins/debug-buttercup","Debug Buttercup Kubernetes deployments","debug-buttercup",{"claudeCode":444},"plugin manifest at plugins/debug-buttercup/.claude-plugin/plugin.json",[448,449,450],{"path":342,"priority":327},{"path":329,"priority":327},{"path":451,"priority":346},"skills/debug-buttercup/SKILL.md",{"basePath":453,"description":454,"displayName":455,"installMethods":456,"rationale":457,"selectedPaths":458,"source":333,"sourceLanguage":18,"type":259},"plugins/devcontainer-setup","Create pre-configured devcontainers with Claude Code and language-specific tooling","devcontainer-setup",{"claudeCode":455},"plugin manifest at plugins/devcontainer-setup/.claude-plugin/plugin.json",[459,460,461],{"path":342,"priority":327},{"path":329,"priority":327},{"path":462,"priority":346},"skills/devcontainer-setup/SKILL.md",{"basePath":464,"description":465,"displayName":466,"installMethods":467,"rationale":468,"selectedPaths":469,"source":333,"sourceLanguage":18,"type":259},"plugins/differential-review","Security-focused differential review of code changes with git history analysis and blast radius estimation","differential-review",{"claudeCode":466},"plugin manifest at plugins/differential-review/.claude-plugin/plugin.json",[470,471,472,474,476],{"path":342,"priority":327},{"path":329,"priority":327},{"path":473,"priority":346},"skills/differential-review/SKILL.md",{"path":475,"priority":332},"agents/adversarial-modeler.md",{"path":477,"priority":332},"commands/diff-review.md",{"basePath":479,"description":480,"displayName":481,"installMethods":482,"rationale":483,"selectedPaths":484,"source":333,"sourceLanguage":18,"type":259},"plugins/firebase-apk-scanner","Scan Android APKs for Firebase security misconfigurations including open databases, storage buckets, authentication issues, and exposed cloud functions. For authorized security research only.","firebase-apk-scanner",{"claudeCode":481},"plugin manifest at plugins/firebase-apk-scanner/.claude-plugin/plugin.json",[485,486,487,489],{"path":342,"priority":327},{"path":329,"priority":327},{"path":488,"priority":346},"skills/firebase-apk-scanner/SKILL.md",{"path":490,"priority":332},"commands/scan-apk.md",{"basePath":492,"description":493,"displayName":494,"installMethods":495,"rationale":496,"selectedPaths":497,"source":333,"sourceLanguage":18,"type":259},"plugins/gh-cli","Intercepts GitHub URL fetches and curl/wget commands, redirecting to the authenticated gh CLI.","gh-cli",{"claudeCode":494},"plugin manifest at plugins/gh-cli/.claude-plugin/plugin.json",[498,499,500,502,504,506,508,510,512,514,516,518,520,522,524],{"path":342,"priority":327},{"path":329,"priority":327},{"path":501,"priority":332},"hooks/cleanup-clones.sh",{"path":503,"priority":332},"hooks/hooks.json",{"path":505,"priority":332},"hooks/intercept-github-curl.bats",{"path":507,"priority":332},"hooks/intercept-github-curl.sh",{"path":509,"priority":332},"hooks/intercept-github-fetch.bats",{"path":511,"priority":332},"hooks/intercept-github-fetch.sh",{"path":513,"priority":332},"hooks/persist-session-id.sh",{"path":515,"priority":332},"hooks/session-hooks.bats",{"path":517,"priority":332},"hooks/setup-shims.bats",{"path":519,"priority":332},"hooks/setup-shims.sh",{"path":521,"priority":332},"hooks/shims/gh",{"path":523,"priority":332},"hooks/shims/gh-shim.bats",{"path":525,"priority":332},"hooks/test_helper.bash",{"basePath":527,"description":528,"displayName":529,"installMethods":530,"rationale":531,"selectedPaths":532,"source":333,"sourceLanguage":18,"type":259},"plugins/dwarf-expert","Interact with and understand the DWARF debugging format","dwarf-expert",{"claudeCode":529},"plugin manifest at plugins/dwarf-expert/.claude-plugin/plugin.json",[533,534,535],{"path":342,"priority":327},{"path":329,"priority":327},{"path":536,"priority":346},"skills/dwarf-expert/SKILL.md",{"basePath":538,"description":539,"displayName":540,"installMethods":541,"rationale":542,"selectedPaths":543,"source":333,"sourceLanguage":18,"type":259},"plugins/entry-point-analyzer","Analyzes smart contract codebases to identify state-changing entry points for security auditing. Detects externally callable functions that modify state, categorizes them by access level, and generates structured audit reports.","entry-point-analyzer",{"claudeCode":540},"plugin manifest at plugins/entry-point-analyzer/.claude-plugin/plugin.json",[544,545,546,548],{"path":342,"priority":327},{"path":329,"priority":327},{"path":547,"priority":346},"skills/entry-point-analyzer/SKILL.md",{"path":549,"priority":332},"commands/entry-points.md",{"basePath":551,"description":552,"displayName":553,"installMethods":554,"rationale":555,"selectedPaths":556,"source":333,"sourceLanguage":18,"type":259},"plugins/mutation-testing","Configures mewt or muton mutation testing campaigns — scopes targets, tunes timeouts, and optimizes long-running runs. Use when the user mentions mewt, muton, mutation testing, or wants to configure or optimize a mutation testing campaign.","mutation-testing",{"claudeCode":553},"plugin manifest at plugins/mutation-testing/.claude-plugin/plugin.json",[557,558,559],{"path":342,"priority":327},{"path":329,"priority":327},{"path":560,"priority":346},"skills/mutation-testing/SKILL.md",{"basePath":258,"description":255,"displayName":215,"installMethods":562,"rationale":563,"selectedPaths":564,"source":333,"sourceLanguage":18,"type":259},{"claudeCode":215},"plugin manifest at plugins/property-based-testing/.claude-plugin/plugin.json",[565,566,567],{"path":342,"priority":327},{"path":329,"priority":327},{"path":568,"priority":346},"skills/property-based-testing/SKILL.md",{"basePath":570,"description":571,"displayName":572,"installMethods":573,"rationale":574,"selectedPaths":575,"source":333,"sourceLanguage":18,"type":259},"plugins/semgrep-rule-creator","Create custom Semgrep rules for detecting bug patterns and security vulnerabilities","semgrep-rule-creator",{"claudeCode":572},"plugin manifest at plugins/semgrep-rule-creator/.claude-plugin/plugin.json",[576,577,578,580],{"path":342,"priority":327},{"path":329,"priority":327},{"path":579,"priority":346},"skills/semgrep-rule-creator/SKILL.md",{"path":581,"priority":332},"commands/semgrep-rule.md",{"basePath":583,"description":584,"displayName":585,"installMethods":586,"rationale":587,"selectedPaths":588,"source":333,"sourceLanguage":18,"type":259},"plugins/semgrep-rule-variant-creator","Creates language variants of existing Semgrep rules with proper applicability analysis and test-driven validation","semgrep-rule-variant-creator",{"claudeCode":585},"plugin manifest at plugins/semgrep-rule-variant-creator/.claude-plugin/plugin.json",[589,590,591],{"path":342,"priority":327},{"path":329,"priority":327},{"path":592,"priority":346},"skills/semgrep-rule-variant-creator/SKILL.md",{"basePath":594,"description":595,"displayName":596,"installMethods":597,"rationale":598,"selectedPaths":599,"source":333,"sourceLanguage":18,"type":259},"plugins/sharp-edges","Identify error-prone APIs, dangerous configurations, and footgun designs that enable security mistakes","sharp-edges",{"claudeCode":596},"plugin manifest at plugins/sharp-edges/.claude-plugin/plugin.json",[600,601,602,604],{"path":342,"priority":327},{"path":329,"priority":327},{"path":603,"priority":346},"skills/sharp-edges/SKILL.md",{"path":605,"priority":332},"agents/sharp-edges-analyzer.md",{"basePath":607,"description":608,"displayName":609,"installMethods":610,"rationale":611,"selectedPaths":612,"source":333,"sourceLanguage":18,"type":259},"plugins/static-analysis","Static analysis toolkit with CodeQL, Semgrep, and SARIF parsing for security vulnerability detection","static-analysis",{"claudeCode":609},"plugin manifest at plugins/static-analysis/.claude-plugin/plugin.json",[613,614,615,617,619,621],{"path":342,"priority":327},{"path":329,"priority":327},{"path":616,"priority":346},"skills/codeql/SKILL.md",{"path":618,"priority":346},"skills/sarif-parsing/SKILL.md",{"path":620,"priority":346},"skills/semgrep/SKILL.md",{"path":622,"priority":332},"agents/semgrep-scanner.md",{"basePath":624,"description":625,"displayName":626,"installMethods":627,"rationale":628,"selectedPaths":629,"source":333,"sourceLanguage":18,"type":259},"plugins/spec-to-code-compliance","Specification-to-code compliance checker for blockchain audits with evidence-based alignment analysis","spec-to-code-compliance",{"claudeCode":626},"plugin manifest at plugins/spec-to-code-compliance/.claude-plugin/plugin.json",[630,631,632,634,636],{"path":342,"priority":327},{"path":329,"priority":327},{"path":633,"priority":346},"skills/spec-to-code-compliance/SKILL.md",{"path":635,"priority":332},"agents/spec-compliance-checker.md",{"path":637,"priority":332},"commands/spec-compliance.md",{"basePath":639,"description":640,"displayName":641,"installMethods":642,"rationale":643,"selectedPaths":644,"source":333,"sourceLanguage":18,"type":259},"plugins/testing-handbook-skills","Skills from the Trail of Bits Application Security Testing Handbook (appsec.guide)","testing-handbook-skills",{"claudeCode":641},"plugin manifest at plugins/testing-handbook-skills/.claude-plugin/plugin.json",[645,646,647,649,651,653,655,657,659,661,663,665,667,669,671,673,675],{"path":342,"priority":327},{"path":329,"priority":327},{"path":648,"priority":346},"skills/address-sanitizer/SKILL.md",{"path":650,"priority":346},"skills/aflpp/SKILL.md",{"path":652,"priority":346},"skills/atheris/SKILL.md",{"path":654,"priority":346},"skills/cargo-fuzz/SKILL.md",{"path":656,"priority":346},"skills/constant-time-testing/SKILL.md",{"path":658,"priority":346},"skills/coverage-analysis/SKILL.md",{"path":660,"priority":346},"skills/fuzzing-dictionary/SKILL.md",{"path":662,"priority":346},"skills/fuzzing-obstacles/SKILL.md",{"path":664,"priority":346},"skills/harness-writing/SKILL.md",{"path":666,"priority":346},"skills/libafl/SKILL.md",{"path":668,"priority":346},"skills/libfuzzer/SKILL.md",{"path":670,"priority":346},"skills/ossfuzz/SKILL.md",{"path":672,"priority":346},"skills/ruzzy/SKILL.md",{"path":674,"priority":346},"skills/testing-handbook-generator/SKILL.md",{"path":676,"priority":346},"skills/wycheproof/SKILL.md",{"basePath":678,"description":679,"displayName":680,"installMethods":681,"rationale":682,"selectedPaths":683,"source":333,"sourceLanguage":18,"type":259},"plugins/trailmark","Builds multi-language source code graphs for security analysis: call graphs, attack surface mapping, blast radius, taint propagation, complexity hotspots, and entry point enumeration. Generates Mermaid diagrams (call graphs, class hierarchies, dependency maps, heatmaps). Compares code graph snapshots for structural diff and evolution analysis. Runs graph-informed mutation testing triage (genotoxic). Generates mutation-driven test vectors (vector-forge). Extracts crypto protocol message flows and converts Mermaid diagrams to ProVerif models. Projects SARIF and weAudit findings onto code graphs. Use when analyzing call paths, mapping attack surface, visualizing code architecture, triaging survived mutants, generating cryptographic test vectors, diagramming crypto protocols, formally verifying protocols, or augmenting audits with static analysis findings.","trailmark",{"claudeCode":680},"plugin manifest at plugins/trailmark/.claude-plugin/plugin.json",[684,685,686,688,690,692,694,696,698,700,702,704],{"path":342,"priority":327},{"path":329,"priority":327},{"path":687,"priority":346},"skills/audit-augmentation/SKILL.md",{"path":689,"priority":346},"skills/crypto-protocol-diagram/SKILL.md",{"path":691,"priority":346},"skills/diagramming-code/SKILL.md",{"path":693,"priority":346},"skills/genotoxic/SKILL.md",{"path":695,"priority":346},"skills/graph-evolution/SKILL.md",{"path":697,"priority":346},"skills/mermaid-to-proverif/SKILL.md",{"path":699,"priority":346},"skills/trailmark/SKILL.md",{"path":701,"priority":346},"skills/trailmark-structural/SKILL.md",{"path":703,"priority":346},"skills/trailmark-summary/SKILL.md",{"path":705,"priority":346},"skills/vector-forge/SKILL.md",{"basePath":707,"description":708,"displayName":709,"installMethods":710,"rationale":711,"selectedPaths":712,"source":333,"sourceLanguage":18,"type":259},"plugins/variant-analysis","Find similar vulnerabilities and bugs across codebases using pattern-based analysis","variant-analysis",{"claudeCode":709},"plugin manifest at plugins/variant-analysis/.claude-plugin/plugin.json",[713,714,715,717],{"path":342,"priority":327},{"path":329,"priority":327},{"path":716,"priority":346},"skills/variant-analysis/SKILL.md",{"path":718,"priority":332},"commands/variants.md",{"basePath":720,"description":721,"displayName":722,"installMethods":723,"rationale":724,"selectedPaths":725,"source":333,"sourceLanguage":18,"type":259},"plugins/c-review","Comprehensive C/C++ security code review with specialized bug-finding agents covering memory safety, type safety, concurrency, and Linux/Windows userspace-specific issues","c-review",{"claudeCode":722},"plugin manifest at plugins/c-review/.claude-plugin/plugin.json",[726,727,728,730,732,734],{"path":342,"priority":327},{"path":329,"priority":327},{"path":729,"priority":346},"skills/c-review/SKILL.md",{"path":731,"priority":332},"agents/c-review-dedup-judge.md",{"path":733,"priority":332},"agents/c-review-fp-judge.md",{"path":735,"priority":332},"agents/c-review-worker.md",{"basePath":737,"description":738,"displayName":739,"installMethods":740,"rationale":741,"selectedPaths":742,"source":333,"sourceLanguage":18,"type":259},"plugins/modern-python","Modern Python best practices. Use when creating new Python projects, and writing Python scripts, or migrating existing projects from legacy tools.","modern-python",{"claudeCode":739},"plugin manifest at plugins/modern-python/.claude-plugin/plugin.json",[743,744,745,747,748,749,750,752,754,756,758,760,762,764],{"path":342,"priority":327},{"path":329,"priority":327},{"path":746,"priority":346},"skills/modern-python/SKILL.md",{"path":503,"priority":332},{"path":517,"priority":332},{"path":519,"priority":332},{"path":751,"priority":332},"hooks/shims/pip",{"path":753,"priority":332},"hooks/shims/pip-shim.bats",{"path":755,"priority":332},"hooks/shims/pipx",{"path":757,"priority":332},"hooks/shims/pipx-shim.bats",{"path":759,"priority":332},"hooks/shims/python",{"path":761,"priority":332},"hooks/shims/python-shim.bats",{"path":763,"priority":332},"hooks/shims/uv",{"path":765,"priority":332},"hooks/shims/uv-shim.bats",{"basePath":767,"description":768,"displayName":769,"installMethods":770,"rationale":771,"selectedPaths":772,"source":333,"sourceLanguage":18,"type":259},"plugins/insecure-defaults","Detects insecure default configurations including hardcoded credentials, fallback secrets, weak authentication defaults, and dangerous values in production","insecure-defaults",{"claudeCode":769},"plugin manifest at plugins/insecure-defaults/.claude-plugin/plugin.json",[773,774,775],{"path":342,"priority":327},{"path":329,"priority":327},{"path":776,"priority":346},"skills/insecure-defaults/SKILL.md",{"basePath":778,"description":779,"displayName":780,"installMethods":781,"rationale":782,"selectedPaths":783,"source":333,"sourceLanguage":18,"type":259},"plugins/second-opinion","Runs code reviews using external LLM CLIs (OpenAI Codex, Google Gemini) on uncommitted changes, branch diffs, or specific commits. Bundles Codex's built-in MCP server for direct tool access.","second-opinion",{"claudeCode":780},"plugin manifest at plugins/second-opinion/.claude-plugin/plugin.json",[784,785,786,788],{"path":342,"priority":327},{"path":329,"priority":327},{"path":787,"priority":346},"skills/second-opinion/SKILL.md",{"path":789,"priority":327},".mcp.json",{"basePath":791,"description":792,"displayName":793,"installMethods":794,"rationale":795,"selectedPaths":796,"source":333,"sourceLanguage":18,"type":259},"plugins/yara-authoring","YARA-X detection rule authoring with linting and quality analysis","yara-authoring",{"claudeCode":793},"plugin manifest at plugins/yara-authoring/.claude-plugin/plugin.json",[797,798,799],{"path":342,"priority":327},{"path":329,"priority":327},{"path":800,"priority":346},"skills/yara-rule-authoring/SKILL.md",{"basePath":802,"description":803,"displayName":804,"installMethods":805,"rationale":806,"selectedPaths":807,"source":333,"sourceLanguage":18,"type":259},"plugins/git-cleanup","Safely analyzes and cleans up local git branches and worktrees by categorizing them as merged, squash-merged, superseded, or active work.","git-cleanup",{"claudeCode":804},"plugin manifest at plugins/git-cleanup/.claude-plugin/plugin.json",[808,809,810],{"path":342,"priority":327},{"path":329,"priority":327},{"path":811,"priority":346},"skills/git-cleanup/SKILL.md",{"basePath":813,"description":814,"displayName":815,"installMethods":816,"rationale":817,"selectedPaths":818,"source":333,"sourceLanguage":18,"type":259},"plugins/workflow-skill-design","Teaches design patterns for workflow-based Claude Code skills and provides a review agent for auditing existing skills","workflow-skill-design",{"claudeCode":815},"plugin manifest at plugins/workflow-skill-design/.claude-plugin/plugin.json",[819,820,821,823],{"path":342,"priority":327},{"path":329,"priority":327},{"path":822,"priority":346},"skills/designing-workflow-skills/SKILL.md",{"path":824,"priority":332},"agents/workflow-skill-reviewer.md",{"basePath":826,"description":827,"displayName":828,"installMethods":829,"rationale":830,"selectedPaths":831,"source":333,"sourceLanguage":18,"type":259},"plugins/seatbelt-sandboxer","Generate minimal macOS Seatbelt sandbox configurations for applications","seatbelt-sandboxer",{"claudeCode":828},"plugin manifest at plugins/seatbelt-sandboxer/.claude-plugin/plugin.json",[832,833,834],{"path":342,"priority":327},{"path":329,"priority":327},{"path":835,"priority":346},"skills/seatbelt-sandboxer/SKILL.md",{"basePath":837,"description":838,"displayName":839,"installMethods":840,"rationale":841,"selectedPaths":842,"source":333,"sourceLanguage":18,"type":259},"plugins/supply-chain-risk-auditor","Audit supply-chain threat landscape of project dependencies for exploitation or takeover risk","supply-chain-risk-auditor",{"claudeCode":839},"plugin manifest at plugins/supply-chain-risk-auditor/.claude-plugin/plugin.json",[843,844,845],{"path":342,"priority":327},{"path":329,"priority":327},{"path":846,"priority":346},"skills/supply-chain-risk-auditor/SKILL.md",{"basePath":848,"description":849,"displayName":850,"installMethods":851,"rationale":852,"selectedPaths":853,"source":333,"sourceLanguage":18,"type":259},"plugins/zeroize-audit","Detects missing or compiler-optimized zeroization of sensitive data with assembly and control-flow analysis","zeroize-audit",{"claudeCode":850},"plugin manifest at plugins/zeroize-audit/.claude-plugin/plugin.json",[854,855,856,858,860,862,864,866,868,870,872,874,876,878],{"path":342,"priority":327},{"path":329,"priority":327},{"path":857,"priority":346},"skills/zeroize-audit/SKILL.md",{"path":859,"priority":332},"agents/0-preflight.md",{"path":861,"priority":332},"agents/1-mcp-resolver.md",{"path":863,"priority":332},"agents/2-source-analyzer.md",{"path":865,"priority":332},"agents/2b-rust-source-analyzer.md",{"path":867,"priority":332},"agents/3-tu-compiler-analyzer.md",{"path":869,"priority":332},"agents/3b-rust-compiler-analyzer.md",{"path":871,"priority":332},"agents/4-report-assembler.md",{"path":873,"priority":332},"agents/5-poc-generator.md",{"path":875,"priority":332},"agents/5b-poc-validator.md",{"path":877,"priority":332},"agents/5c-poc-verifier.md",{"path":879,"priority":332},"agents/6-test-generator.md",{"basePath":881,"description":882,"displayName":883,"installMethods":884,"rationale":885,"selectedPaths":886,"source":333,"sourceLanguage":18,"type":259},"plugins/let-fate-decide","Draws Tarot cards using cryptographic randomness to add entropy to vague or underspecified planning. Interprets the spread to guide next steps. Use when feeling lucky, invoking heart-of-the-cards energy, or when prompts are ambiguous.","let-fate-decide",{"claudeCode":883},"plugin manifest at plugins/let-fate-decide/.claude-plugin/plugin.json",[887,888,889,891],{"path":342,"priority":327},{"path":329,"priority":327},{"path":890,"priority":346},"skills/let-fate-decide/SKILL.md",{"path":892,"priority":332},"agents/draw.md",{"basePath":894,"description":895,"displayName":896,"installMethods":897,"rationale":898,"selectedPaths":899,"source":333,"sourceLanguage":18,"type":259},"plugins/agentic-actions-auditor","Audits GitHub Actions workflows for security vulnerabilities in AI agent integrations (Claude Code Action, Gemini CLI, OpenAI Codex, GitHub AI Inference)","agentic-actions-auditor",{"claudeCode":896},"plugin manifest at plugins/agentic-actions-auditor/.claude-plugin/plugin.json",[900,901,902],{"path":342,"priority":327},{"path":329,"priority":327},{"path":903,"priority":346},"skills/agentic-actions-auditor/SKILL.md",{"basePath":905,"description":906,"displayName":907,"installMethods":908,"rationale":909,"selectedPaths":910,"source":333,"sourceLanguage":18,"type":259},"plugins/skill-improver","Automatically reviews and fixes Claude Code skills through iterative refinement until they meet quality standards. Requires plugin-dev plugin.","skill-improver",{"claudeCode":907},"plugin manifest at plugins/skill-improver/.claude-plugin/plugin.json",[911,912,913,915,917,919,920],{"path":342,"priority":327},{"path":329,"priority":327},{"path":914,"priority":346},"skills/skill-improver/SKILL.md",{"path":916,"priority":332},"commands/cancel-skill-improver.md",{"path":918,"priority":332},"commands/skill-improver.md",{"path":503,"priority":332},{"path":921,"priority":332},"hooks/stop-hook.sh",{"basePath":923,"description":924,"displayName":925,"installMethods":926,"rationale":927,"selectedPaths":928,"source":333,"sourceLanguage":18,"type":259},"plugins/fp-check","Systematic false positive verification for security bug analysis with mandatory gate reviews","fp-check",{"claudeCode":925},"plugin manifest at plugins/fp-check/.claude-plugin/plugin.json",[929,930,931,933,935,937,939],{"path":342,"priority":327},{"path":329,"priority":327},{"path":932,"priority":346},"skills/fp-check/SKILL.md",{"path":934,"priority":332},"agents/data-flow-analyzer.md",{"path":936,"priority":332},"agents/exploitability-verifier.md",{"path":938,"priority":332},"agents/poc-builder.md",{"path":503,"priority":332},{"basePath":941,"description":942,"displayName":943,"installMethods":944,"rationale":945,"selectedPaths":946,"source":333,"sourceLanguage":18,"type":259},"plugins/dimensional-analysis","Annotates codebases with dimensional analysis comments documenting units, dimensions, and decimal scaling. Use when someone asks to annotate units in a codebase, perform a dimensional analysis, or find vulnerabilities in a DeFi protocol. Prevents dimensional mismatches and catches formula bugs early.","dimensional-analysis",{"claudeCode":943},"plugin manifest at plugins/dimensional-analysis/.claude-plugin/plugin.json",[947,948,949,951,953,955,957,959],{"path":342,"priority":327},{"path":329,"priority":327},{"path":950,"priority":346},"skills/dimensional-analysis/SKILL.md",{"path":952,"priority":332},"agents/arithmetic-scanner.md",{"path":954,"priority":332},"agents/dimension-annotator.md",{"path":956,"priority":332},"agents/dimension-discoverer.md",{"path":958,"priority":332},"agents/dimension-propagator.md",{"path":960,"priority":332},"agents/dimension-validator.md",{"basePath":962,"description":963,"displayName":494,"installMethods":964,"rationale":965,"selectedPaths":966,"source":333,"sourceLanguage":18,"type":249},".codex/skills/gh-cli","Enforces authenticated gh CLI workflows over unauthenticated curl/WebFetch patterns. Use when working with GitHub URLs, API access, pull requests, or issues.",{"claudeCode":12},"SKILL.md frontmatter at .codex/skills/gh-cli/SKILL.md",[967],{"path":968,"priority":327},"SKILL.md",{"basePath":970,"description":971,"displayName":896,"installMethods":972,"rationale":973,"selectedPaths":974,"source":333,"sourceLanguage":18,"type":249},"plugins/agentic-actions-auditor/skills/agentic-actions-auditor","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/CD 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/CD pipeline security for prompt injection risks, or evaluating agentic action configurations.",{"claudeCode":12},"SKILL.md frontmatter at plugins/agentic-actions-auditor/skills/agentic-actions-auditor/SKILL.md",[975,976,978,980,982,984,986,988,990,992,994,996,998],{"path":968,"priority":327},{"path":977,"priority":346},"references/action-profiles.md",{"path":979,"priority":346},"references/cross-file-resolution.md",{"path":981,"priority":346},"references/foundations.md",{"path":983,"priority":346},"references/vector-a-env-var-intermediary.md",{"path":985,"priority":346},"references/vector-b-direct-expression-injection.md",{"path":987,"priority":346},"references/vector-c-cli-data-fetch.md",{"path":989,"priority":346},"references/vector-d-pr-target-checkout.md",{"path":991,"priority":346},"references/vector-e-error-log-injection.md",{"path":993,"priority":346},"references/vector-f-subshell-expansion.md",{"path":995,"priority":346},"references/vector-g-eval-of-ai-output.md",{"path":997,"priority":346},"references/vector-h-dangerous-sandbox-configs.md",{"path":999,"priority":346},"references/vector-i-wildcard-allowlists.md",{"basePath":1001,"description":1002,"displayName":337,"installMethods":1003,"rationale":1004,"selectedPaths":1005,"source":333,"sourceLanguage":18,"type":249},"plugins/ask-questions-if-underspecified/skills/ask-questions-if-underspecified","Clarify requirements before implementing. Use when serious doubts arise.",{"claudeCode":12},"SKILL.md frontmatter at plugins/ask-questions-if-underspecified/skills/ask-questions-if-underspecified/SKILL.md",[1006],{"path":968,"priority":327},{"basePath":1008,"description":1009,"displayName":350,"installMethods":1010,"rationale":1011,"selectedPaths":1012,"source":333,"sourceLanguage":18,"type":249},"plugins/audit-context-building/skills/audit-context-building","Enables ultra-granular, line-by-line code analysis to build deep architectural context before vulnerability or bug finding.",{"claudeCode":12},"SKILL.md frontmatter at plugins/audit-context-building/skills/audit-context-building/SKILL.md",[1013],{"path":968,"priority":327},{"basePath":1015,"description":1016,"displayName":1017,"installMethods":1018,"rationale":1019,"selectedPaths":1020,"source":333,"sourceLanguage":18,"type":249},"plugins/building-secure-contracts/skills/algorand-vulnerability-scanner","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/PyTeal).","algorand-vulnerability-scanner",{"claudeCode":12},"SKILL.md frontmatter at plugins/building-secure-contracts/skills/algorand-vulnerability-scanner/SKILL.md",[1021],{"path":968,"priority":327},{"basePath":1023,"description":1024,"displayName":1025,"installMethods":1026,"rationale":1027,"selectedPaths":1028,"source":333,"sourceLanguage":18,"type":249},"plugins/building-secure-contracts/skills/audit-prep-assistant","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).","audit-prep-assistant",{"claudeCode":12},"SKILL.md frontmatter at plugins/building-secure-contracts/skills/audit-prep-assistant/SKILL.md",[1029],{"path":968,"priority":327},{"basePath":1031,"description":1032,"displayName":1033,"installMethods":1034,"rationale":1035,"selectedPaths":1036,"source":333,"sourceLanguage":18,"type":249},"plugins/building-secure-contracts/skills/cairo-vulnerability-scanner","Scans Cairo/StarkNet 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.","cairo-vulnerability-scanner",{"claudeCode":12},"SKILL.md frontmatter at plugins/building-secure-contracts/skills/cairo-vulnerability-scanner/SKILL.md",[1037],{"path":968,"priority":327},{"basePath":1039,"description":1040,"displayName":1041,"installMethods":1042,"rationale":1043,"selectedPaths":1044,"source":333,"sourceLanguage":18,"type":249},"plugins/building-secure-contracts/skills/code-maturity-assessor","Systematic code maturity assessment using Trail of Bits' 9-category framework. Analyzes codebase for arithmetic safety, auditing practices, access controls, complexity, decentralization, documentation, MEV risks, low-level code, and testing. Produces professional scorecard with evidence-based ratings and actionable recommendations.","code-maturity-assessor",{"claudeCode":12},"SKILL.md frontmatter at plugins/building-secure-contracts/skills/code-maturity-assessor/SKILL.md",[1045],{"path":968,"priority":327},{"basePath":1047,"description":1048,"displayName":1049,"installMethods":1050,"rationale":1051,"selectedPaths":1052,"source":333,"sourceLanguage":18,"type":249},"plugins/building-secure-contracts/skills/cosmos-vulnerability-scanner","Scans Cosmos SDK blockchain modules and CosmWasm contracts for consensus-critical vulnerabilities — chain halts, fund loss, state divergence. 25 core + 16 IBC + 10 EVM + 3 CosmWasm patterns. Use when auditing custom x/ modules, reviewing IBC integrations, or assessing pre-launch chain security. Updated for SDK v0.53.x.","cosmos-vulnerability-scanner",{"claudeCode":12},"SKILL.md frontmatter at plugins/building-secure-contracts/skills/cosmos-vulnerability-scanner/SKILL.md",[1053,1054],{"path":968,"priority":327},{"path":1055,"priority":346},"CHANGELOG.md",{"basePath":1057,"description":1058,"displayName":1059,"installMethods":1060,"rationale":1061,"selectedPaths":1062,"source":333,"sourceLanguage":18,"type":249},"plugins/building-secure-contracts/skills/guidelines-advisor","Smart contract development advisor based on Trail of Bits' best practices. Analyzes codebase to generate documentation/specifications, review architecture, check upgradeability patterns, assess implementation quality, identify pitfalls, review dependencies, and evaluate testing. Provides actionable recommendations.","guidelines-advisor",{"claudeCode":12},"SKILL.md frontmatter at plugins/building-secure-contracts/skills/guidelines-advisor/SKILL.md",[1063],{"path":968,"priority":327},{"basePath":1065,"description":1066,"displayName":1067,"installMethods":1068,"rationale":1069,"selectedPaths":1070,"source":333,"sourceLanguage":18,"type":249},"plugins/building-secure-contracts/skills/secure-workflow-guide","Guides through Trail of Bits' 5-step secure development workflow. Runs Slither scans, checks special features (upgradeability/ERC conformance/token integration), generates visual security diagrams, helps document security properties for fuzzing/verification, and reviews manual security areas.","secure-workflow-guide",{"claudeCode":12},"SKILL.md frontmatter at plugins/building-secure-contracts/skills/secure-workflow-guide/SKILL.md",[1071],{"path":968,"priority":327},{"basePath":1073,"description":1074,"displayName":1075,"installMethods":1076,"rationale":1077,"selectedPaths":1078,"source":333,"sourceLanguage":18,"type":249},"plugins/building-secure-contracts/skills/solana-vulnerability-scanner","Scans Solana programs for 6 critical vulnerabilities including arbitrary CPI, improper PDA validation, missing signer/ownership checks, and sysvar spoofing. Use when auditing Solana/Anchor programs.","solana-vulnerability-scanner",{"claudeCode":12},"SKILL.md frontmatter at plugins/building-secure-contracts/skills/solana-vulnerability-scanner/SKILL.md",[1079],{"path":968,"priority":327},{"basePath":1081,"description":1082,"displayName":1083,"installMethods":1084,"rationale":1085,"selectedPaths":1086,"source":333,"sourceLanguage":18,"type":249},"plugins/building-secure-contracts/skills/substrate-vulnerability-scanner","Scans Substrate/Polkadot pallets for 7 critical vulnerabilities including arithmetic overflow, panic DoS, incorrect weights, and bad origin checks. Use when auditing Substrate runtimes or FRAME pallets.","substrate-vulnerability-scanner",{"claudeCode":12},"SKILL.md frontmatter at plugins/building-secure-contracts/skills/substrate-vulnerability-scanner/SKILL.md",[1087],{"path":968,"priority":327},{"basePath":1089,"description":1090,"displayName":1091,"installMethods":1092,"rationale":1093,"selectedPaths":1094,"source":333,"sourceLanguage":18,"type":249},"plugins/building-secure-contracts/skills/token-integration-analyzer","Token integration and implementation analyzer based on Trail of Bits' token integration checklist. Analyzes token implementations for ERC20/ERC721 conformity, checks for 20+ weird token patterns, assesses contract composition and owner privileges, performs on-chain scarcity analysis, and evaluates how protocols handle non-standard tokens. Context-aware for both token implementations and token integrations.","token-integration-analyzer",{"claudeCode":12},"SKILL.md frontmatter at plugins/building-secure-contracts/skills/token-integration-analyzer/SKILL.md",[1095],{"path":968,"priority":327},{"basePath":1097,"description":1098,"displayName":1099,"installMethods":1100,"rationale":1101,"selectedPaths":1102,"source":333,"sourceLanguage":18,"type":249},"plugins/building-secure-contracts/skills/ton-vulnerability-scanner","Scans TON (The Open Network) smart contracts for 3 critical vulnerabilities including integer-as-boolean misuse, fake Jetton contracts, and forward TON without gas checks. Use when auditing FunC contracts.","ton-vulnerability-scanner",{"claudeCode":12},"SKILL.md frontmatter at plugins/building-secure-contracts/skills/ton-vulnerability-scanner/SKILL.md",[1103],{"path":968,"priority":327},{"basePath":1105,"description":1106,"displayName":396,"installMethods":1107,"rationale":1108,"selectedPaths":1109,"source":333,"sourceLanguage":18,"type":249},"plugins/burpsuite-project-parser/skills/burpsuite-project-parser","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.",{"claudeCode":12},"SKILL.md frontmatter at plugins/burpsuite-project-parser/skills/burpsuite-project-parser/SKILL.md",[1110,1111],{"path":968,"priority":327},{"path":1112,"priority":1113},"scripts/burp-search.sh","low",{"basePath":1115,"description":1116,"displayName":722,"installMethods":1117,"rationale":1118,"selectedPaths":1119,"source":333,"sourceLanguage":18,"type":249},"plugins/c-review/skills/c-review","Performs comprehensive C/C++ security review for memory corruption, integer overflows, race conditions, and platform-specific vulnerabilities. Use when auditing native C/C++ applications, reviewing daemons or services for memory safety, or hunting integer overflow / use-after-free / race conditions in userspace code.",{"claudeCode":12},"SKILL.md frontmatter at plugins/c-review/skills/c-review/SKILL.md",[1120],{"path":968,"priority":327},{"basePath":1122,"description":1123,"displayName":409,"installMethods":1124,"rationale":1125,"selectedPaths":1126,"source":333,"sourceLanguage":18,"type":249},"plugins/claude-in-chrome-troubleshooting/skills/claude-in-chrome-troubleshooting","Diagnose and fix Claude in Chrome MCP extension connectivity issues. Use when mcp__claude-in-chrome__* tools fail, return \"Browser extension is not connected\", or behave erratically.",{"claudeCode":12},"SKILL.md frontmatter at plugins/claude-in-chrome-troubleshooting/skills/claude-in-chrome-troubleshooting/SKILL.md",[1127],{"path":968,"priority":327},{"basePath":1129,"description":1130,"displayName":420,"installMethods":1131,"rationale":1132,"selectedPaths":1133,"source":333,"sourceLanguage":18,"type":249},"plugins/constant-time-analysis/skills/constant-time-analysis","Detects timing side-channel vulnerabilities in cryptographic code. Use when implementing or reviewing crypto code, encountering division on secrets, secret-dependent branches, or constant-time programming questions in C, C++, Go, Rust, Swift, Java, Kotlin, C#, PHP, JavaScript, TypeScript, Python, or Ruby.",{"claudeCode":12},"SKILL.md frontmatter at plugins/constant-time-analysis/skills/constant-time-analysis/SKILL.md",[1134,1135,1136,1138,1140,1142,1144,1146,1148,1150],{"path":968,"priority":327},{"path":329,"priority":332},{"path":1137,"priority":346},"references/compiled.md",{"path":1139,"priority":346},"references/javascript.md",{"path":1141,"priority":346},"references/kotlin.md",{"path":1143,"priority":346},"references/php.md",{"path":1145,"priority":346},"references/python.md",{"path":1147,"priority":346},"references/ruby.md",{"path":1149,"priority":346},"references/swift.md",{"path":1151,"priority":346},"references/vm-compiled.md",{"basePath":1153,"description":1154,"displayName":1155,"installMethods":1156,"rationale":1157,"selectedPaths":1158,"source":333,"sourceLanguage":18,"type":249},"plugins/culture-index/skills/interpreting-culture-index","Interprets Culture Index (CI) surveys, behavioral profiles, and personality assessment data. Supports individual profile interpretation, team composition analysis (gas/brake/glue), burnout detection, profile comparison, hiring profiles, manager coaching, interview transcript analysis for trait prediction, candidate debrief, onboarding planning, and conflict mediation. Accepts extracted JSON or PDF input via OpenCV extraction script.","interpreting-culture-index",{"claudeCode":12},"SKILL.md frontmatter at plugins/culture-index/skills/interpreting-culture-index/SKILL.md",[1159,1160,1162,1164,1166,1168,1170,1172,1174,1176,1178,1180,1182,1184,1186,1188,1190,1192,1194,1196,1198,1200,1202,1204,1206,1208,1210,1212,1214,1216,1218,1220,1222,1224,1226,1228,1230,1232,1234,1236],{"path":968,"priority":327},{"path":1161,"priority":346},"references/anti-patterns.md",{"path":1163,"priority":346},"references/archetype-administrator.md",{"path":1165,"priority":346},"references/archetype-coordinator.md",{"path":1167,"priority":346},"references/archetype-craftsman.md",{"path":1169,"priority":346},"references/archetype-daredevil.md",{"path":1171,"priority":346},"references/archetype-debater.md",{"path":1173,"priority":346},"references/archetype-facilitator.md",{"path":1175,"priority":346},"references/archetype-influencer.md",{"path":1177,"priority":346},"references/archetype-operator.md",{"path":1179,"priority":346},"references/archetype-persuader.md",{"path":1181,"priority":346},"references/archetype-philosopher.md",{"path":1183,"priority":346},"references/archetype-rainmaker.md",{"path":1185,"priority":346},"references/archetype-scholar.md",{"path":1187,"priority":346},"references/archetype-socializer.md",{"path":1189,"priority":346},"references/archetype-specialist.md",{"path":1191,"priority":346},"references/archetype-technical-expert.md",{"path":1193,"priority":346},"references/archetype-traditionalist.md",{"path":1195,"priority":346},"references/archetype-trailblazer.md",{"path":1197,"priority":346},"references/conversation-starters.md",{"path":1199,"priority":346},"references/interview-trait-signals.md",{"path":1201,"priority":346},"references/motivators.md",{"path":1203,"priority":346},"references/patterns-archetypes.md",{"path":1205,"priority":346},"references/primary-traits.md",{"path":1207,"priority":346},"references/secondary-traits.md",{"path":1209,"priority":346},"references/team-composition.md",{"path":1211,"priority":1113},"scripts/check_deps.py",{"path":1213,"priority":1113},"scripts/culture_index/__init__.py",{"path":1215,"priority":1113},"scripts/culture_index/constants.py",{"path":1217,"priority":1113},"scripts/culture_index/extract.py",{"path":1219,"priority":1113},"scripts/culture_index/models.py",{"path":1221,"priority":1113},"scripts/culture_index/opencv_extractor.py",{"path":1223,"priority":1113},"scripts/extract_pdf.py",{"path":1225,"priority":1113},"scripts/pyproject.toml",{"path":1227,"priority":1113},"templates/burnout-report.md",{"path":1229,"priority":1113},"templates/comparison-report.md",{"path":1231,"priority":1113},"templates/hiring-profile.md",{"path":1233,"priority":1113},"templates/individual-report.md",{"path":1235,"priority":1113},"templates/predicted-profile.md",{"path":1237,"priority":1113},"templates/team-report.md",{"basePath":1239,"description":1240,"displayName":444,"installMethods":1241,"rationale":1242,"selectedPaths":1243,"source":333,"sourceLanguage":18,"type":249},"plugins/debug-buttercup/skills/debug-buttercup","Debugs the Buttercup CRS (Cyber Reasoning System) running on Kubernetes. Use when diagnosing pod crashes, restart loops, Redis failures, resource pressure, disk saturation, DinD issues, or any service misbehavior in the crs namespace. Covers triage, log analysis, queue inspection, and common failure patterns for: redis, fuzzer-bot, coverage-bot, seed-gen, patcher, build-bot, scheduler, task-server, task-downloader, program-model, litellm, dind, tracer-bot, merger-bot, competition-api, pov-reproducer, scratch-cleaner, registry-cache, image-preloader, ui.\n",{"claudeCode":12},"SKILL.md frontmatter at plugins/debug-buttercup/skills/debug-buttercup/SKILL.md",[1244,1245,1247],{"path":968,"priority":327},{"path":1246,"priority":346},"references/failure-patterns.md",{"path":1248,"priority":1113},"scripts/diagnose.sh",{"basePath":1250,"description":1251,"displayName":455,"installMethods":1252,"rationale":1253,"selectedPaths":1254,"source":333,"sourceLanguage":18,"type":249},"plugins/devcontainer-setup/skills/devcontainer-setup","Creates devcontainers with Claude Code, language-specific tooling (Python/Node/Rust/Go), and persistent volumes. Use when adding devcontainer support to a project, setting up isolated development environments, or configuring sandboxed Claude Code workspaces.",{"claudeCode":12},"SKILL.md frontmatter at plugins/devcontainer-setup/skills/devcontainer-setup/SKILL.md",[1255,1256,1258],{"path":968,"priority":327},{"path":1257,"priority":346},"references/dockerfile-best-practices.md",{"path":1259,"priority":346},"references/features-vs-dockerfile.md",{"basePath":1261,"description":1262,"displayName":466,"installMethods":1263,"rationale":1264,"selectedPaths":1265,"source":333,"sourceLanguage":18,"type":249},"plugins/differential-review/skills/differential-review","Performs security-focused differential review of code changes (PRs, commits, diffs). Adapts analysis depth to codebase size, uses git history for context, calculates blast radius, checks test coverage, and generates comprehensive markdown reports. Automatically detects and prevents security regressions.\n",{"claudeCode":12},"SKILL.md frontmatter at plugins/differential-review/skills/differential-review/SKILL.md",[1266,1267,1269,1271,1273],{"path":968,"priority":327},{"path":1268,"priority":346},"adversarial.md",{"path":1270,"priority":346},"methodology.md",{"path":1272,"priority":346},"patterns.md",{"path":1274,"priority":346},"reporting.md",{"basePath":1276,"description":1277,"displayName":943,"installMethods":1278,"rationale":1279,"selectedPaths":1280,"source":333,"sourceLanguage":18,"type":249},"plugins/dimensional-analysis/skills/dimensional-analysis","Annotates codebases with dimensional analysis comments documenting units, dimensions, and decimal scaling. Use when someone asks to annotate units in a codebase, perform a dimensional analysis, or find vulnerabilities in a DeFi protocol, offchain code, or other blockchain-related codebase with arithmetic. Prevents dimensional mismatches and catches formula bugs early.",{"claudeCode":12},"SKILL.md frontmatter at plugins/dimensional-analysis/skills/dimensional-analysis/SKILL.md",[1281,1282,1284,1286,1288],{"path":968,"priority":327},{"path":1283,"priority":346},"references/annotate.md",{"path":1285,"priority":346},"references/bug-patterns.md",{"path":1287,"priority":346},"references/common-dimensions.md",{"path":1289,"priority":346},"references/dimension-algebra.md",{"basePath":1291,"description":1292,"displayName":529,"installMethods":1293,"rationale":1294,"selectedPaths":1295,"source":333,"sourceLanguage":18,"type":249},"plugins/dwarf-expert/skills/dwarf-expert","Provides expertise for analyzing DWARF debug files and understanding the DWARF debug format/standard (v3-v5). Triggers when understanding DWARF information, interacting with DWARF files, answering DWARF-related questions, or working with code that parses DWARF data.",{"claudeCode":12},"SKILL.md frontmatter at plugins/dwarf-expert/skills/dwarf-expert/SKILL.md",[1296],{"path":968,"priority":327},{"basePath":1298,"description":1299,"displayName":540,"installMethods":1300,"rationale":1301,"selectedPaths":1302,"source":333,"sourceLanguage":18,"type":249},"plugins/entry-point-analyzer/skills/entry-point-analyzer","Analyzes smart contract codebases to identify state-changing entry points for security auditing. Detects externally callable functions that modify state, categorizes them by access level (public, admin, role-restricted, contract-only), and generates structured audit reports. Excludes view/pure/read-only functions. Use when auditing smart contracts (Solidity, Vyper, Solana/Rust, Move, TON, CosmWasm) or when asked to find entry points, audit flows, external functions, access control patterns, or privileged operations.",{"claudeCode":12},"SKILL.md frontmatter at plugins/entry-point-analyzer/skills/entry-point-analyzer/SKILL.md",[1303,1304,1306,1308,1310,1312,1314,1316],{"path":968,"priority":327},{"path":1305,"priority":346},"references/cosmwasm.md",{"path":1307,"priority":346},"references/move-aptos.md",{"path":1309,"priority":346},"references/move-sui.md",{"path":1311,"priority":346},"references/solana.md",{"path":1313,"priority":346},"references/solidity.md",{"path":1315,"priority":346},"references/ton.md",{"path":1317,"priority":346},"references/vyper.md",{"basePath":1319,"description":1320,"displayName":481,"installMethods":1321,"rationale":1322,"selectedPaths":1323,"source":333,"sourceLanguage":18,"type":249},"plugins/firebase-apk-scanner/skills/firebase-apk-scanner","Scans Android APKs for Firebase security misconfigurations including open databases, storage buckets, authentication issues, and exposed cloud functions. Use when analyzing APK files for Firebase vulnerabilities, performing mobile app security audits, or testing Firebase endpoint security. For authorized security research only.",{"claudeCode":12},"SKILL.md frontmatter at plugins/firebase-apk-scanner/skills/firebase-apk-scanner/SKILL.md",[1324,1325],{"path":968,"priority":327},{"path":1326,"priority":346},"references/vulnerabilities.md",{"basePath":1328,"description":1329,"displayName":925,"installMethods":1330,"rationale":1331,"selectedPaths":1332,"source":333,"sourceLanguage":18,"type":249},"plugins/fp-check/skills/fp-check","Systematically verifies suspected security bugs to eliminate false positives. Produces TRUE POSITIVE or FALSE POSITIVE verdicts with documented evidence for each bug.",{"claudeCode":12},"SKILL.md frontmatter at plugins/fp-check/skills/fp-check/SKILL.md",[1333,1334,1336,1338,1340,1342,1344],{"path":968,"priority":327},{"path":1335,"priority":346},"references/bug-class-verification.md",{"path":1337,"priority":346},"references/deep-verification.md",{"path":1339,"priority":346},"references/evidence-templates.md",{"path":1341,"priority":346},"references/false-positive-patterns.md",{"path":1343,"priority":346},"references/gate-reviews.md",{"path":1345,"priority":346},"references/standard-verification.md",{"basePath":1347,"description":803,"displayName":804,"installMethods":1348,"rationale":1349,"selectedPaths":1350,"source":333,"sourceLanguage":18,"type":249},"plugins/git-cleanup/skills/git-cleanup",{"claudeCode":12},"SKILL.md frontmatter at plugins/git-cleanup/skills/git-cleanup/SKILL.md",[1351],{"path":968,"priority":327},{"basePath":1353,"description":1354,"displayName":769,"installMethods":1355,"rationale":1356,"selectedPaths":1357,"source":333,"sourceLanguage":18,"type":249},"plugins/insecure-defaults/skills/insecure-defaults","Detects fail-open insecure defaults (hardcoded secrets, weak auth, permissive security) that allow apps to run insecurely in production. Use when auditing security, reviewing config management, or analyzing environment variable handling.",{"claudeCode":12},"SKILL.md frontmatter at plugins/insecure-defaults/skills/insecure-defaults/SKILL.md",[1358,1359],{"path":968,"priority":327},{"path":1360,"priority":346},"references/examples.md",{"basePath":1362,"description":1363,"displayName":883,"installMethods":1364,"rationale":1365,"selectedPaths":1366,"source":333,"sourceLanguage":18,"type":249},"plugins/let-fate-decide/skills/let-fate-decide","Draws 4 Tarot cards to inject entropy into planning when prompts are vague, ambiguous, or casually delegated. Interprets the spread to guide next steps. Use when the user says 'let fate decide', 'YOLO', 'whatever', 'idk', or other nonchalant phrases, makes Yu-Gi-Oh references, or when you are about to arbitrarily pick between multiple reasonable approaches. Prefer over ask-questions-if-underspecified when the user's tone is casual or playful rather than precision-seeking.",{"claudeCode":12},"SKILL.md frontmatter at plugins/let-fate-decide/skills/let-fate-decide/SKILL.md",[1367,1368,1370,1372,1373],{"path":968,"priority":327},{"path":1369,"priority":346},"references/INTERPRETATION_GUIDE.md",{"path":1371,"priority":1113},"scripts/draw_cards.py",{"path":1225,"priority":1113},{"path":1374,"priority":1113},"scripts/test_draw_cards.py",{"basePath":1376,"description":1377,"displayName":739,"installMethods":1378,"rationale":1379,"selectedPaths":1380,"source":333,"sourceLanguage":18,"type":249},"plugins/modern-python/skills/modern-python","Configures Python projects with modern tooling (uv, ruff, ty). Use when creating projects, writing standalone scripts, or migrating from pip/Poetry/mypy/black.",{"claudeCode":12},"SKILL.md frontmatter at plugins/modern-python/skills/modern-python/SKILL.md",[1381,1382,1384,1386,1388,1390,1392,1394,1396,1398,1400,1402],{"path":968,"priority":327},{"path":1383,"priority":346},"references/dependabot.md",{"path":1385,"priority":346},"references/migration-checklist.md",{"path":1387,"priority":346},"references/pep723-scripts.md",{"path":1389,"priority":346},"references/prek.md",{"path":1391,"priority":346},"references/pyproject.md",{"path":1393,"priority":346},"references/ruff-config.md",{"path":1395,"priority":346},"references/security-setup.md",{"path":1397,"priority":346},"references/testing.md",{"path":1399,"priority":346},"references/uv-commands.md",{"path":1401,"priority":1113},"templates/dependabot.yml",{"path":1403,"priority":1113},"templates/pre-commit-config.yaml",{"basePath":1405,"description":552,"displayName":553,"installMethods":1406,"rationale":1407,"selectedPaths":1408,"source":333,"sourceLanguage":18,"type":249},"plugins/mutation-testing/skills/mutation-testing",{"claudeCode":12},"SKILL.md frontmatter at plugins/mutation-testing/skills/mutation-testing/SKILL.md",[1409,1410],{"path":968,"priority":327},{"path":1411,"priority":346},"references/optimization-strategies.md",{"basePath":246,"description":10,"displayName":215,"installMethods":1413,"rationale":1414,"selectedPaths":1415,"source":333,"sourceLanguage":18,"type":249},{"claudeCode":12},"SKILL.md frontmatter at plugins/property-based-testing/skills/property-based-testing/SKILL.md",[1416,1417,1418,1420,1422,1424,1426,1428,1430],{"path":968,"priority":327},{"path":329,"priority":332},{"path":1419,"priority":346},"references/design.md",{"path":1421,"priority":346},"references/generating.md",{"path":1423,"priority":346},"references/interpreting-failures.md",{"path":1425,"priority":346},"references/libraries.md",{"path":1427,"priority":346},"references/refactoring.md",{"path":1429,"priority":346},"references/reviewing.md",{"path":1431,"priority":346},"references/strategies.md",{"basePath":1433,"description":1434,"displayName":828,"installMethods":1435,"rationale":1436,"selectedPaths":1437,"source":333,"sourceLanguage":18,"type":249},"plugins/seatbelt-sandboxer/skills/seatbelt-sandboxer","Generates minimal macOS Seatbelt sandbox configurations. Use when sandboxing, isolating, or restricting macOS applications with allowlist-based profiles.",{"claudeCode":12},"SKILL.md frontmatter at plugins/seatbelt-sandboxer/skills/seatbelt-sandboxer/SKILL.md",[1438],{"path":968,"priority":327},{"basePath":1440,"description":1441,"displayName":780,"installMethods":1442,"rationale":1443,"selectedPaths":1444,"source":333,"sourceLanguage":18,"type":249},"plugins/second-opinion/skills/second-opinion","Runs external LLM code reviews (OpenAI Codex or Google Gemini CLI) on uncommitted changes, branch diffs, or specific commits. Use when the user asks for a second opinion, external review, codex review, gemini review, or mentions /second-opinion.",{"claudeCode":12},"SKILL.md frontmatter at plugins/second-opinion/skills/second-opinion/SKILL.md",[1445,1446,1448,1450],{"path":968,"priority":327},{"path":1447,"priority":346},"references/codex-invocation.md",{"path":1449,"priority":346},"references/codex-review-schema.json",{"path":1451,"priority":346},"references/gemini-invocation.md",{"basePath":1453,"description":1454,"displayName":572,"installMethods":1455,"rationale":1456,"selectedPaths":1457,"source":333,"sourceLanguage":18,"type":249},"plugins/semgrep-rule-creator/skills/semgrep-rule-creator","Creates custom Semgrep rules for detecting security vulnerabilities, bug patterns, and code patterns. Use when writing Semgrep rules or building custom static analysis detections.",{"claudeCode":12},"SKILL.md frontmatter at plugins/semgrep-rule-creator/skills/semgrep-rule-creator/SKILL.md",[1458,1459,1461],{"path":968,"priority":327},{"path":1460,"priority":346},"references/quick-reference.md",{"path":1462,"priority":346},"references/workflow.md",{"basePath":1464,"description":1465,"displayName":585,"installMethods":1466,"rationale":1467,"selectedPaths":1468,"source":333,"sourceLanguage":18,"type":249},"plugins/semgrep-rule-variant-creator/skills/semgrep-rule-variant-creator","Creates language variants of existing Semgrep rules. Use when porting a Semgrep rule to specified target languages. Takes an existing rule and target languages as input, produces independent rule+test directories for each language.",{"claudeCode":12},"SKILL.md frontmatter at plugins/semgrep-rule-variant-creator/skills/semgrep-rule-variant-creator/SKILL.md",[1469,1470,1472,1474],{"path":968,"priority":327},{"path":1471,"priority":346},"references/applicability-analysis.md",{"path":1473,"priority":346},"references/language-syntax-guide.md",{"path":1462,"priority":346},{"basePath":1476,"description":1477,"displayName":596,"installMethods":1478,"rationale":1479,"selectedPaths":1480,"source":333,"sourceLanguage":18,"type":249},"plugins/sharp-edges/skills/sharp-edges","Identifies error-prone APIs, dangerous configurations, and footgun designs that enable security mistakes. Use when reviewing API designs, configuration schemas, cryptographic library ergonomics, or evaluating whether code follows 'secure by default' and 'pit of success' principles. Triggers: footgun, misuse-resistant, secure defaults, API usability, dangerous configuration.",{"claudeCode":12},"SKILL.md frontmatter at plugins/sharp-edges/skills/sharp-edges/SKILL.md",[1481,1482,1484,1486,1488,1490,1492,1494,1496,1498,1500,1502,1504,1506,1508,1510,1512],{"path":968,"priority":327},{"path":1483,"priority":346},"references/auth-patterns.md",{"path":1485,"priority":346},"references/case-studies.md",{"path":1487,"priority":346},"references/config-patterns.md",{"path":1489,"priority":346},"references/crypto-apis.md",{"path":1491,"priority":346},"references/lang-c.md",{"path":1493,"priority":346},"references/lang-csharp.md",{"path":1495,"priority":346},"references/lang-go.md",{"path":1497,"priority":346},"references/lang-java.md",{"path":1499,"priority":346},"references/lang-javascript.md",{"path":1501,"priority":346},"references/lang-kotlin.md",{"path":1503,"priority":346},"references/lang-php.md",{"path":1505,"priority":346},"references/lang-python.md",{"path":1507,"priority":346},"references/lang-ruby.md",{"path":1509,"priority":346},"references/lang-rust.md",{"path":1511,"priority":346},"references/lang-swift.md",{"path":1513,"priority":346},"references/language-specific.md",{"basePath":1515,"description":1516,"displayName":907,"installMethods":1517,"rationale":1518,"selectedPaths":1519,"source":333,"sourceLanguage":18,"type":249},"plugins/skill-improver/skills/skill-improver","Iteratively reviews and fixes Claude Code skill quality issues until they meet standards. Runs automated fix-review cycles using the skill-reviewer agent. Use to fix skill quality issues, improve skill descriptions, run automated skill review loops, or iteratively refine a skill. Triggers on 'fix my skill', 'improve skill quality', 'skill improvement loop'. NOT for one-time reviews—use /skill-reviewer directly.",{"claudeCode":12},"SKILL.md frontmatter at plugins/skill-improver/skills/skill-improver/SKILL.md",[1520],{"path":968,"priority":327},{"basePath":1522,"description":1523,"displayName":626,"installMethods":1524,"rationale":1525,"selectedPaths":1526,"source":333,"sourceLanguage":18,"type":249},"plugins/spec-to-code-compliance/skills/spec-to-code-compliance","Verifies code implements exactly what documentation specifies for blockchain audits. Use when comparing code against whitepapers, finding gaps between specs and implementation, or performing compliance checks for protocol implementations.",{"claudeCode":12},"SKILL.md frontmatter at plugins/spec-to-code-compliance/skills/spec-to-code-compliance/SKILL.md",[1527],{"path":968,"priority":327},{"basePath":1529,"description":1530,"displayName":1531,"installMethods":1532,"rationale":1533,"selectedPaths":1534,"source":333,"sourceLanguage":18,"type":249},"plugins/static-analysis/skills/codeql","Scans a codebase for security vulnerabilities using CodeQL's interprocedural data flow and taint tracking analysis. Triggers on \"run codeql\", \"codeql scan\", \"codeql analysis\", \"build codeql database\", or \"find vulnerabilities with codeql\". Supports \"run all\" (security-and-quality + security-experimental suites) and \"important only\" (high-precision security findings) scan modes. Also handles creating data extension models and processing CodeQL SARIF output.","codeql",{"claudeCode":12},"SKILL.md frontmatter at plugins/static-analysis/skills/codeql/SKILL.md",[1535,1536,1538,1540,1542,1544,1546,1548,1550,1552,1554,1556,1558],{"path":968,"priority":327},{"path":1537,"priority":346},"references/build-fixes.md",{"path":1539,"priority":346},"references/diagnostic-query-templates.md",{"path":1541,"priority":346},"references/extension-yaml-format.md",{"path":1543,"priority":346},"references/important-only-suite.md",{"path":1545,"priority":346},"references/language-details.md",{"path":1547,"priority":346},"references/macos-arm64e-workaround.md",{"path":1549,"priority":346},"references/performance-tuning.md",{"path":1551,"priority":346},"references/quality-assessment.md",{"path":1553,"priority":346},"references/ruleset-catalog.md",{"path":1555,"priority":346},"references/run-all-suite.md",{"path":1557,"priority":346},"references/sarif-processing.md",{"path":1559,"priority":346},"references/threat-models.md",{"basePath":1561,"description":1562,"displayName":1563,"installMethods":1564,"rationale":1565,"selectedPaths":1566,"source":333,"sourceLanguage":18,"type":249},"plugins/static-analysis/skills/sarif-parsing","Parses and processes SARIF files from static analysis tools like CodeQL, Semgrep, or other scanners. Triggers on \"parse sarif\", \"read scan results\", \"aggregate findings\", \"deduplicate alerts\", or \"process sarif output\". Handles filtering, deduplication, format conversion, and CI/CD integration of SARIF data. Does NOT run scans — use the Semgrep or CodeQL skills for that.","sarif-parsing",{"claudeCode":12},"SKILL.md frontmatter at plugins/static-analysis/skills/sarif-parsing/SKILL.md",[1567],{"path":968,"priority":327},{"basePath":1569,"description":1570,"displayName":1571,"installMethods":1572,"rationale":1573,"selectedPaths":1574,"source":333,"sourceLanguage":18,"type":249},"plugins/static-analysis/skills/semgrep","Run Semgrep static analysis scan on a codebase using parallel subagents. Supports two scan modes — \"run all\" (full ruleset coverage) and \"important only\" (high-confidence security vulnerabilities). Automatically detects and uses Semgrep Pro for cross-file taint analysis when available. Use when asked to scan code for vulnerabilities, run a security audit with Semgrep, find bugs, or perform static analysis. Spawns parallel workers for multi-language codebases.","semgrep",{"claudeCode":12},"SKILL.md frontmatter at plugins/static-analysis/skills/semgrep/SKILL.md",[1575,1576,1578,1580,1582],{"path":968,"priority":327},{"path":1577,"priority":346},"references/rulesets.md",{"path":1579,"priority":346},"references/scan-modes.md",{"path":1581,"priority":346},"references/scanner-task-prompt.md",{"path":1583,"priority":1113},"scripts/merge_sarif.py",{"basePath":1585,"description":1586,"displayName":839,"installMethods":1587,"rationale":1588,"selectedPaths":1589,"source":333,"sourceLanguage":18,"type":249},"plugins/supply-chain-risk-auditor/skills/supply-chain-risk-auditor","Identifies dependencies at heightened risk of exploitation or takeover. Use when assessing supply chain attack surface, evaluating dependency health, or scoping security engagements.",{"claudeCode":12},"SKILL.md frontmatter at plugins/supply-chain-risk-auditor/skills/supply-chain-risk-auditor/SKILL.md",[1590],{"path":968,"priority":327},{"basePath":1592,"description":1593,"displayName":1594,"installMethods":1595,"rationale":1596,"selectedPaths":1597,"source":333,"sourceLanguage":18,"type":249},"plugins/testing-handbook-skills/skills/address-sanitizer","AddressSanitizer detects memory errors during fuzzing. Use when fuzzing C/C++ code to find buffer overflows and use-after-free bugs.\n","address-sanitizer",{"claudeCode":12},"SKILL.md frontmatter at plugins/testing-handbook-skills/skills/address-sanitizer/SKILL.md",[1598],{"path":968,"priority":327},{"basePath":1600,"description":1601,"displayName":1602,"installMethods":1603,"rationale":1604,"selectedPaths":1605,"source":333,"sourceLanguage":18,"type":249},"plugins/testing-handbook-skills/skills/aflpp","AFL++ is a fork of AFL with better fuzzing performance and advanced features. Use for multi-core fuzzing of C/C++ projects.\n","aflpp",{"claudeCode":12},"SKILL.md frontmatter at plugins/testing-handbook-skills/skills/aflpp/SKILL.md",[1606],{"path":968,"priority":327},{"basePath":1608,"description":1609,"displayName":1610,"installMethods":1611,"rationale":1612,"selectedPaths":1613,"source":333,"sourceLanguage":18,"type":249},"plugins/testing-handbook-skills/skills/atheris","Atheris is a coverage-guided Python fuzzer based on libFuzzer. Use for fuzzing pure Python code and Python C extensions.\n","atheris",{"claudeCode":12},"SKILL.md frontmatter at plugins/testing-handbook-skills/skills/atheris/SKILL.md",[1614],{"path":968,"priority":327},{"basePath":1616,"description":1617,"displayName":1618,"installMethods":1619,"rationale":1620,"selectedPaths":1621,"source":333,"sourceLanguage":18,"type":249},"plugins/testing-handbook-skills/skills/cargo-fuzz","cargo-fuzz is the de facto fuzzing tool for Rust projects using Cargo. Use for fuzzing Rust code with libFuzzer backend.\n","cargo-fuzz",{"claudeCode":12},"SKILL.md frontmatter at plugins/testing-handbook-skills/skills/cargo-fuzz/SKILL.md",[1622],{"path":968,"priority":327},{"basePath":1624,"description":1625,"displayName":1626,"installMethods":1627,"rationale":1628,"selectedPaths":1629,"source":333,"sourceLanguage":18,"type":249},"plugins/testing-handbook-skills/skills/constant-time-testing","Constant-time testing detects timing side channels in cryptographic code. Use when auditing crypto implementations for timing vulnerabilities.\n","constant-time-testing",{"claudeCode":12},"SKILL.md frontmatter at plugins/testing-handbook-skills/skills/constant-time-testing/SKILL.md",[1630],{"path":968,"priority":327},{"basePath":1632,"description":1633,"displayName":1634,"installMethods":1635,"rationale":1636,"selectedPaths":1637,"source":333,"sourceLanguage":18,"type":249},"plugins/testing-handbook-skills/skills/coverage-analysis","Coverage analysis measures code exercised during fuzzing. Use when assessing harness effectiveness or identifying fuzzing blockers.\n","coverage-analysis",{"claudeCode":12},"SKILL.md frontmatter at plugins/testing-handbook-skills/skills/coverage-analysis/SKILL.md",[1638],{"path":968,"priority":327},{"basePath":1640,"description":1641,"displayName":1642,"installMethods":1643,"rationale":1644,"selectedPaths":1645,"source":333,"sourceLanguage":18,"type":249},"plugins/testing-handbook-skills/skills/fuzzing-dictionary","Fuzzing dictionaries guide fuzzers with domain-specific tokens. Use when fuzzing parsers, protocols, or format-specific code.\n","fuzzing-dictionary",{"claudeCode":12},"SKILL.md frontmatter at plugins/testing-handbook-skills/skills/fuzzing-dictionary/SKILL.md",[1646],{"path":968,"priority":327},{"basePath":1648,"description":1649,"displayName":1650,"installMethods":1651,"rationale":1652,"selectedPaths":1653,"source":333,"sourceLanguage":18,"type":249},"plugins/testing-handbook-skills/skills/fuzzing-obstacles","Techniques for patching code to overcome fuzzing obstacles. Use when checksums, global state, or other barriers block fuzzer progress.\n","fuzzing-obstacles",{"claudeCode":12},"SKILL.md frontmatter at plugins/testing-handbook-skills/skills/fuzzing-obstacles/SKILL.md",[1654],{"path":968,"priority":327},{"basePath":1656,"description":1657,"displayName":1658,"installMethods":1659,"rationale":1660,"selectedPaths":1661,"source":333,"sourceLanguage":18,"type":249},"plugins/testing-handbook-skills/skills/harness-writing","Techniques for writing effective fuzzing harnesses across languages. Use when creating new fuzz targets or improving existing harness code.\n","harness-writing",{"claudeCode":12},"SKILL.md frontmatter at plugins/testing-handbook-skills/skills/harness-writing/SKILL.md",[1662],{"path":968,"priority":327},{"basePath":1664,"description":1665,"displayName":1666,"installMethods":1667,"rationale":1668,"selectedPaths":1669,"source":333,"sourceLanguage":18,"type":249},"plugins/testing-handbook-skills/skills/libafl","LibAFL is a modular fuzzing library for building custom fuzzers. Use for advanced fuzzing needs, custom mutators, or non-standard fuzzing targets.\n","libafl",{"claudeCode":12},"SKILL.md frontmatter at plugins/testing-handbook-skills/skills/libafl/SKILL.md",[1670],{"path":968,"priority":327},{"basePath":1672,"description":1673,"displayName":1674,"installMethods":1675,"rationale":1676,"selectedPaths":1677,"source":333,"sourceLanguage":18,"type":249},"plugins/testing-handbook-skills/skills/libfuzzer","Coverage-guided fuzzer built into LLVM for C/C++ projects. Use for fuzzing C/C++ code that can be compiled with Clang.\n","libfuzzer",{"claudeCode":12},"SKILL.md frontmatter at plugins/testing-handbook-skills/skills/libfuzzer/SKILL.md",[1678],{"path":968,"priority":327},{"basePath":1680,"description":1681,"displayName":1682,"installMethods":1683,"rationale":1684,"selectedPaths":1685,"source":333,"sourceLanguage":18,"type":249},"plugins/testing-handbook-skills/skills/ossfuzz","OSS-Fuzz provides free continuous fuzzing for open source projects. Use when setting up continuous fuzzing infrastructure or enrolling projects.\n","ossfuzz",{"claudeCode":12},"SKILL.md frontmatter at plugins/testing-handbook-skills/skills/ossfuzz/SKILL.md",[1686],{"path":968,"priority":327},{"basePath":1688,"description":1689,"displayName":1690,"installMethods":1691,"rationale":1692,"selectedPaths":1693,"source":333,"sourceLanguage":18,"type":249},"plugins/testing-handbook-skills/skills/ruzzy","Ruzzy is a coverage-guided Ruby fuzzer by Trail of Bits. Use for fuzzing pure Ruby code and Ruby C extensions.\n","ruzzy",{"claudeCode":12},"SKILL.md frontmatter at plugins/testing-handbook-skills/skills/ruzzy/SKILL.md",[1694],{"path":968,"priority":327},{"basePath":1696,"description":1697,"displayName":1698,"installMethods":1699,"rationale":1700,"selectedPaths":1701,"source":333,"sourceLanguage":18,"type":249},"plugins/testing-handbook-skills/skills/testing-handbook-generator","Meta-skill that analyzes the Trail of Bits Testing Handbook (appsec.guide) and generates Claude Code skills for security testing tools and techniques. Use when creating new skills based on handbook content.\n","testing-handbook-generator",{"claudeCode":12},"SKILL.md frontmatter at plugins/testing-handbook-skills/skills/testing-handbook-generator/SKILL.md",[1702,1703,1705,1707,1709,1711,1713,1715],{"path":968,"priority":327},{"path":1704,"priority":346},"agent-prompt.md",{"path":1706,"priority":346},"discovery.md",{"path":1708,"priority":1113},"templates/domain-skill.md",{"path":1710,"priority":1113},"templates/fuzzer-skill.md",{"path":1712,"priority":1113},"templates/technique-skill.md",{"path":1714,"priority":1113},"templates/tool-skill.md",{"path":1716,"priority":346},"testing.md",{"basePath":1718,"description":1719,"displayName":1720,"installMethods":1721,"rationale":1722,"selectedPaths":1723,"source":333,"sourceLanguage":18,"type":249},"plugins/testing-handbook-skills/skills/wycheproof","Wycheproof provides test vectors for validating cryptographic implementations. Use when testing crypto code for known attacks and edge cases.\n","wycheproof",{"claudeCode":12},"SKILL.md frontmatter at plugins/testing-handbook-skills/skills/wycheproof/SKILL.md",[1724],{"path":968,"priority":327},{"basePath":1726,"description":1727,"displayName":1728,"installMethods":1729,"rationale":1730,"selectedPaths":1731,"source":333,"sourceLanguage":18,"type":249},"plugins/trailmark/skills/audit-augmentation","Augments Trailmark code graphs with external audit findings from SARIF static analysis results and weAudit annotation files. 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, cross-referencing Semgrep or CodeQL findings with call graph data, or visualizing audit findings in the context of code structure.\n","audit-augmentation",{"claudeCode":12},"SKILL.md frontmatter at plugins/trailmark/skills/audit-augmentation/SKILL.md",[1732,1733],{"path":968,"priority":327},{"path":1734,"priority":346},"references/formats.md",{"basePath":1736,"description":1737,"displayName":1738,"installMethods":1739,"rationale":1740,"selectedPaths":1741,"source":333,"sourceLanguage":18,"type":249},"plugins/trailmark/skills/crypto-protocol-diagram","Extracts protocol message flow from source code, RFCs, academic papers, pseudocode, informal prose, ProVerif (.pv), or Tamarin (.spthy) models and generates Mermaid sequenceDiagrams with cryptographic annotations. Use when diagramming a crypto protocol, visualizing a handshake or key exchange flow, extracting message flow from a spec or RFC, diagramming a ProVerif or Tamarin model, or drawing sequence diagrams for TLS, Noise, Signal, X3DH, Double Ratchet, FROST, DH, or ECDH protocols.","crypto-protocol-diagram",{"claudeCode":12},"SKILL.md frontmatter at plugins/trailmark/skills/crypto-protocol-diagram/SKILL.md",[1742,1743,1745,1747,1749,1751,1753,1755,1757],{"path":968,"priority":327},{"path":1744,"priority":1113},"examples/simple-handshake/expected-output.md",{"path":1746,"priority":1113},"examples/simple-handshake/protocol.py",{"path":1748,"priority":1113},"examples/simple-proverif/expected-output.md",{"path":1750,"priority":1113},"examples/simple-proverif/model.pv",{"path":1752,"priority":346},"references/ascii-sequence-diagram.md",{"path":1754,"priority":346},"references/mermaid-sequence-syntax.md",{"path":1756,"priority":346},"references/protocol-patterns.md",{"path":1758,"priority":346},"references/spec-parsing-patterns.md",{"basePath":1760,"description":1761,"displayName":1762,"installMethods":1763,"rationale":1764,"selectedPaths":1765,"source":333,"sourceLanguage":18,"type":249},"plugins/trailmark/skills/diagramming-code","Generates Mermaid diagrams from Trailmark code graphs. Produces call graphs, class hierarchies, module dependency maps, containment diagrams, complexity heatmaps, and attack surface data flow visualizations. Use when visualizing code architecture, drawing call graphs, generating class diagrams, creating dependency maps, producing complexity heatmaps, or visualizing data flow and attack surface paths as Mermaid diagrams.\n","diagramming-code",{"claudeCode":12},"SKILL.md frontmatter at plugins/trailmark/skills/diagramming-code/SKILL.md",[1766,1767,1769,1771],{"path":968,"priority":327},{"path":1768,"priority":346},"references/diagram-types.md",{"path":1770,"priority":346},"references/mermaid-syntax.md",{"path":1772,"priority":1113},"scripts/diagram.py",{"basePath":1774,"description":1775,"displayName":1776,"installMethods":1777,"rationale":1778,"selectedPaths":1779,"source":333,"sourceLanguage":18,"type":249},"plugins/trailmark/skills/genotoxic","Graph-informed mutation testing triage. Parses codebases with Trailmark, runs mutation testing and necessist, then uses survived mutants, unnecessary test statements, and call graph data to identify false positives, missing test coverage, and fuzzing targets. Use when triaging survived mutants, analyzing mutation testing results, identifying test gaps, finding fuzzing targets from weak tests, running mutation frameworks (including circomvent and cairo-mutants), or using necessist.","genotoxic",{"claudeCode":12},"SKILL.md frontmatter at plugins/trailmark/skills/genotoxic/SKILL.md",[1780,1781,1783,1785],{"path":968,"priority":327},{"path":1782,"priority":346},"references/graph-analysis.md",{"path":1784,"priority":346},"references/mutation-frameworks.md",{"path":1786,"priority":346},"references/triage-methodology.md",{"basePath":1788,"description":1789,"displayName":1790,"installMethods":1791,"rationale":1792,"selectedPaths":1793,"source":333,"sourceLanguage":18,"type":249},"plugins/trailmark/skills/graph-evolution","Compares Trailmark code graphs at two source code snapshots (git commits, tags, or directories) to surface security-relevant structural changes. Detects new attack paths, complexity shifts, blast radius growth, taint propagation changes, and privilege boundary modifications that text diffs miss. Use when comparing code between commits or tags, analyzing structural evolution, detecting attack surface growth, reviewing what changed between audit snapshots, or finding security-relevant changes that text diffs miss.\n","graph-evolution",{"claudeCode":12},"SKILL.md frontmatter at plugins/trailmark/skills/graph-evolution/SKILL.md",[1794,1795,1797,1799],{"path":968,"priority":327},{"path":1796,"priority":346},"references/evolution-metrics.md",{"path":1798,"priority":346},"references/report-format.md",{"path":1800,"priority":1113},"scripts/graph_diff.py",{"basePath":1802,"description":1803,"displayName":1804,"installMethods":1805,"rationale":1806,"selectedPaths":1807,"source":333,"sourceLanguage":18,"type":249},"plugins/trailmark/skills/mermaid-to-proverif","Translates Mermaid sequenceDiagrams describing cryptographic protocols into ProVerif formal verification models (.pv files). Use when generating a ProVerif model, formally verifying a protocol, converting a Mermaid diagram to ProVerif, verifying protocol security properties (secrecy, authentication, forward secrecy), checking for replay attacks, or producing a .pv file from a sequence diagram.","mermaid-to-proverif",{"claudeCode":12},"SKILL.md frontmatter at plugins/trailmark/skills/mermaid-to-proverif/SKILL.md",[1808,1809,1811,1813,1815,1817],{"path":968,"priority":327},{"path":1810,"priority":1113},"examples/simple-handshake/diagram.md",{"path":1812,"priority":1113},"examples/simple-handshake/sample-output.pv",{"path":1814,"priority":346},"references/crypto-to-proverif-mapping.md",{"path":1816,"priority":346},"references/proverif-syntax.md",{"path":1818,"priority":346},"references/security-properties.md",{"basePath":1820,"description":1821,"displayName":680,"installMethods":1822,"rationale":1823,"selectedPaths":1824,"source":333,"sourceLanguage":18,"type":249},"plugins/trailmark/skills/trailmark","Builds and queries multi-language source code graphs for security analysis. Includes pre-analysis passes for blast radius, taint propagation, privilege boundaries, and entry point enumeration. Use when analyzing call paths, mapping attack surface, finding complexity hotspots, enumerating entry points, tracing taint propagation, measuring blast radius, or building a code graph for audit prioritization. Prefer `trailmark.parse.detect_languages()` or `--language auto` when the target language is unknown or polyglot.",{"claudeCode":12},"SKILL.md frontmatter at plugins/trailmark/skills/trailmark/SKILL.md",[1825,1826,1828],{"path":968,"priority":327},{"path":1827,"priority":346},"references/preanalysis-passes.md",{"path":1829,"priority":346},"references/query-patterns.md",{"basePath":1831,"description":1832,"displayName":1833,"installMethods":1834,"rationale":1835,"selectedPaths":1836,"source":333,"sourceLanguage":18,"type":249},"plugins/trailmark/skills/trailmark-structural","Runs full Trailmark structural analysis on Trailmark 0.2.x by building a graph, running `preanalysis()`, and reporting hotspots, taint, blast radius, privilege boundaries, and attack surface. Use when vivisect needs detailed structural data for a target. Triggers: structural analysis, blast radius, taint analysis, complexity hotspots.","trailmark-structural",{"claudeCode":12},"SKILL.md frontmatter at plugins/trailmark/skills/trailmark-structural/SKILL.md",[1837],{"path":968,"priority":327},{"basePath":1839,"description":1840,"displayName":1841,"installMethods":1842,"rationale":1843,"selectedPaths":1844,"source":333,"sourceLanguage":18,"type":249},"plugins/trailmark/skills/trailmark-summary","Runs a Trailmark summary analysis on a codebase. Returns auto-detected languages, entry point count, and dependency list. Use when vivisect or galvanize needs a quick structural overview. Triggers: trailmark summary, code summary, structural overview.","trailmark-summary",{"claudeCode":12},"SKILL.md frontmatter at plugins/trailmark/skills/trailmark-summary/SKILL.md",[1845],{"path":968,"priority":327},{"basePath":1847,"description":1848,"displayName":1849,"installMethods":1850,"rationale":1851,"selectedPaths":1852,"source":333,"sourceLanguage":18,"type":249},"plugins/trailmark/skills/vector-forge","Mutation-driven test vector generation. Finds implementations of a cryptographic algorithm or protocol, runs mutation testing to identify escaped mutants, then generates new test vectors that deliberately exercise the uncovered code paths. Compares before/after mutation kill rates to prove vector effectiveness. Use when generating cryptographic test vectors, measuring Wycheproof coverage gaps, finding escaped mutants via mutation testing, creating cross-implementation test suites, or improving test vector coverage for crypto primitives.","vector-forge",{"claudeCode":12},"SKILL.md frontmatter at plugins/trailmark/skills/vector-forge/SKILL.md",[1853,1854,1856,1858,1859,1861],{"path":968,"priority":327},{"path":1855,"priority":346},"references/fault-simulation.md",{"path":1857,"priority":346},"references/lessons-learned.md",{"path":1784,"priority":346},{"path":1860,"priority":346},"references/report-template.md",{"path":1862,"priority":346},"references/vector-patterns.md",{"basePath":1864,"description":1865,"displayName":709,"installMethods":1866,"rationale":1867,"selectedPaths":1868,"source":333,"sourceLanguage":18,"type":249},"plugins/variant-analysis/skills/variant-analysis","Find similar vulnerabilities and bugs across codebases using pattern-based analysis. Use when hunting bug variants, building CodeQL/Semgrep queries, analyzing security vulnerabilities, or performing systematic code audits after finding an initial issue.",{"claudeCode":12},"SKILL.md frontmatter at plugins/variant-analysis/skills/variant-analysis/SKILL.md",[1869,1870],{"path":968,"priority":327},{"path":1871,"priority":346},"METHODOLOGY.md",{"basePath":1873,"description":1874,"displayName":1875,"installMethods":1876,"rationale":1877,"selectedPaths":1878,"source":333,"sourceLanguage":18,"type":249},"plugins/workflow-skill-design/skills/designing-workflow-skills","Guides the design and structuring of workflow-based Claude Code skills with multi-step phases, decision trees, subagent delegation, and progressive disclosure. Use when creating skills that involve sequential pipelines, routing patterns, safety gates, task tracking, phased execution, or any multi-step workflow. Also applies when reviewing or refactoring existing workflow skills for quality.","designing-workflow-skills",{"claudeCode":12},"SKILL.md frontmatter at plugins/workflow-skill-design/skills/designing-workflow-skills/SKILL.md",[1879,1880,1881,1883,1885],{"path":968,"priority":327},{"path":1161,"priority":346},{"path":1882,"priority":346},"references/progressive-disclosure-guide.md",{"path":1884,"priority":346},"references/tool-assignment-guide.md",{"path":1886,"priority":346},"references/workflow-patterns.md",{"basePath":1888,"description":1889,"displayName":1890,"installMethods":1891,"rationale":1892,"selectedPaths":1893,"source":333,"sourceLanguage":18,"type":249},"plugins/yara-authoring/skills/yara-rule-authoring","Guides authoring of high-quality YARA-X detection rules for malware identification. Use when writing, reviewing, or optimizing YARA rules. Covers naming conventions, string selection, performance optimization, migration from legacy YARA, and false positive reduction. Triggers on: YARA, YARA-X, malware detection, threat hunting, IOC, signature, crx module, dex module.\n","yara-rule-authoring",{"claudeCode":12},"SKILL.md frontmatter at plugins/yara-authoring/skills/yara-rule-authoring/SKILL.md",[1894,1895,1897,1899,1901,1903,1905,1907,1909,1911,1913,1915,1916,1918,1919],{"path":968,"priority":327},{"path":1896,"priority":1113},"examples/MAL_Mac_ProtonRAT_Jan25.yar",{"path":1898,"priority":1113},"examples/MAL_NPM_SupplyChain_Jan25.yar",{"path":1900,"priority":1113},"examples/MAL_Win_Remcos_Jan25.yar",{"path":1902,"priority":1113},"examples/SUSP_CRX_SuspiciousPermissions.yar",{"path":1904,"priority":1113},"examples/SUSP_JS_Obfuscation_Jan25.yar",{"path":1906,"priority":346},"references/crx-module.md",{"path":1908,"priority":346},"references/dex-module.md",{"path":1910,"priority":346},"references/performance.md",{"path":1912,"priority":346},"references/strings.md",{"path":1914,"priority":346},"references/style-guide.md",{"path":1397,"priority":346},{"path":1917,"priority":1113},"scripts/atom_analyzer.py",{"path":1225,"priority":1113},{"path":1920,"priority":1113},"scripts/yara_lint.py",{"basePath":1922,"description":1923,"displayName":850,"installMethods":1924,"rationale":1925,"selectedPaths":1926,"source":333,"sourceLanguage":18,"type":249},"plugins/zeroize-audit/skills/zeroize-audit","Detects missing zeroization of sensitive data in source code and identifies zeroization removed by compiler optimizations, with assembly-level analysis, and control-flow verification. Use for auditing C/C++/Rust code handling secrets, keys, passwords, or other sensitive data.",{"claudeCode":12},"SKILL.md frontmatter at plugins/zeroize-audit/skills/zeroize-audit/SKILL.md",[1927,1928,1930,1932,1934,1936,1938,1940,1942,1944,1946,1948,1950,1952,1954,1956,1958,1960,1962,1964,1966,1968,1970,1972,1974,1976,1978,1980,1982,1984,1986,1988,1990,1992,1994],{"path":968,"priority":327},{"path":1929,"priority":1113},"prompts/report_template.md",{"path":1931,"priority":1113},"prompts/system.md",{"path":1933,"priority":1113},"prompts/task.md",{"path":1935,"priority":346},"references/compile-commands.md",{"path":1937,"priority":346},"references/detection-strategy.md",{"path":1939,"priority":346},"references/ir-analysis.md",{"path":1941,"priority":346},"references/mcp-analysis.md",{"path":1943,"priority":346},"references/poc-generation.md",{"path":1945,"priority":346},"references/rust-zeroization-patterns.md",{"path":1947,"priority":1113},"tools/analyze_asm.sh",{"path":1949,"priority":1113},"tools/analyze_cfg.py",{"path":1951,"priority":1113},"tools/analyze_heap.sh",{"path":1953,"priority":1113},"tools/analyze_ir_semantic.py",{"path":1955,"priority":1113},"tools/diff_ir.sh",{"path":1957,"priority":1113},"tools/diff_rust_mir.sh",{"path":1959,"priority":1113},"tools/emit_asm.sh",{"path":1961,"priority":1113},"tools/emit_ir.sh",{"path":1963,"priority":1113},"tools/emit_rust_asm.sh",{"path":1965,"priority":1113},"tools/emit_rust_ir.sh",{"path":1967,"priority":1113},"tools/emit_rust_mir.sh",{"path":1969,"priority":1113},"tools/extract_compile_flags.py",{"path":1971,"priority":1113},"tools/generate_poc.py",{"path":1973,"priority":1113},"tools/mcp/apply_confidence_gates.py",{"path":1975,"priority":1113},"tools/mcp/check_mcp.sh",{"path":1977,"priority":1113},"tools/mcp/normalize_mcp_evidence.py",{"path":1979,"priority":1113},"tools/scripts/check_llvm_patterns.py",{"path":1981,"priority":1113},"tools/scripts/check_mir_patterns.py",{"path":1983,"priority":1113},"tools/scripts/check_rust_asm.py",{"path":1985,"priority":1113},"tools/scripts/check_rust_asm_aarch64.py",{"path":1987,"priority":1113},"tools/scripts/check_rust_asm_x86.py",{"path":1989,"priority":1113},"tools/scripts/find_dangerous_apis.py",{"path":1991,"priority":1113},"tools/scripts/semantic_audit.py",{"path":1993,"priority":1113},"tools/track_dataflow.sh",{"path":1995,"priority":1113},"tools/validate_rust_toolchain.sh",{"basePath":418,"installMethods":1997,"rationale":1999,"selectedPaths":2000,"source":333,"sourceLanguage":18,"type":2006},{"pypi":1998},"ct-analyzer","cli ecosystem detected at plugins/constant-time-analysis",[2001,2003,2004],{"path":2002,"priority":327},"pyproject.toml",{"path":329,"priority":327},{"path":2005,"priority":346},"ct_analyzer/analyzer.py","cli",{"sources":2008},[2009],"manual",{"closedIssues90d":234,"description":2011,"forks":235,"license":241,"openIssues90d":236,"pushedAt":237,"readmeSize":232,"stars":238,"topics":2012},"Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows",[2013],"agent-skills",{"classifiedAt":2015,"discoverAt":2016,"extractAt":2017,"githubAt":2017,"updatedAt":2015},1778698175241,1778698169543,1778698173272,[216,218,215,217,214],{"evaluatedAt":244,"extractAt":291,"updatedAt":244},[],[2022,2052,2069,2101,2126,2152],{"_creationTime":2023,"_id":2024,"community":2025,"display":2026,"identity":2032,"providers":2036,"relations":2045,"tags":2048,"workflow":2049},1778696691708.3264,"k179thjzaw5kepc7zhdj9sat3n86mcqp",{"reviewCount":8},{"description":2027,"installMethods":2028,"name":2030,"sourceUrl":2031},"Validate pending migrations for foreign key consistency, rollback safety, and best practices",{"claudeCode":2029},"ruvnet/ruflo","migrate-validate","https://github.com/ruvnet/ruflo",{"basePath":2033,"githubOwner":2034,"githubRepo":2035,"locale":18,"slug":2030,"type":249},"plugins/ruflo-migrations/skills/migrate-validate","ruvnet","ruflo",{"evaluate":2037,"extract":2044},{"promptVersionExtension":207,"promptVersionScoring":208,"score":2038,"tags":2039,"targetMarket":219,"tier":220},100,[2040,2041,2042,2043,216,218],"database","migrations","sql","validation",{"commitSha":281},{"parentExtensionId":2046,"repoId":2047},"k176me0sh9b6bc3gzttnywx4w986njzh","kd7ed28gj8n0y3msk5dzrp05zs86nqtc",[216,2040,218,2041,2042,2043],{"evaluatedAt":2050,"extractAt":2051,"updatedAt":2050},1778701008912,1778696691708,{"_creationTime":2053,"_id":2054,"community":2055,"display":2056,"identity":2059,"providers":2060,"relations":2064,"tags":2066,"workflow":2067},1778698175626.3276,"k17cj6pbcgtrw523a4sw8mhcxn86mzvv",{"reviewCount":8},{"description":1454,"installMethods":2057,"name":2058,"sourceUrl":14},{"claudeCode":12},"Semgrep Rule Creator",{"basePath":1453,"githubOwner":247,"githubRepo":248,"locale":18,"slug":572,"type":249},{"evaluate":2061,"extract":2063},{"promptVersionExtension":207,"promptVersionScoring":208,"score":2038,"tags":2062,"targetMarket":219,"tier":220},[1571,275,609,216,218],{"commitSha":281},{"parentExtensionId":2065,"repoId":287},"k1757483sd0rdv04r5773w2tb986mb9g",[216,218,275,1571,609],{"evaluatedAt":2068,"extractAt":291,"updatedAt":2068},1778699451460,{"_creationTime":2070,"_id":2071,"community":2072,"display":2073,"identity":2079,"providers":2085,"relations":2093,"tags":2096,"workflow":2097},1778698296017.8315,"k17dzgrxxkxpeqmtcn5v3tjmad86n5tm",{"reviewCount":8},{"description":2074,"installMethods":2075,"name":2077,"sourceUrl":2078},"과잉 엔지니어링 패턴이 감지되면 자동으로 활성화됩니다: (1) 사용자가 명시적으로 변경을 요청하지 않은 코드나 파일을 수정하는 경우 (2) 요청되지 않은 새로운 추상화 레이어(class, interface, factory, wrapper)를 생성하는 경우 (3) 요청되지 않은 주석, 문서, JSDoc, 타입 어노테이션을 추가하는 경우 (4) 요청되지 않은 새로운 의존성을 도입하는 경우 (5) 최소한의 편집 대신 파일 전체를 다시 작성하는 경우 (6) diff 범위가 사용자의 요청을 명백히 초과하는 경우 (7) 사용자가 \"너무 많아\", \"거기는 건드리지 마\", \"X만 변경해\", \"간단하게\", \"그만\" 등의 신호를 보내는 경우 (8) 발생할 수 없는 시나리오에 대한 에러 처리, 유효성 검사, 방어적 코드를 추가하는 경우 (9) 요청되지 않은 테스트, 설정 스캐폴딩, 문서를 생성하는 경우\n",{"claudeCode":2076},"uucz/moyu","Moyu (摸鱼)","https://github.com/uucz/moyu",{"basePath":2080,"githubOwner":2081,"githubRepo":2082,"locale":2083,"slug":2084,"type":249},"skills/moyu-ko","uucz","moyu","ko","moyu-ko",{"evaluate":2086,"extract":2091},{"promptVersionExtension":207,"promptVersionScoring":208,"score":2038,"tags":2087,"targetMarket":219,"tier":220},[2088,216,2089,218,2090],"ai-assist","prompt-engineering","refactoring",{"commitSha":281,"license":2092},"MIT",{"parentExtensionId":2094,"repoId":2095},"k17a8j7hxkm1n8dabrtcwp2z2d86nr39","kd7ccbpk8y3xm113xt8wy1c5jd86n94h",[2088,216,218,2089,2090],{"evaluatedAt":2098,"extractAt":2099,"updatedAt":2100},1778698415064,1778698296017,1778698589704,{"_creationTime":2102,"_id":2103,"community":2104,"display":2105,"identity":2111,"providers":2114,"relations":2120,"tags":2122,"workflow":2123},1778687029453.9038,"k1741ryyrp6bfas7r0wrm6yans86n4ar",{"reviewCount":8},{"description":2106,"installMethods":2107,"name":2109,"sourceUrl":2110},"Mandatory checks to run before completing any task that touches md files or dart code in this repository.",{"claudeCode":2108},"flutter/skills","definition-of-done","https://github.com/flutter/skills",{"basePath":2112,"githubOwner":2113,"githubRepo":248,"locale":18,"slug":2109,"type":249},"tool/dart_skills_lint/.agents/skills/definition-of-done","flutter",{"evaluate":2115,"extract":2119},{"promptVersionExtension":207,"promptVersionScoring":208,"score":2038,"tags":2116,"targetMarket":219,"tier":220},[2117,2113,2118,214,216],"dart","linting",{"commitSha":281},{"repoId":2121},"kd7100bqmd3gmqn2rdf4t72qqn86nfdd",[216,2117,2113,2118,214],{"evaluatedAt":2124,"extractAt":2125,"updatedAt":2124},1778687549247,1778687029453,{"_creationTime":2127,"_id":2128,"community":2129,"display":2130,"identity":2136,"providers":2140,"relations":2146,"tags":2148,"workflow":2149},1778697652123.8845,"k17bexjjjsz81ysk7bd3ggdm8s86mt2t",{"reviewCount":8},{"description":2131,"installMethods":2132,"name":2134,"sourceUrl":2135},"Choose, run, rerun, or debug OpenClaw tests, CI checks, Docker E2E lanes, release validation, and the cheapest safe verification path.",{"claudeCode":2133},"steipete/clawdis","openclaw-testing","https://github.com/steipete/clawdis",{"basePath":2137,"githubOwner":2138,"githubRepo":2139,"locale":18,"slug":2134,"type":249},".agents/skills/openclaw-testing","steipete","clawdis",{"evaluate":2141,"extract":2145},{"promptVersionExtension":207,"promptVersionScoring":208,"score":2038,"tags":2142,"targetMarket":219,"tier":220},[214,2143,2043,2144,218],"ci","automation",{"commitSha":281},{"repoId":2147},"kd738npxg9yh3xf3vddzy9fyfh86nhng",[2144,2143,218,214,2043],{"evaluatedAt":2150,"extractAt":2151,"updatedAt":2150},1778697962962,1778697652123,{"_creationTime":2153,"_id":2154,"community":2155,"display":2156,"identity":2162,"providers":2167,"relations":2176,"tags":2179,"workflow":2180},1778696595410.5698,"k171sdysmt658g1cdd7hgt8p8h86nms7",{"reviewCount":8},{"description":2157,"installMethods":2158,"name":2160,"sourceUrl":2161},"End-of-session ritual that audits changes, runs quality checks, captures learnings, and produces a session summary. Use when saying \"wrap up\", \"done for the day\", \"finish coding\", or ending a coding session.",{"claudeCode":2159},"rohitg00/pro-workflow","Wrap-Up Ritual","https://github.com/rohitg00/pro-workflow",{"basePath":2163,"githubOwner":2164,"githubRepo":2165,"locale":18,"slug":2166,"type":249},"skills/wrap-up","rohitg00","pro-workflow","wrap-up",{"evaluate":2168,"extract":2175},{"promptVersionExtension":207,"promptVersionScoring":208,"score":2038,"tags":2169,"targetMarket":219,"tier":220},[2170,2171,2172,2173,2174,216],"workflow","llm","productivity","memory","knowledge-base",{"commitSha":281,"license":2092},{"parentExtensionId":2177,"repoId":2178},"k17fxtjcfh5gvxdrhv2dmgn1t986mdhv","kd7am4e918eq98hrd9s31jm4vs86nn0b",[216,2174,2171,2173,2172,2170],{"evaluatedAt":2181,"extractAt":2182,"updatedAt":2181},1778697164619,1778696595410]