[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill-trail-of-bits-cosmos-vulnerability-scanner":3,"mdc--qx9g9f-key":38,"related-repo-trail-of-bits-cosmos-vulnerability-scanner":1059,"related-org-trail-of-bits-cosmos-vulnerability-scanner":1155},{"slug":4,"name":4,"fn":5,"description":6,"org":7,"tags":12,"stars":26,"repoUrl":27,"updatedAt":28,"license":29,"forks":30,"topics":31,"repo":33,"sourceUrl":36,"mdContent":37},"cosmos-vulnerability-scanner","scan Cosmos SDK modules for vulnerabilities","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\u002F modules, reviewing IBC integrations, or assessing pre-launch chain security. Updated for SDK v0.53.x.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},"trail-of-bits","Trail of Bits","https:\u002F\u002Fpexgzepcugksgbtrxkhf.supabase.co\u002Fstorage\u002Fv1\u002Fobject\u002Fpublic\u002Forg-logos\u002Ftrail-of-bits.png","trailofbits",[13,17,20,23],{"name":14,"slug":15,"type":16},"Security","security","tag",{"name":18,"slug":19,"type":16},"Blockchain","blockchain",{"name":21,"slug":22,"type":16},"Audit","audit",{"name":24,"slug":25,"type":16},"Code Analysis","code-analysis",6139,"https:\u002F\u002Fgithub.com\u002Ftrailofbits\u002Fskills","2026-07-18T05:47:36.04811",null,541,[32],"agent-skills",{"repoUrl":27,"stars":26,"forks":30,"topics":34,"description":35},[32],"Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows","https:\u002F\u002Fgithub.com\u002Ftrailofbits\u002Fskills\u002Ftree\u002FHEAD\u002Fplugins\u002Fbuilding-secure-contracts\u002Fskills\u002Fcosmos-vulnerability-scanner","---\nname: cosmos-vulnerability-scanner\ndescription: \"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\u002F modules, reviewing IBC integrations, or assessing pre-launch chain security. Updated for SDK v0.53.x.\"\n---\n\n# Cosmos Vulnerability Scanner\n\n## Purpose\n\nScan Cosmos SDK modules and CosmWasm contracts for vulnerabilities that cause chain halts, consensus failures, or fund loss. Spawns parallel scanning agents — each specializing in a vulnerability category — that return findings to the main skill, which then writes them as individual markdown files to an output directory.\n\n**Output directory**: defaults to `.bughunt_cosmos\u002F`. If the user specifies a different directory in their prompt, use that instead.\n\n## When to Use\n\n- Auditing Cosmos SDK modules (custom `x\u002F` modules)\n- Reviewing CosmWasm smart contracts\n- Pre-launch security assessment of Cosmos chains\n- Investigating chain halt incidents\n\n## When NOT to Use\n\n- Pure Solidity\u002FEVM audits without Cosmos SDK — use Solidity-specific tools\n- CometBFT consensus engine internals — this covers SDK modules, not the consensus layer itself\n- General Go code review with no blockchain context\n- Cosmos SDK application logic that is not consensus-critical (e.g., CLI commands, REST endpoints)\n- CosmWasm contract-only audits on chains without custom SDK modules — use the CosmWasm checklist items alone\n\n## Essential Principles\n\n1. **Consensus path is king** — A bug only matters for chain halt\u002Ffund loss if it's on the consensus-critical execution path (BeginBlock, EndBlock, FinalizeBlock, msg_server handlers, AnteHandler). Always verify a finding is reachable from consensus before reporting it.\n2. **State divergence = chain halt** — Any non-determinism that causes validators to compute different state roots will halt the chain. This is the highest-severity class because it affects all validators simultaneously.\n3. **Check the version** — Cosmos SDK has breaking changes across major versions (v0.47 removed GetSigners, v0.50 added ABCI 2.0, v0.53 deprecated ValidateBasic). Always check `go.mod` versions before applying patterns.\n4. **False positives waste audit time** — A map iteration in a CLI command is not a consensus bug. A panic in a query handler does not halt the chain. Verify the execution context before flagging.\n5. **Cross-module interactions are where bugs hide** — The most severe findings (IBC reentrancy, EVM\u002FCosmos state desync, authz escalation) involve interactions between modules, not bugs within a single module.\n\n## Scanning Workflow\n\n### Phase 1: Discovery (synchronous)\n\n**Entry**: Target codebase path provided by user. Codebase contains Go source (e.g., `x\u002F` modules, `go.mod`) or Rust contracts with `cosmwasm_std`.\n\nRun a **synchronous subagent** (Agent tool) with the full contents of [DISCOVERY.md](resources\u002FDISCOVERY.md) as its prompt. The agent must:\n\n1. Follow the Discovery workflow to explore the target codebase\n2. Return the full CLAUDE.md content (the technical inventory and threat model) in its response\n3. Return a structured summary with exactly these fields:\n\n```\nPLATFORM: pure-cosmos | evm | wasm        (pick one; if multiple, comma-separated)\nIBC_ENABLED: true | false\nSDK_VERSION: \u003Cversion from go.mod>\nIBC_GO_VERSION: \u003Cversion from go.mod, or \"n\u002Fa\">\nCUSTOM_MODULES: \u003Ccomma-separated list of x\u002F* modules>\n```\n\nAfter the subagent returns, **you** (the main skill) Write the CLAUDE.md to the target repo root. Save its path and the discovery values — these feed into Phase 2.\n\n**Exit**: CLAUDE.md written by main skill. PLATFORM, IBC_ENABLED, SDK_VERSION, IBC_GO_VERSION, and CUSTOM_MODULES captured.\n\n### Phase 2: Parallel Vulnerability Scan\n\nSpawn scanning agents **in a single message** for maximum parallelism. Use the Agent Prompt Template below, filling in the reference file for each agent. Subagents only need read access (Grep, Glob, Read) — they return findings in their response and the main skill writes the files.\n\n**Always spawn these 3 agents:**\n\n| Agent Name | Reference File | Scope |\n|------------|---------------|-------|\n| `core-scanner` | `VULNERABILITY_PATTERNS.md` | §1-9: non-determinism, ABCI, signers, validation, handlers, ante security |\n| `state-scanner` | `STATE_VULNERABILITY_PATTERNS.md` | §11-23: bookkeeping, bank, pagination, events, tx replay, governance, arithmetic, encoding, deprecated modules |\n| `advanced-scanner` | `ADVANCED_VULNERABILITY_PATTERNS.md` | §24-27: storage keys, consensus validation, circuit breaker, crypto |\n\n**Spawn conditionally (in the same parallel message):**\n\n| Agent Name | Condition | Reference File |\n|------------|-----------|---------------|\n| `evm-scanner` | PLATFORM includes `evm` | `EVM_VULNERABILITY_PATTERNS.md` |\n| `ibc-scanner` | IBC_ENABLED is `true` | `IBC_VULNERABILITY_PATTERNS.md` |\n| `cosmwasm-scanner` | PLATFORM includes `wasm` | `COSMWASM_VULNERABILITY_PATTERNS.md` |\n\n#### Agent Prompt Template\n\nConstruct each agent's prompt by replacing `{REFERENCE_FILE_PATH}` with the full path to the reference file (under `{baseDir}\u002Fresources\u002F`) and `{CLAUDE_MD_PATH}` with the path to the CLAUDE.md written in Phase 1:\n\n~~~\nPerform a very thorough security scan of a Cosmos SDK codebase for specific vulnerability patterns.\n\nCONTEXT:\nRead {CLAUDE_MD_PATH} for codebase context (SDK version, modules, threat model, key files).\n\nPATTERNS:\nRead {REFERENCE_FILE_PATH} — it contains numbered vulnerability patterns. For EACH pattern:\n1. Read the detection patterns and \"What to Check\" items\n2. Use Grep and Glob to search the target codebase for each pattern\n3. When a match is found, Read surrounding code to verify it's on a consensus-critical path (BeginBlock, EndBlock, FinalizeBlock, msg_server handlers, AnteHandler)\n4. Classify severity per the guidelines below\n\nRULES:\n- Consensus path only: Only flag code reachable from consensus-critical execution. CLI\u002Fquery\u002Ftest code is NOT a finding.\n- Check SDK version in go.mod before applying patterns (v0.47 removed GetSigners, v0.50 added ABCI 2.0, v0.53 deprecated ValidateBasic).\n- Always use the Grep tool for searches, not bash grep. The reference file contains search patterns — use them directly with the Grep tool.\n- Ignore cross-references to other resource files (e.g., links to IBC or COSMWASM patterns). Those patterns are covered by other scanning agents.\n- Reject these rationalizations:\n  - \"ValidateBasic catches this\" — deprecated and facultative since SDK v0.53\n  - \"Behind governance, so safe\" — governance proposals can be malicious\n  - \"IBC counterparty is trusted\" — any chain can open a channel\n  - \"Panic can't happen, input is validated\" — trace the full call chain\n  - \"Rounding error is only a few tokens\" — compounds over time, can be looped\n  - \"EVM precompile handles rollback\" — many have incomplete rollback\n\nSEVERITY:\n- Critical (fund loss): signer mismatch, broken bookkeeping, AnteHandler bypass, bank keeper misuse, IBC token inflation, EVM\u002FCosmos desync, Merkle proof forgery, arithmetic overflow\n- High (chain halt): non-determinism, ABCI panics, slow ABCI, non-deterministic IBC acks, consensus gaps, CacheContext event leak\n- Medium (DoS): unbounded pagination, tx replay, missing validation, governance spam, rate limiting, circuit breaker bypass, storage key collisions\n- Low (logic): rounding errors, stub handlers, event override, module ordering\n\nOUTPUT — RETURN FORMAT:\nDo NOT write any files. Return ALL findings and the summary in your response.\n\nFor each pattern, return one of:\n  §NUM PATTERN_NAME: Not applicable — [one-line reason]\n  §NUM PATTERN_NAME: FINDING (followed by the finding block below)\n\nFor each finding, include the full content using this template:\n\nFINDING_FILE: {SEVERITY}-s{SECTION_NUM}-{kebab-description}.md\n## [SEVERITY] Title\n**Location**: `file:line`\n**Description**: What the bug is and why it matters\n**Vulnerable Code**: [snippet]\n**Attack Scenario**: [numbered steps]\n**Recommendation**: How to fix\n**References**: [links to relevant advisories or building-secure-contracts]\n\nYou MUST report on ALL patterns in the reference file — do not skip any.\n~~~\n\n**Exit**: All scanning agents returned. Each reported on every pattern in their reference file.\n\n### Phase 3: Write Findings\n\nAfter all scanning agents return, write finding files to the output directory (default `.bughunt_cosmos\u002F`):\n\n1. Parse each agent's response for `FINDING_FILE:` blocks\n2. For each finding, Write the content to `{OUTPUT_DIR}\u002F{filename}` using the filename from `FINDING_FILE:`\n3. Create the output directory first if it doesn't exist\n\n### Phase 4: Verify Completeness\n\nAfter writing all findings, verify every pattern was assessed:\n\n1. Collect the summary lines (§NUM entries) returned by each agent\n2. Check pattern counts against expected totals:\n   - `core-scanner`: 8 patterns (§1-9, excluding §8 legacy-only)\n   - `state-scanner`: 13 patterns (§11-23)\n   - `advanced-scanner`: 4 patterns (§24-27)\n   - `evm-scanner` (if spawned): 10 patterns (§1-10)\n   - `ibc-scanner` (if spawned): 16 patterns (§1-16)\n   - `cosmwasm-scanner` (if spawned): 3 patterns (§1-3)\n3. If any pattern is missing from a summary, flag it and re-prompt that agent\n4. List all finding files written to the output directory with a `Glob` for `*.md`\n\n**Exit**: All patterns accounted for. Finding files listed for the user.\n\n---\n\n## Success Criteria\n\n- [ ] Discovery CLAUDE.md written with complete technical inventory and threat model\n- [ ] All scanning agents completed and reported on every pattern in their reference file\n- [ ] Pattern counts verified against expected totals (no patterns skipped)\n- [ ] All findings written to output directory as individual markdown files\n- [ ] Each finding file includes: severity, location, vulnerable code, attack scenario, recommendation\n\n---\n\n## Resources\n\n- **Discovery & CLAUDE.md**: [DISCOVERY.md](resources\u002FDISCOVERY.md)\n- **Core patterns (§1-9)**: [VULNERABILITY_PATTERNS.md](resources\u002FVULNERABILITY_PATTERNS.md)\n- **State & module patterns (§11-23)**: [STATE_VULNERABILITY_PATTERNS.md](resources\u002FSTATE_VULNERABILITY_PATTERNS.md)\n- **Advanced patterns (§24-27)**: [ADVANCED_VULNERABILITY_PATTERNS.md](resources\u002FADVANCED_VULNERABILITY_PATTERNS.md)\n- **IBC vulnerabilities**: [IBC_VULNERABILITY_PATTERNS.md](resources\u002FIBC_VULNERABILITY_PATTERNS.md)\n- **CosmWasm vulnerabilities**: [COSMWASM_VULNERABILITY_PATTERNS.md](resources\u002FCOSMWASM_VULNERABILITY_PATTERNS.md)\n- **EVM vulnerabilities**: [EVM_VULNERABILITY_PATTERNS.md](resources\u002FEVM_VULNERABILITY_PATTERNS.md)\n- **Building Secure Contracts**: `building-secure-contracts\u002Fnot-so-smart-contracts\u002Fcosmos\u002F`\n- **Cosmos SDK Docs**: https:\u002F\u002Fdocs.cosmos.network\u002F\n- **CodeQL for Cosmos SDK**: https:\u002F\u002Fgithub.com\u002Fcrypto-com\u002Fcosmos-sdk-codeql\n",{"data":39,"body":40},{"name":4,"description":6},{"type":41,"children":42},"root",[43,51,58,64,84,90,123,129,157,163,225,231,238,270,291,309,321,333,343,349,361,369,480,488,608,615,644,653,662,668,680,719,725,730,830,839,843,849,903,906,912],{"type":44,"tag":45,"props":46,"children":47},"element","h1",{"id":4},[48],{"type":49,"value":50},"text","Cosmos Vulnerability Scanner",{"type":44,"tag":52,"props":53,"children":55},"h2",{"id":54},"purpose",[56],{"type":49,"value":57},"Purpose",{"type":44,"tag":59,"props":60,"children":61},"p",{},[62],{"type":49,"value":63},"Scan Cosmos SDK modules and CosmWasm contracts for vulnerabilities that cause chain halts, consensus failures, or fund loss. Spawns parallel scanning agents — each specializing in a vulnerability category — that return findings to the main skill, which then writes them as individual markdown files to an output directory.",{"type":44,"tag":59,"props":65,"children":66},{},[67,73,75,82],{"type":44,"tag":68,"props":69,"children":70},"strong",{},[71],{"type":49,"value":72},"Output directory",{"type":49,"value":74},": defaults to ",{"type":44,"tag":76,"props":77,"children":79},"code",{"className":78},[],[80],{"type":49,"value":81},".bughunt_cosmos\u002F",{"type":49,"value":83},". If the user specifies a different directory in their prompt, use that instead.",{"type":44,"tag":52,"props":85,"children":87},{"id":86},"when-to-use",[88],{"type":49,"value":89},"When to Use",{"type":44,"tag":91,"props":92,"children":93},"ul",{},[94,108,113,118],{"type":44,"tag":95,"props":96,"children":97},"li",{},[98,100,106],{"type":49,"value":99},"Auditing Cosmos SDK modules (custom ",{"type":44,"tag":76,"props":101,"children":103},{"className":102},[],[104],{"type":49,"value":105},"x\u002F",{"type":49,"value":107}," modules)",{"type":44,"tag":95,"props":109,"children":110},{},[111],{"type":49,"value":112},"Reviewing CosmWasm smart contracts",{"type":44,"tag":95,"props":114,"children":115},{},[116],{"type":49,"value":117},"Pre-launch security assessment of Cosmos chains",{"type":44,"tag":95,"props":119,"children":120},{},[121],{"type":49,"value":122},"Investigating chain halt incidents",{"type":44,"tag":52,"props":124,"children":126},{"id":125},"when-not-to-use",[127],{"type":49,"value":128},"When NOT to Use",{"type":44,"tag":91,"props":130,"children":131},{},[132,137,142,147,152],{"type":44,"tag":95,"props":133,"children":134},{},[135],{"type":49,"value":136},"Pure Solidity\u002FEVM audits without Cosmos SDK — use Solidity-specific tools",{"type":44,"tag":95,"props":138,"children":139},{},[140],{"type":49,"value":141},"CometBFT consensus engine internals — this covers SDK modules, not the consensus layer itself",{"type":44,"tag":95,"props":143,"children":144},{},[145],{"type":49,"value":146},"General Go code review with no blockchain context",{"type":44,"tag":95,"props":148,"children":149},{},[150],{"type":49,"value":151},"Cosmos SDK application logic that is not consensus-critical (e.g., CLI commands, REST endpoints)",{"type":44,"tag":95,"props":153,"children":154},{},[155],{"type":49,"value":156},"CosmWasm contract-only audits on chains without custom SDK modules — use the CosmWasm checklist items alone",{"type":44,"tag":52,"props":158,"children":160},{"id":159},"essential-principles",[161],{"type":49,"value":162},"Essential Principles",{"type":44,"tag":164,"props":165,"children":166},"ol",{},[167,177,187,205,215],{"type":44,"tag":95,"props":168,"children":169},{},[170,175],{"type":44,"tag":68,"props":171,"children":172},{},[173],{"type":49,"value":174},"Consensus path is king",{"type":49,"value":176}," — A bug only matters for chain halt\u002Ffund loss if it's on the consensus-critical execution path (BeginBlock, EndBlock, FinalizeBlock, msg_server handlers, AnteHandler). Always verify a finding is reachable from consensus before reporting it.",{"type":44,"tag":95,"props":178,"children":179},{},[180,185],{"type":44,"tag":68,"props":181,"children":182},{},[183],{"type":49,"value":184},"State divergence = chain halt",{"type":49,"value":186}," — Any non-determinism that causes validators to compute different state roots will halt the chain. This is the highest-severity class because it affects all validators simultaneously.",{"type":44,"tag":95,"props":188,"children":189},{},[190,195,197,203],{"type":44,"tag":68,"props":191,"children":192},{},[193],{"type":49,"value":194},"Check the version",{"type":49,"value":196}," — Cosmos SDK has breaking changes across major versions (v0.47 removed GetSigners, v0.50 added ABCI 2.0, v0.53 deprecated ValidateBasic). Always check ",{"type":44,"tag":76,"props":198,"children":200},{"className":199},[],[201],{"type":49,"value":202},"go.mod",{"type":49,"value":204}," versions before applying patterns.",{"type":44,"tag":95,"props":206,"children":207},{},[208,213],{"type":44,"tag":68,"props":209,"children":210},{},[211],{"type":49,"value":212},"False positives waste audit time",{"type":49,"value":214}," — A map iteration in a CLI command is not a consensus bug. A panic in a query handler does not halt the chain. Verify the execution context before flagging.",{"type":44,"tag":95,"props":216,"children":217},{},[218,223],{"type":44,"tag":68,"props":219,"children":220},{},[221],{"type":49,"value":222},"Cross-module interactions are where bugs hide",{"type":49,"value":224}," — The most severe findings (IBC reentrancy, EVM\u002FCosmos state desync, authz escalation) involve interactions between modules, not bugs within a single module.",{"type":44,"tag":52,"props":226,"children":228},{"id":227},"scanning-workflow",[229],{"type":49,"value":230},"Scanning Workflow",{"type":44,"tag":232,"props":233,"children":235},"h3",{"id":234},"phase-1-discovery-synchronous",[236],{"type":49,"value":237},"Phase 1: Discovery (synchronous)",{"type":44,"tag":59,"props":239,"children":240},{},[241,246,248,253,255,260,262,268],{"type":44,"tag":68,"props":242,"children":243},{},[244],{"type":49,"value":245},"Entry",{"type":49,"value":247},": Target codebase path provided by user. Codebase contains Go source (e.g., ",{"type":44,"tag":76,"props":249,"children":251},{"className":250},[],[252],{"type":49,"value":105},{"type":49,"value":254}," modules, ",{"type":44,"tag":76,"props":256,"children":258},{"className":257},[],[259],{"type":49,"value":202},{"type":49,"value":261},") or Rust contracts with ",{"type":44,"tag":76,"props":263,"children":265},{"className":264},[],[266],{"type":49,"value":267},"cosmwasm_std",{"type":49,"value":269},".",{"type":44,"tag":59,"props":271,"children":272},{},[273,275,280,282,289],{"type":49,"value":274},"Run a ",{"type":44,"tag":68,"props":276,"children":277},{},[278],{"type":49,"value":279},"synchronous subagent",{"type":49,"value":281}," (Agent tool) with the full contents of ",{"type":44,"tag":283,"props":284,"children":286},"a",{"href":285},"resources\u002FDISCOVERY.md",[287],{"type":49,"value":288},"DISCOVERY.md",{"type":49,"value":290}," as its prompt. The agent must:",{"type":44,"tag":164,"props":292,"children":293},{},[294,299,304],{"type":44,"tag":95,"props":295,"children":296},{},[297],{"type":49,"value":298},"Follow the Discovery workflow to explore the target codebase",{"type":44,"tag":95,"props":300,"children":301},{},[302],{"type":49,"value":303},"Return the full CLAUDE.md content (the technical inventory and threat model) in its response",{"type":44,"tag":95,"props":305,"children":306},{},[307],{"type":49,"value":308},"Return a structured summary with exactly these fields:",{"type":44,"tag":310,"props":311,"children":315},"pre",{"className":312,"code":314,"language":49},[313],"language-text","PLATFORM: pure-cosmos | evm | wasm        (pick one; if multiple, comma-separated)\nIBC_ENABLED: true | false\nSDK_VERSION: \u003Cversion from go.mod>\nIBC_GO_VERSION: \u003Cversion from go.mod, or \"n\u002Fa\">\nCUSTOM_MODULES: \u003Ccomma-separated list of x\u002F* modules>\n",[316],{"type":44,"tag":76,"props":317,"children":319},{"__ignoreMap":318},"",[320],{"type":49,"value":314},{"type":44,"tag":59,"props":322,"children":323},{},[324,326,331],{"type":49,"value":325},"After the subagent returns, ",{"type":44,"tag":68,"props":327,"children":328},{},[329],{"type":49,"value":330},"you",{"type":49,"value":332}," (the main skill) Write the CLAUDE.md to the target repo root. Save its path and the discovery values — these feed into Phase 2.",{"type":44,"tag":59,"props":334,"children":335},{},[336,341],{"type":44,"tag":68,"props":337,"children":338},{},[339],{"type":49,"value":340},"Exit",{"type":49,"value":342},": CLAUDE.md written by main skill. PLATFORM, IBC_ENABLED, SDK_VERSION, IBC_GO_VERSION, and CUSTOM_MODULES captured.",{"type":44,"tag":232,"props":344,"children":346},{"id":345},"phase-2-parallel-vulnerability-scan",[347],{"type":49,"value":348},"Phase 2: Parallel Vulnerability Scan",{"type":44,"tag":59,"props":350,"children":351},{},[352,354,359],{"type":49,"value":353},"Spawn scanning agents ",{"type":44,"tag":68,"props":355,"children":356},{},[357],{"type":49,"value":358},"in a single message",{"type":49,"value":360}," for maximum parallelism. Use the Agent Prompt Template below, filling in the reference file for each agent. Subagents only need read access (Grep, Glob, Read) — they return findings in their response and the main skill writes the files.",{"type":44,"tag":59,"props":362,"children":363},{},[364],{"type":44,"tag":68,"props":365,"children":366},{},[367],{"type":49,"value":368},"Always spawn these 3 agents:",{"type":44,"tag":370,"props":371,"children":372},"table",{},[373,397],{"type":44,"tag":374,"props":375,"children":376},"thead",{},[377],{"type":44,"tag":378,"props":379,"children":380},"tr",{},[381,387,392],{"type":44,"tag":382,"props":383,"children":384},"th",{},[385],{"type":49,"value":386},"Agent Name",{"type":44,"tag":382,"props":388,"children":389},{},[390],{"type":49,"value":391},"Reference File",{"type":44,"tag":382,"props":393,"children":394},{},[395],{"type":49,"value":396},"Scope",{"type":44,"tag":398,"props":399,"children":400},"tbody",{},[401,428,454],{"type":44,"tag":378,"props":402,"children":403},{},[404,414,423],{"type":44,"tag":405,"props":406,"children":407},"td",{},[408],{"type":44,"tag":76,"props":409,"children":411},{"className":410},[],[412],{"type":49,"value":413},"core-scanner",{"type":44,"tag":405,"props":415,"children":416},{},[417],{"type":44,"tag":76,"props":418,"children":420},{"className":419},[],[421],{"type":49,"value":422},"VULNERABILITY_PATTERNS.md",{"type":44,"tag":405,"props":424,"children":425},{},[426],{"type":49,"value":427},"§1-9: non-determinism, ABCI, signers, validation, handlers, ante security",{"type":44,"tag":378,"props":429,"children":430},{},[431,440,449],{"type":44,"tag":405,"props":432,"children":433},{},[434],{"type":44,"tag":76,"props":435,"children":437},{"className":436},[],[438],{"type":49,"value":439},"state-scanner",{"type":44,"tag":405,"props":441,"children":442},{},[443],{"type":44,"tag":76,"props":444,"children":446},{"className":445},[],[447],{"type":49,"value":448},"STATE_VULNERABILITY_PATTERNS.md",{"type":44,"tag":405,"props":450,"children":451},{},[452],{"type":49,"value":453},"§11-23: bookkeeping, bank, pagination, events, tx replay, governance, arithmetic, encoding, deprecated modules",{"type":44,"tag":378,"props":455,"children":456},{},[457,466,475],{"type":44,"tag":405,"props":458,"children":459},{},[460],{"type":44,"tag":76,"props":461,"children":463},{"className":462},[],[464],{"type":49,"value":465},"advanced-scanner",{"type":44,"tag":405,"props":467,"children":468},{},[469],{"type":44,"tag":76,"props":470,"children":472},{"className":471},[],[473],{"type":49,"value":474},"ADVANCED_VULNERABILITY_PATTERNS.md",{"type":44,"tag":405,"props":476,"children":477},{},[478],{"type":49,"value":479},"§24-27: storage keys, consensus validation, circuit breaker, crypto",{"type":44,"tag":59,"props":481,"children":482},{},[483],{"type":44,"tag":68,"props":484,"children":485},{},[486],{"type":49,"value":487},"Spawn conditionally (in the same parallel message):",{"type":44,"tag":370,"props":489,"children":490},{},[491,510],{"type":44,"tag":374,"props":492,"children":493},{},[494],{"type":44,"tag":378,"props":495,"children":496},{},[497,501,506],{"type":44,"tag":382,"props":498,"children":499},{},[500],{"type":49,"value":386},{"type":44,"tag":382,"props":502,"children":503},{},[504],{"type":49,"value":505},"Condition",{"type":44,"tag":382,"props":507,"children":508},{},[509],{"type":49,"value":391},{"type":44,"tag":398,"props":511,"children":512},{},[513,545,577],{"type":44,"tag":378,"props":514,"children":515},{},[516,525,536],{"type":44,"tag":405,"props":517,"children":518},{},[519],{"type":44,"tag":76,"props":520,"children":522},{"className":521},[],[523],{"type":49,"value":524},"evm-scanner",{"type":44,"tag":405,"props":526,"children":527},{},[528,530],{"type":49,"value":529},"PLATFORM includes ",{"type":44,"tag":76,"props":531,"children":533},{"className":532},[],[534],{"type":49,"value":535},"evm",{"type":44,"tag":405,"props":537,"children":538},{},[539],{"type":44,"tag":76,"props":540,"children":542},{"className":541},[],[543],{"type":49,"value":544},"EVM_VULNERABILITY_PATTERNS.md",{"type":44,"tag":378,"props":546,"children":547},{},[548,557,568],{"type":44,"tag":405,"props":549,"children":550},{},[551],{"type":44,"tag":76,"props":552,"children":554},{"className":553},[],[555],{"type":49,"value":556},"ibc-scanner",{"type":44,"tag":405,"props":558,"children":559},{},[560,562],{"type":49,"value":561},"IBC_ENABLED is ",{"type":44,"tag":76,"props":563,"children":565},{"className":564},[],[566],{"type":49,"value":567},"true",{"type":44,"tag":405,"props":569,"children":570},{},[571],{"type":44,"tag":76,"props":572,"children":574},{"className":573},[],[575],{"type":49,"value":576},"IBC_VULNERABILITY_PATTERNS.md",{"type":44,"tag":378,"props":578,"children":579},{},[580,589,599],{"type":44,"tag":405,"props":581,"children":582},{},[583],{"type":44,"tag":76,"props":584,"children":586},{"className":585},[],[587],{"type":49,"value":588},"cosmwasm-scanner",{"type":44,"tag":405,"props":590,"children":591},{},[592,593],{"type":49,"value":529},{"type":44,"tag":76,"props":594,"children":596},{"className":595},[],[597],{"type":49,"value":598},"wasm",{"type":44,"tag":405,"props":600,"children":601},{},[602],{"type":44,"tag":76,"props":603,"children":605},{"className":604},[],[606],{"type":49,"value":607},"COSMWASM_VULNERABILITY_PATTERNS.md",{"type":44,"tag":609,"props":610,"children":612},"h4",{"id":611},"agent-prompt-template",[613],{"type":49,"value":614},"Agent Prompt Template",{"type":44,"tag":59,"props":616,"children":617},{},[618,620,626,628,634,636,642],{"type":49,"value":619},"Construct each agent's prompt by replacing ",{"type":44,"tag":76,"props":621,"children":623},{"className":622},[],[624],{"type":49,"value":625},"{REFERENCE_FILE_PATH}",{"type":49,"value":627}," with the full path to the reference file (under ",{"type":44,"tag":76,"props":629,"children":631},{"className":630},[],[632],{"type":49,"value":633},"{baseDir}\u002Fresources\u002F",{"type":49,"value":635},") and ",{"type":44,"tag":76,"props":637,"children":639},{"className":638},[],[640],{"type":49,"value":641},"{CLAUDE_MD_PATH}",{"type":49,"value":643}," with the path to the CLAUDE.md written in Phase 1:",{"type":44,"tag":310,"props":645,"children":648},{"className":646,"code":647,"language":49},[313],"Perform a very thorough security scan of a Cosmos SDK codebase for specific vulnerability patterns.\n\nCONTEXT:\nRead {CLAUDE_MD_PATH} for codebase context (SDK version, modules, threat model, key files).\n\nPATTERNS:\nRead {REFERENCE_FILE_PATH} — it contains numbered vulnerability patterns. For EACH pattern:\n1. Read the detection patterns and \"What to Check\" items\n2. Use Grep and Glob to search the target codebase for each pattern\n3. When a match is found, Read surrounding code to verify it's on a consensus-critical path (BeginBlock, EndBlock, FinalizeBlock, msg_server handlers, AnteHandler)\n4. Classify severity per the guidelines below\n\nRULES:\n- Consensus path only: Only flag code reachable from consensus-critical execution. CLI\u002Fquery\u002Ftest code is NOT a finding.\n- Check SDK version in go.mod before applying patterns (v0.47 removed GetSigners, v0.50 added ABCI 2.0, v0.53 deprecated ValidateBasic).\n- Always use the Grep tool for searches, not bash grep. The reference file contains search patterns — use them directly with the Grep tool.\n- Ignore cross-references to other resource files (e.g., links to IBC or COSMWASM patterns). Those patterns are covered by other scanning agents.\n- Reject these rationalizations:\n  - \"ValidateBasic catches this\" — deprecated and facultative since SDK v0.53\n  - \"Behind governance, so safe\" — governance proposals can be malicious\n  - \"IBC counterparty is trusted\" — any chain can open a channel\n  - \"Panic can't happen, input is validated\" — trace the full call chain\n  - \"Rounding error is only a few tokens\" — compounds over time, can be looped\n  - \"EVM precompile handles rollback\" — many have incomplete rollback\n\nSEVERITY:\n- Critical (fund loss): signer mismatch, broken bookkeeping, AnteHandler bypass, bank keeper misuse, IBC token inflation, EVM\u002FCosmos desync, Merkle proof forgery, arithmetic overflow\n- High (chain halt): non-determinism, ABCI panics, slow ABCI, non-deterministic IBC acks, consensus gaps, CacheContext event leak\n- Medium (DoS): unbounded pagination, tx replay, missing validation, governance spam, rate limiting, circuit breaker bypass, storage key collisions\n- Low (logic): rounding errors, stub handlers, event override, module ordering\n\nOUTPUT — RETURN FORMAT:\nDo NOT write any files. Return ALL findings and the summary in your response.\n\nFor each pattern, return one of:\n  §NUM PATTERN_NAME: Not applicable — [one-line reason]\n  §NUM PATTERN_NAME: FINDING (followed by the finding block below)\n\nFor each finding, include the full content using this template:\n\nFINDING_FILE: {SEVERITY}-s{SECTION_NUM}-{kebab-description}.md\n## [SEVERITY] Title\n**Location**: `file:line`\n**Description**: What the bug is and why it matters\n**Vulnerable Code**: [snippet]\n**Attack Scenario**: [numbered steps]\n**Recommendation**: How to fix\n**References**: [links to relevant advisories or building-secure-contracts]\n\nYou MUST report on ALL patterns in the reference file — do not skip any.\n",[649],{"type":44,"tag":76,"props":650,"children":651},{"__ignoreMap":318},[652],{"type":49,"value":647},{"type":44,"tag":59,"props":654,"children":655},{},[656,660],{"type":44,"tag":68,"props":657,"children":658},{},[659],{"type":49,"value":340},{"type":49,"value":661},": All scanning agents returned. Each reported on every pattern in their reference file.",{"type":44,"tag":232,"props":663,"children":665},{"id":664},"phase-3-write-findings",[666],{"type":49,"value":667},"Phase 3: Write Findings",{"type":44,"tag":59,"props":669,"children":670},{},[671,673,678],{"type":49,"value":672},"After all scanning agents return, write finding files to the output directory (default ",{"type":44,"tag":76,"props":674,"children":676},{"className":675},[],[677],{"type":49,"value":81},{"type":49,"value":679},"):",{"type":44,"tag":164,"props":681,"children":682},{},[683,696,714],{"type":44,"tag":95,"props":684,"children":685},{},[686,688,694],{"type":49,"value":687},"Parse each agent's response for ",{"type":44,"tag":76,"props":689,"children":691},{"className":690},[],[692],{"type":49,"value":693},"FINDING_FILE:",{"type":49,"value":695}," blocks",{"type":44,"tag":95,"props":697,"children":698},{},[699,701,707,709],{"type":49,"value":700},"For each finding, Write the content to ",{"type":44,"tag":76,"props":702,"children":704},{"className":703},[],[705],{"type":49,"value":706},"{OUTPUT_DIR}\u002F{filename}",{"type":49,"value":708}," using the filename from ",{"type":44,"tag":76,"props":710,"children":712},{"className":711},[],[713],{"type":49,"value":693},{"type":44,"tag":95,"props":715,"children":716},{},[717],{"type":49,"value":718},"Create the output directory first if it doesn't exist",{"type":44,"tag":232,"props":720,"children":722},{"id":721},"phase-4-verify-completeness",[723],{"type":49,"value":724},"Phase 4: Verify Completeness",{"type":44,"tag":59,"props":726,"children":727},{},[728],{"type":49,"value":729},"After writing all findings, verify every pattern was assessed:",{"type":44,"tag":164,"props":731,"children":732},{},[733,738,806,811],{"type":44,"tag":95,"props":734,"children":735},{},[736],{"type":49,"value":737},"Collect the summary lines (§NUM entries) returned by each agent",{"type":44,"tag":95,"props":739,"children":740},{},[741,743],{"type":49,"value":742},"Check pattern counts against expected totals:\n",{"type":44,"tag":91,"props":744,"children":745},{},[746,756,766,776,786,796],{"type":44,"tag":95,"props":747,"children":748},{},[749,754],{"type":44,"tag":76,"props":750,"children":752},{"className":751},[],[753],{"type":49,"value":413},{"type":49,"value":755},": 8 patterns (§1-9, excluding §8 legacy-only)",{"type":44,"tag":95,"props":757,"children":758},{},[759,764],{"type":44,"tag":76,"props":760,"children":762},{"className":761},[],[763],{"type":49,"value":439},{"type":49,"value":765},": 13 patterns (§11-23)",{"type":44,"tag":95,"props":767,"children":768},{},[769,774],{"type":44,"tag":76,"props":770,"children":772},{"className":771},[],[773],{"type":49,"value":465},{"type":49,"value":775},": 4 patterns (§24-27)",{"type":44,"tag":95,"props":777,"children":778},{},[779,784],{"type":44,"tag":76,"props":780,"children":782},{"className":781},[],[783],{"type":49,"value":524},{"type":49,"value":785}," (if spawned): 10 patterns (§1-10)",{"type":44,"tag":95,"props":787,"children":788},{},[789,794],{"type":44,"tag":76,"props":790,"children":792},{"className":791},[],[793],{"type":49,"value":556},{"type":49,"value":795}," (if spawned): 16 patterns (§1-16)",{"type":44,"tag":95,"props":797,"children":798},{},[799,804],{"type":44,"tag":76,"props":800,"children":802},{"className":801},[],[803],{"type":49,"value":588},{"type":49,"value":805}," (if spawned): 3 patterns (§1-3)",{"type":44,"tag":95,"props":807,"children":808},{},[809],{"type":49,"value":810},"If any pattern is missing from a summary, flag it and re-prompt that agent",{"type":44,"tag":95,"props":812,"children":813},{},[814,816,822,824],{"type":49,"value":815},"List all finding files written to the output directory with a ",{"type":44,"tag":76,"props":817,"children":819},{"className":818},[],[820],{"type":49,"value":821},"Glob",{"type":49,"value":823}," for ",{"type":44,"tag":76,"props":825,"children":827},{"className":826},[],[828],{"type":49,"value":829},"*.md",{"type":44,"tag":59,"props":831,"children":832},{},[833,837],{"type":44,"tag":68,"props":834,"children":835},{},[836],{"type":49,"value":340},{"type":49,"value":838},": All patterns accounted for. Finding files listed for the user.",{"type":44,"tag":840,"props":841,"children":842},"hr",{},[],{"type":44,"tag":52,"props":844,"children":846},{"id":845},"success-criteria",[847],{"type":49,"value":848},"Success Criteria",{"type":44,"tag":91,"props":850,"children":853},{"className":851},[852],"contains-task-list",[854,867,876,885,894],{"type":44,"tag":95,"props":855,"children":858},{"className":856},[857],"task-list-item",[859,865],{"type":44,"tag":860,"props":861,"children":864},"input",{"disabled":862,"type":863},true,"checkbox",[],{"type":49,"value":866}," Discovery CLAUDE.md written with complete technical inventory and threat model",{"type":44,"tag":95,"props":868,"children":870},{"className":869},[857],[871,874],{"type":44,"tag":860,"props":872,"children":873},{"disabled":862,"type":863},[],{"type":49,"value":875}," All scanning agents completed and reported on every pattern in their reference file",{"type":44,"tag":95,"props":877,"children":879},{"className":878},[857],[880,883],{"type":44,"tag":860,"props":881,"children":882},{"disabled":862,"type":863},[],{"type":49,"value":884}," Pattern counts verified against expected totals (no patterns skipped)",{"type":44,"tag":95,"props":886,"children":888},{"className":887},[857],[889,892],{"type":44,"tag":860,"props":890,"children":891},{"disabled":862,"type":863},[],{"type":49,"value":893}," All findings written to output directory as individual markdown files",{"type":44,"tag":95,"props":895,"children":897},{"className":896},[857],[898,901],{"type":44,"tag":860,"props":899,"children":900},{"disabled":862,"type":863},[],{"type":49,"value":902}," Each finding file includes: severity, location, vulnerable code, attack scenario, recommendation",{"type":44,"tag":840,"props":904,"children":905},{},[],{"type":44,"tag":52,"props":907,"children":909},{"id":908},"resources",[910],{"type":49,"value":911},"Resources",{"type":44,"tag":91,"props":913,"children":914},{},[915,929,943,957,971,985,999,1013,1028,1044],{"type":44,"tag":95,"props":916,"children":917},{},[918,923,925],{"type":44,"tag":68,"props":919,"children":920},{},[921],{"type":49,"value":922},"Discovery & CLAUDE.md",{"type":49,"value":924},": ",{"type":44,"tag":283,"props":926,"children":927},{"href":285},[928],{"type":49,"value":288},{"type":44,"tag":95,"props":930,"children":931},{},[932,937,938],{"type":44,"tag":68,"props":933,"children":934},{},[935],{"type":49,"value":936},"Core patterns (§1-9)",{"type":49,"value":924},{"type":44,"tag":283,"props":939,"children":941},{"href":940},"resources\u002FVULNERABILITY_PATTERNS.md",[942],{"type":49,"value":422},{"type":44,"tag":95,"props":944,"children":945},{},[946,951,952],{"type":44,"tag":68,"props":947,"children":948},{},[949],{"type":49,"value":950},"State & module patterns (§11-23)",{"type":49,"value":924},{"type":44,"tag":283,"props":953,"children":955},{"href":954},"resources\u002FSTATE_VULNERABILITY_PATTERNS.md",[956],{"type":49,"value":448},{"type":44,"tag":95,"props":958,"children":959},{},[960,965,966],{"type":44,"tag":68,"props":961,"children":962},{},[963],{"type":49,"value":964},"Advanced patterns (§24-27)",{"type":49,"value":924},{"type":44,"tag":283,"props":967,"children":969},{"href":968},"resources\u002FADVANCED_VULNERABILITY_PATTERNS.md",[970],{"type":49,"value":474},{"type":44,"tag":95,"props":972,"children":973},{},[974,979,980],{"type":44,"tag":68,"props":975,"children":976},{},[977],{"type":49,"value":978},"IBC vulnerabilities",{"type":49,"value":924},{"type":44,"tag":283,"props":981,"children":983},{"href":982},"resources\u002FIBC_VULNERABILITY_PATTERNS.md",[984],{"type":49,"value":576},{"type":44,"tag":95,"props":986,"children":987},{},[988,993,994],{"type":44,"tag":68,"props":989,"children":990},{},[991],{"type":49,"value":992},"CosmWasm vulnerabilities",{"type":49,"value":924},{"type":44,"tag":283,"props":995,"children":997},{"href":996},"resources\u002FCOSMWASM_VULNERABILITY_PATTERNS.md",[998],{"type":49,"value":607},{"type":44,"tag":95,"props":1000,"children":1001},{},[1002,1007,1008],{"type":44,"tag":68,"props":1003,"children":1004},{},[1005],{"type":49,"value":1006},"EVM vulnerabilities",{"type":49,"value":924},{"type":44,"tag":283,"props":1009,"children":1011},{"href":1010},"resources\u002FEVM_VULNERABILITY_PATTERNS.md",[1012],{"type":49,"value":544},{"type":44,"tag":95,"props":1014,"children":1015},{},[1016,1021,1022],{"type":44,"tag":68,"props":1017,"children":1018},{},[1019],{"type":49,"value":1020},"Building Secure Contracts",{"type":49,"value":924},{"type":44,"tag":76,"props":1023,"children":1025},{"className":1024},[],[1026],{"type":49,"value":1027},"building-secure-contracts\u002Fnot-so-smart-contracts\u002Fcosmos\u002F",{"type":44,"tag":95,"props":1029,"children":1030},{},[1031,1036,1037],{"type":44,"tag":68,"props":1032,"children":1033},{},[1034],{"type":49,"value":1035},"Cosmos SDK Docs",{"type":49,"value":924},{"type":44,"tag":283,"props":1038,"children":1042},{"href":1039,"rel":1040},"https:\u002F\u002Fdocs.cosmos.network\u002F",[1041],"nofollow",[1043],{"type":49,"value":1039},{"type":44,"tag":95,"props":1045,"children":1046},{},[1047,1052,1053],{"type":44,"tag":68,"props":1048,"children":1049},{},[1050],{"type":49,"value":1051},"CodeQL for Cosmos SDK",{"type":49,"value":924},{"type":44,"tag":283,"props":1054,"children":1057},{"href":1055,"rel":1056},"https:\u002F\u002Fgithub.com\u002Fcrypto-com\u002Fcosmos-sdk-codeql",[1041],[1058],{"type":49,"value":1055},{"items":1060,"total":1154},[1061,1078,1088,1106,1119,1132,1144],{"slug":1062,"name":1062,"fn":1063,"description":1064,"org":1065,"tags":1066,"stars":26,"repoUrl":27,"updatedAt":1077},"address-sanitizer","detect memory errors during fuzzing","AddressSanitizer detects memory errors during fuzzing. Use when fuzzing C\u002FC++ code to find buffer overflows and use-after-free bugs.\n",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1067,1070,1073,1074],{"name":1068,"slug":1069,"type":16},"C#","c",{"name":1071,"slug":1072,"type":16},"Debugging","debugging",{"name":14,"slug":15,"type":16},{"name":1075,"slug":1076,"type":16},"Testing","testing","2026-07-17T06:05:14.925095",{"slug":1079,"name":1079,"fn":1080,"description":1081,"org":1082,"tags":1083,"stars":26,"repoUrl":27,"updatedAt":1087},"aflpp","perform multi-core fuzzing of C\u002FC++ projects","AFL++ is a fork of AFL with better fuzzing performance and advanced features. Use for multi-core fuzzing of C\u002FC++ projects.\n",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1084,1085,1086],{"name":1068,"slug":1069,"type":16},{"name":14,"slug":15,"type":16},{"name":1075,"slug":1076,"type":16},"2026-07-17T06:05:12.433192",{"slug":1089,"name":1089,"fn":1090,"description":1091,"org":1092,"tags":1093,"stars":26,"repoUrl":27,"updatedAt":1105},"agentic-actions-auditor","audit GitHub Actions for security vulnerabilities","Audits GitHub Actions workflows for security vulnerabilities in AI agent integrations including Claude Code Action, Gemini CLI, OpenAI Codex, and GitHub AI Inference. Detects attack vectors where attacker-controlled input reaches AI agents running in CI\u002FCD pipelines, including env var intermediary patterns, direct expression injection, dangerous sandbox configurations, and wildcard user allowlists. Use when reviewing workflow files that invoke AI coding agents, auditing CI\u002FCD pipeline security for prompt injection risks, or evaluating agentic action configurations.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1094,1097,1100,1101,1104],{"name":1095,"slug":1096,"type":16},"Agents","agents",{"name":1098,"slug":1099,"type":16},"CI\u002FCD","ci-cd",{"name":24,"slug":25,"type":16},{"name":1102,"slug":1103,"type":16},"GitHub Actions","github-actions",{"name":14,"slug":15,"type":16},"2026-07-18T05:47:48.564744",{"slug":1107,"name":1107,"fn":1108,"description":1109,"org":1110,"tags":1111,"stars":26,"repoUrl":27,"updatedAt":1118},"algorand-vulnerability-scanner","scan Algorand smart contracts for vulnerabilities","Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked transaction fees, missing field validations, and access control issues. Use when auditing Algorand projects (TEAL\u002FPyTeal).",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1112,1113,1114,1115],{"name":21,"slug":22,"type":16},{"name":24,"slug":25,"type":16},{"name":14,"slug":15,"type":16},{"name":1116,"slug":1117,"type":16},"Smart Contracts","smart-contracts","2026-07-18T05:47:43.989063",{"slug":1120,"name":1120,"fn":1121,"description":1122,"org":1123,"tags":1124,"stars":26,"repoUrl":27,"updatedAt":1131},"ask-questions-if-underspecified","clarify requirements before implementation","Clarify requirements before implementing. Use when serious doubts arise.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1125,1128],{"name":1126,"slug":1127,"type":16},"Engineering","engineering",{"name":1129,"slug":1130,"type":16},"Productivity","productivity","2026-07-17T06:05:33.543262",{"slug":1133,"name":1133,"fn":1134,"description":1135,"org":1136,"tags":1137,"stars":26,"repoUrl":27,"updatedAt":1143},"atheris","fuzz Python code with Atheris","Atheris is a coverage-guided Python fuzzer based on libFuzzer. Use for fuzzing pure Python code and Python C extensions.\n",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1138,1141,1142],{"name":1139,"slug":1140,"type":16},"Python","python",{"name":14,"slug":15,"type":16},{"name":1075,"slug":1076,"type":16},"2026-07-17T06:05:14.575191",{"slug":1145,"name":1145,"fn":1146,"description":1147,"org":1148,"tags":1149,"stars":26,"repoUrl":27,"updatedAt":1153},"audit-augmentation","augment code graphs with audit findings","Augments Trailmark code graphs with external audit findings from SARIF static analysis results, weAudit annotation files, and version-gated Trailmark 0.4.x binary-analysis graph exports. Maps findings to graph nodes by file and line overlap, creates severity-based subgraphs, and enables cross-referencing findings with pre-analysis data (blast radius, taint, etc.). Use when projecting SARIF results onto a code graph, overlaying weAudit annotations, importing binary graph findings, cross-referencing Semgrep, CodeQL, or binary-analysis findings with call graph data, or visualizing audit findings in the context of code structure.\n",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1150,1151,1152],{"name":21,"slug":22,"type":16},{"name":24,"slug":25,"type":16},{"name":14,"slug":15,"type":16},"2026-08-01T05:44:54.920542",77,{"items":1156,"total":1260},[1157,1164,1170,1178,1185,1190,1196,1202,1215,1226,1238,1249],{"slug":1062,"name":1062,"fn":1063,"description":1064,"org":1158,"tags":1159,"stars":26,"repoUrl":27,"updatedAt":1077},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1160,1161,1162,1163],{"name":1068,"slug":1069,"type":16},{"name":1071,"slug":1072,"type":16},{"name":14,"slug":15,"type":16},{"name":1075,"slug":1076,"type":16},{"slug":1079,"name":1079,"fn":1080,"description":1081,"org":1165,"tags":1166,"stars":26,"repoUrl":27,"updatedAt":1087},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1167,1168,1169],{"name":1068,"slug":1069,"type":16},{"name":14,"slug":15,"type":16},{"name":1075,"slug":1076,"type":16},{"slug":1089,"name":1089,"fn":1090,"description":1091,"org":1171,"tags":1172,"stars":26,"repoUrl":27,"updatedAt":1105},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1173,1174,1175,1176,1177],{"name":1095,"slug":1096,"type":16},{"name":1098,"slug":1099,"type":16},{"name":24,"slug":25,"type":16},{"name":1102,"slug":1103,"type":16},{"name":14,"slug":15,"type":16},{"slug":1107,"name":1107,"fn":1108,"description":1109,"org":1179,"tags":1180,"stars":26,"repoUrl":27,"updatedAt":1118},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1181,1182,1183,1184],{"name":21,"slug":22,"type":16},{"name":24,"slug":25,"type":16},{"name":14,"slug":15,"type":16},{"name":1116,"slug":1117,"type":16},{"slug":1120,"name":1120,"fn":1121,"description":1122,"org":1186,"tags":1187,"stars":26,"repoUrl":27,"updatedAt":1131},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1188,1189],{"name":1126,"slug":1127,"type":16},{"name":1129,"slug":1130,"type":16},{"slug":1133,"name":1133,"fn":1134,"description":1135,"org":1191,"tags":1192,"stars":26,"repoUrl":27,"updatedAt":1143},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1193,1194,1195],{"name":1139,"slug":1140,"type":16},{"name":14,"slug":15,"type":16},{"name":1075,"slug":1076,"type":16},{"slug":1145,"name":1145,"fn":1146,"description":1147,"org":1197,"tags":1198,"stars":26,"repoUrl":27,"updatedAt":1153},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1199,1200,1201],{"name":21,"slug":22,"type":16},{"name":24,"slug":25,"type":16},{"name":14,"slug":15,"type":16},{"slug":1203,"name":1203,"fn":1204,"description":1205,"org":1206,"tags":1207,"stars":26,"repoUrl":27,"updatedAt":1214},"audit-context-building","build architectural context for code analysis","Enables ultra-granular, line-by-line code analysis to build deep architectural context before vulnerability or bug finding.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1208,1211,1212,1213],{"name":1209,"slug":1210,"type":16},"Architecture","architecture",{"name":21,"slug":22,"type":16},{"name":24,"slug":25,"type":16},{"name":1126,"slug":1127,"type":16},"2026-07-18T05:47:40.122449",{"slug":1216,"name":1216,"fn":1217,"description":1218,"org":1219,"tags":1220,"stars":26,"repoUrl":27,"updatedAt":1225},"audit-prep-assistant","prepare codebases for security audits","Prepares codebases for security review using Trail of Bits' checklist. Helps set review goals, runs static analysis tools, increases test coverage, removes dead code, ensures accessibility, and generates documentation (flowcharts, user stories, inline comments).",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1221,1222,1223,1224],{"name":21,"slug":22,"type":16},{"name":24,"slug":25,"type":16},{"name":1126,"slug":1127,"type":16},{"name":14,"slug":15,"type":16},"2026-07-18T05:47:39.210985",{"slug":1227,"name":1227,"fn":1228,"description":1229,"org":1230,"tags":1231,"stars":26,"repoUrl":27,"updatedAt":1237},"burpsuite-project-parser","parse Burp Suite project files","Searches and explores Burp Suite project files (.burp) from the command line. Use when searching response headers or bodies with regex patterns, extracting security audit findings, dumping proxy history or site map data, or analyzing HTTP traffic captured in a Burp project.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1232,1233,1236],{"name":21,"slug":22,"type":16},{"name":1234,"slug":1235,"type":16},"CLI","cli",{"name":14,"slug":15,"type":16},"2026-07-17T06:05:33.198077",{"slug":1239,"name":1239,"fn":1240,"description":1241,"org":1242,"tags":1243,"stars":26,"repoUrl":27,"updatedAt":1248},"c-review","audit C and C++ code","Performs comprehensive C\u002FC++ security review for memory corruption, integer overflows, race conditions, and platform-specific vulnerabilities. Use when auditing native C\u002FC++ applications, reviewing daemons or services for memory safety, or hunting integer overflow \u002F use-after-free \u002F race conditions in userspace code.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1244,1245,1246,1247],{"name":21,"slug":22,"type":16},{"name":1068,"slug":1069,"type":16},{"name":24,"slug":25,"type":16},{"name":14,"slug":15,"type":16},"2026-07-17T06:05:11.333374",{"slug":1250,"name":1250,"fn":1251,"description":1252,"org":1253,"tags":1254,"stars":26,"repoUrl":27,"updatedAt":1259},"cairo-vulnerability-scanner","scan Cairo and StarkNet contracts for vulnerabilities","Scans Cairo\u002FStarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, L1-L2 messaging issues, address conversion problems, and signature replay. Use when auditing StarkNet projects.",{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[1255,1256,1257,1258],{"name":21,"slug":22,"type":16},{"name":24,"slug":25,"type":16},{"name":14,"slug":15,"type":16},{"name":1116,"slug":1117,"type":16},"2026-07-18T05:47:42.84568",111]