[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill-trail-of-bits-trailmark-review-gate":3,"mdc-r0o0by-key":38,"related-org-trail-of-bits-trailmark-review-gate":644,"related-repo-trail-of-bits-trailmark-review-gate":798},{"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},"trailmark-review-gate","perform structural security reviews with Trailmark","Runs a Trailmark structural review gate over a branch, pull request, fix commit, release diff, or git ref range to detect new entrypoints, new tainted paths, removed validation or authorization calls, privilege-boundary drift, blast-radius growth, complexity growth, and newly reachable sensitive sinks. Use when reviewing a PR, branch, remediation commit, or release diff where graph-level security regressions should be checked before merge.",{"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},"Code Review","code-review",{"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-08-01T06:06:07.13258",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\u002Ftrailmark\u002Fskills\u002Ftrailmark-review-gate","---\nname: trailmark-review-gate\ndescription: \"Runs a Trailmark structural review gate over a branch, pull request, fix commit, release diff, or git ref range to detect new entrypoints, new tainted paths, removed validation or authorization calls, privilege-boundary drift, blast-radius growth, complexity growth, and newly reachable sensitive sinks. Use when reviewing a PR, branch, remediation commit, or release diff where graph-level security regressions should be checked before merge.\"\nallowed-tools:\n  - Bash\n  - Read\n  - Grep\n  - Glob\n  - Write\n---\n\n# Trailmark Review Gate\n\nApply deterministic security gate rules to Trailmark structural diff evidence.\nThis skill does not replace line-level review. It produces a compact structural\npacket reviewers can cite while they inspect the code.\n\n## When to Use\n\n- Reviewing a branch, pull request, release diff, or fix commit\n- Checking whether a change expands attack surface\n- Looking for removed validation or authorization on reachable paths\n- Comparing before\u002Fafter taint, privilege-boundary, blast-radius, or\n  complexity signals\n- Producing graph evidence for a differential review\n\n## When NOT to Use\n\n- Single-snapshot analysis. Use `trailmark` or `trailmark-structural`.\n- Text-diff review only. Use `differential-review`.\n- Full vulnerability discovery. Use an audit or bug-finding workflow.\n- One static finding. Use `trailmark-finding-triage`.\n- Tooling is unavailable and the user wants manual review only.\n\n## Rationalizations to Reject\n\n| Rationalization | Why It Is Wrong | Required Action |\n|---|---|---|\n| \"The line diff is small, so no graph gate is needed\" | Small changes can create new call paths | Compare before\u002Fafter graphs |\n| \"Graph gate passed, so the PR is secure\" | The gate only checks structural regressions | Still perform line-level review |\n| \"Trailmark failed, so pass the gate\" | Tool failure is unknown risk, not success | Emit `UNKNOWN` |\n| \"Tests pass, so removed validation is fine\" | Tests may miss affected entrypoint paths | Review the removed path manually |\n| \"Only new code matters\" | Removed auth, validation, and callers can be higher risk than additions | Review removals and path changes |\n\n## Workflow\n\n```\nReview Gate Progress:\n- [ ] Step 1: Resolve before\u002Fafter inputs\n- [ ] Step 2: Build graph-evolution evidence\n- [ ] Step 3: Normalize structural changes\n- [ ] Step 4: Apply gate rules\n- [ ] Step 5: Emit review packet and actions\n```\n\n### Step 1: Resolve Inputs\n\nAccept two refs, a branch name, a commit range, or before\u002Fafter directories.\nDo not check out branches unnecessarily. Prefer `git diff`, `git show`, and\ngit worktrees, following the `graph-evolution` snapshot workflow.\n\n### Step 2: Build Graph Evidence\n\nRun `graph-evolution` or equivalent Trailmark before\u002Fafter graph analysis.\nBoth snapshots must run `engine.preanalysis()` so taint, privilege-boundary,\nblast-radius, complexity, and entrypoint signals are available.\n\nRecord Trailmark version and any feature probes. If graph construction fails,\nemit `UNKNOWN`.\n\n### Step 3: Normalize Changes\n\nNormalize evidence into:\n\n- added, removed, and modified nodes\n- added and removed edges\n- entrypoint set changes\n- taint membership changes\n- privilege-boundary membership changes\n- blast-radius changes\n- complexity changes\n- newly reachable sensitive sinks\n- unresolved, proxy, or dynamic edge changes\n\n### Step 4: Apply Gate Rules\n\nApply the rules in [references\u002Fgate-rules.md](references\u002Fgate-rules.md).\nGate verdicts are:\n\n| Verdict | Meaning |\n|---|---|\n| `FAIL` | A high-risk structural regression needs review before acceptance |\n| `WARN` | A meaningful graph change needs reviewer attention |\n| `PASS` | No configured structural gate fired |\n| `UNKNOWN` | Trailmark failed or evidence is too incomplete |\n\n### Step 5: Emit Packet\n\nWrite the packet using\n[references\u002Foutput-format.md](references\u002Foutput-format.md), then hand it to\nthe branch reviewer. Use\n[references\u002Freview-integration.md](references\u002Freview-integration.md) when\ncombining this packet with `differential-review` or another PR review process.\n\n## Requirements\n\n- Never mutate the user's working branch while comparing refs.\n- Never report `PASS` when Trailmark failed.\n- Separate graph evidence from manual security judgment.\n- Include exact changed nodes or paths for every `FAIL` and `WARN`.\n- Include limitations when parser, proxy, unresolved-call, or dynamic-dispatch\n  uncertainty affects the verdict.\n",{"data":39,"body":46},{"name":4,"description":6,"allowed-tools":40},[41,42,43,44,45],"Bash","Read","Grep","Glob","Write",{"type":47,"children":48},"root",[49,57,63,70,100,106,165,171,300,306,318,325,354,360,380,391,397,402,450,456,469,558,564,590,596],{"type":50,"tag":51,"props":52,"children":53},"element","h1",{"id":4},[54],{"type":55,"value":56},"text","Trailmark Review Gate",{"type":50,"tag":58,"props":59,"children":60},"p",{},[61],{"type":55,"value":62},"Apply deterministic security gate rules to Trailmark structural diff evidence.\nThis skill does not replace line-level review. It produces a compact structural\npacket reviewers can cite while they inspect the code.",{"type":50,"tag":64,"props":65,"children":67},"h2",{"id":66},"when-to-use",[68],{"type":55,"value":69},"When to Use",{"type":50,"tag":71,"props":72,"children":73},"ul",{},[74,80,85,90,95],{"type":50,"tag":75,"props":76,"children":77},"li",{},[78],{"type":55,"value":79},"Reviewing a branch, pull request, release diff, or fix commit",{"type":50,"tag":75,"props":81,"children":82},{},[83],{"type":55,"value":84},"Checking whether a change expands attack surface",{"type":50,"tag":75,"props":86,"children":87},{},[88],{"type":55,"value":89},"Looking for removed validation or authorization on reachable paths",{"type":50,"tag":75,"props":91,"children":92},{},[93],{"type":55,"value":94},"Comparing before\u002Fafter taint, privilege-boundary, blast-radius, or\ncomplexity signals",{"type":50,"tag":75,"props":96,"children":97},{},[98],{"type":55,"value":99},"Producing graph evidence for a differential review",{"type":50,"tag":64,"props":101,"children":103},{"id":102},"when-not-to-use",[104],{"type":55,"value":105},"When NOT to Use",{"type":50,"tag":71,"props":107,"children":108},{},[109,131,143,148,160],{"type":50,"tag":75,"props":110,"children":111},{},[112,114,121,123,129],{"type":55,"value":113},"Single-snapshot analysis. Use ",{"type":50,"tag":115,"props":116,"children":118},"code",{"className":117},[],[119],{"type":55,"value":120},"trailmark",{"type":55,"value":122}," or ",{"type":50,"tag":115,"props":124,"children":126},{"className":125},[],[127],{"type":55,"value":128},"trailmark-structural",{"type":55,"value":130},".",{"type":50,"tag":75,"props":132,"children":133},{},[134,136,142],{"type":55,"value":135},"Text-diff review only. Use ",{"type":50,"tag":115,"props":137,"children":139},{"className":138},[],[140],{"type":55,"value":141},"differential-review",{"type":55,"value":130},{"type":50,"tag":75,"props":144,"children":145},{},[146],{"type":55,"value":147},"Full vulnerability discovery. Use an audit or bug-finding workflow.",{"type":50,"tag":75,"props":149,"children":150},{},[151,153,159],{"type":55,"value":152},"One static finding. Use ",{"type":50,"tag":115,"props":154,"children":156},{"className":155},[],[157],{"type":55,"value":158},"trailmark-finding-triage",{"type":55,"value":130},{"type":50,"tag":75,"props":161,"children":162},{},[163],{"type":55,"value":164},"Tooling is unavailable and the user wants manual review only.",{"type":50,"tag":64,"props":166,"children":168},{"id":167},"rationalizations-to-reject",[169],{"type":55,"value":170},"Rationalizations to Reject",{"type":50,"tag":172,"props":173,"children":174},"table",{},[175,199],{"type":50,"tag":176,"props":177,"children":178},"thead",{},[179],{"type":50,"tag":180,"props":181,"children":182},"tr",{},[183,189,194],{"type":50,"tag":184,"props":185,"children":186},"th",{},[187],{"type":55,"value":188},"Rationalization",{"type":50,"tag":184,"props":190,"children":191},{},[192],{"type":55,"value":193},"Why It Is Wrong",{"type":50,"tag":184,"props":195,"children":196},{},[197],{"type":55,"value":198},"Required Action",{"type":50,"tag":200,"props":201,"children":202},"tbody",{},[203,222,240,264,282],{"type":50,"tag":180,"props":204,"children":205},{},[206,212,217],{"type":50,"tag":207,"props":208,"children":209},"td",{},[210],{"type":55,"value":211},"\"The line diff is small, so no graph gate is needed\"",{"type":50,"tag":207,"props":213,"children":214},{},[215],{"type":55,"value":216},"Small changes can create new call paths",{"type":50,"tag":207,"props":218,"children":219},{},[220],{"type":55,"value":221},"Compare before\u002Fafter graphs",{"type":50,"tag":180,"props":223,"children":224},{},[225,230,235],{"type":50,"tag":207,"props":226,"children":227},{},[228],{"type":55,"value":229},"\"Graph gate passed, so the PR is secure\"",{"type":50,"tag":207,"props":231,"children":232},{},[233],{"type":55,"value":234},"The gate only checks structural regressions",{"type":50,"tag":207,"props":236,"children":237},{},[238],{"type":55,"value":239},"Still perform line-level review",{"type":50,"tag":180,"props":241,"children":242},{},[243,248,253],{"type":50,"tag":207,"props":244,"children":245},{},[246],{"type":55,"value":247},"\"Trailmark failed, so pass the gate\"",{"type":50,"tag":207,"props":249,"children":250},{},[251],{"type":55,"value":252},"Tool failure is unknown risk, not success",{"type":50,"tag":207,"props":254,"children":255},{},[256,258],{"type":55,"value":257},"Emit ",{"type":50,"tag":115,"props":259,"children":261},{"className":260},[],[262],{"type":55,"value":263},"UNKNOWN",{"type":50,"tag":180,"props":265,"children":266},{},[267,272,277],{"type":50,"tag":207,"props":268,"children":269},{},[270],{"type":55,"value":271},"\"Tests pass, so removed validation is fine\"",{"type":50,"tag":207,"props":273,"children":274},{},[275],{"type":55,"value":276},"Tests may miss affected entrypoint paths",{"type":50,"tag":207,"props":278,"children":279},{},[280],{"type":55,"value":281},"Review the removed path manually",{"type":50,"tag":180,"props":283,"children":284},{},[285,290,295],{"type":50,"tag":207,"props":286,"children":287},{},[288],{"type":55,"value":289},"\"Only new code matters\"",{"type":50,"tag":207,"props":291,"children":292},{},[293],{"type":55,"value":294},"Removed auth, validation, and callers can be higher risk than additions",{"type":50,"tag":207,"props":296,"children":297},{},[298],{"type":55,"value":299},"Review removals and path changes",{"type":50,"tag":64,"props":301,"children":303},{"id":302},"workflow",[304],{"type":55,"value":305},"Workflow",{"type":50,"tag":307,"props":308,"children":312},"pre",{"className":309,"code":311,"language":55},[310],"language-text","Review Gate Progress:\n- [ ] Step 1: Resolve before\u002Fafter inputs\n- [ ] Step 2: Build graph-evolution evidence\n- [ ] Step 3: Normalize structural changes\n- [ ] Step 4: Apply gate rules\n- [ ] Step 5: Emit review packet and actions\n",[313],{"type":50,"tag":115,"props":314,"children":316},{"__ignoreMap":315},"",[317],{"type":55,"value":311},{"type":50,"tag":319,"props":320,"children":322},"h3",{"id":321},"step-1-resolve-inputs",[323],{"type":55,"value":324},"Step 1: Resolve Inputs",{"type":50,"tag":58,"props":326,"children":327},{},[328,330,336,338,344,346,352],{"type":55,"value":329},"Accept two refs, a branch name, a commit range, or before\u002Fafter directories.\nDo not check out branches unnecessarily. Prefer ",{"type":50,"tag":115,"props":331,"children":333},{"className":332},[],[334],{"type":55,"value":335},"git diff",{"type":55,"value":337},", ",{"type":50,"tag":115,"props":339,"children":341},{"className":340},[],[342],{"type":55,"value":343},"git show",{"type":55,"value":345},", and\ngit worktrees, following the ",{"type":50,"tag":115,"props":347,"children":349},{"className":348},[],[350],{"type":55,"value":351},"graph-evolution",{"type":55,"value":353}," snapshot workflow.",{"type":50,"tag":319,"props":355,"children":357},{"id":356},"step-2-build-graph-evidence",[358],{"type":55,"value":359},"Step 2: Build Graph Evidence",{"type":50,"tag":58,"props":361,"children":362},{},[363,365,370,372,378],{"type":55,"value":364},"Run ",{"type":50,"tag":115,"props":366,"children":368},{"className":367},[],[369],{"type":55,"value":351},{"type":55,"value":371}," or equivalent Trailmark before\u002Fafter graph analysis.\nBoth snapshots must run ",{"type":50,"tag":115,"props":373,"children":375},{"className":374},[],[376],{"type":55,"value":377},"engine.preanalysis()",{"type":55,"value":379}," so taint, privilege-boundary,\nblast-radius, complexity, and entrypoint signals are available.",{"type":50,"tag":58,"props":381,"children":382},{},[383,385,390],{"type":55,"value":384},"Record Trailmark version and any feature probes. If graph construction fails,\nemit ",{"type":50,"tag":115,"props":386,"children":388},{"className":387},[],[389],{"type":55,"value":263},{"type":55,"value":130},{"type":50,"tag":319,"props":392,"children":394},{"id":393},"step-3-normalize-changes",[395],{"type":55,"value":396},"Step 3: Normalize Changes",{"type":50,"tag":58,"props":398,"children":399},{},[400],{"type":55,"value":401},"Normalize evidence into:",{"type":50,"tag":71,"props":403,"children":404},{},[405,410,415,420,425,430,435,440,445],{"type":50,"tag":75,"props":406,"children":407},{},[408],{"type":55,"value":409},"added, removed, and modified nodes",{"type":50,"tag":75,"props":411,"children":412},{},[413],{"type":55,"value":414},"added and removed edges",{"type":50,"tag":75,"props":416,"children":417},{},[418],{"type":55,"value":419},"entrypoint set changes",{"type":50,"tag":75,"props":421,"children":422},{},[423],{"type":55,"value":424},"taint membership changes",{"type":50,"tag":75,"props":426,"children":427},{},[428],{"type":55,"value":429},"privilege-boundary membership changes",{"type":50,"tag":75,"props":431,"children":432},{},[433],{"type":55,"value":434},"blast-radius changes",{"type":50,"tag":75,"props":436,"children":437},{},[438],{"type":55,"value":439},"complexity changes",{"type":50,"tag":75,"props":441,"children":442},{},[443],{"type":55,"value":444},"newly reachable sensitive sinks",{"type":50,"tag":75,"props":446,"children":447},{},[448],{"type":55,"value":449},"unresolved, proxy, or dynamic edge changes",{"type":50,"tag":319,"props":451,"children":453},{"id":452},"step-4-apply-gate-rules",[454],{"type":55,"value":455},"Step 4: Apply Gate Rules",{"type":50,"tag":58,"props":457,"children":458},{},[459,461,467],{"type":55,"value":460},"Apply the rules in ",{"type":50,"tag":462,"props":463,"children":465},"a",{"href":464},"references\u002Fgate-rules.md",[466],{"type":55,"value":464},{"type":55,"value":468},".\nGate verdicts are:",{"type":50,"tag":172,"props":470,"children":471},{},[472,488],{"type":50,"tag":176,"props":473,"children":474},{},[475],{"type":50,"tag":180,"props":476,"children":477},{},[478,483],{"type":50,"tag":184,"props":479,"children":480},{},[481],{"type":55,"value":482},"Verdict",{"type":50,"tag":184,"props":484,"children":485},{},[486],{"type":55,"value":487},"Meaning",{"type":50,"tag":200,"props":489,"children":490},{},[491,508,525,542],{"type":50,"tag":180,"props":492,"children":493},{},[494,503],{"type":50,"tag":207,"props":495,"children":496},{},[497],{"type":50,"tag":115,"props":498,"children":500},{"className":499},[],[501],{"type":55,"value":502},"FAIL",{"type":50,"tag":207,"props":504,"children":505},{},[506],{"type":55,"value":507},"A high-risk structural regression needs review before acceptance",{"type":50,"tag":180,"props":509,"children":510},{},[511,520],{"type":50,"tag":207,"props":512,"children":513},{},[514],{"type":50,"tag":115,"props":515,"children":517},{"className":516},[],[518],{"type":55,"value":519},"WARN",{"type":50,"tag":207,"props":521,"children":522},{},[523],{"type":55,"value":524},"A meaningful graph change needs reviewer attention",{"type":50,"tag":180,"props":526,"children":527},{},[528,537],{"type":50,"tag":207,"props":529,"children":530},{},[531],{"type":50,"tag":115,"props":532,"children":534},{"className":533},[],[535],{"type":55,"value":536},"PASS",{"type":50,"tag":207,"props":538,"children":539},{},[540],{"type":55,"value":541},"No configured structural gate fired",{"type":50,"tag":180,"props":543,"children":544},{},[545,553],{"type":50,"tag":207,"props":546,"children":547},{},[548],{"type":50,"tag":115,"props":549,"children":551},{"className":550},[],[552],{"type":55,"value":263},{"type":50,"tag":207,"props":554,"children":555},{},[556],{"type":55,"value":557},"Trailmark failed or evidence is too incomplete",{"type":50,"tag":319,"props":559,"children":561},{"id":560},"step-5-emit-packet",[562],{"type":55,"value":563},"Step 5: Emit Packet",{"type":50,"tag":58,"props":565,"children":566},{},[567,569,574,576,581,583,588],{"type":55,"value":568},"Write the packet using\n",{"type":50,"tag":462,"props":570,"children":572},{"href":571},"references\u002Foutput-format.md",[573],{"type":55,"value":571},{"type":55,"value":575},", then hand it to\nthe branch reviewer. Use\n",{"type":50,"tag":462,"props":577,"children":579},{"href":578},"references\u002Freview-integration.md",[580],{"type":55,"value":578},{"type":55,"value":582}," when\ncombining this packet with ",{"type":50,"tag":115,"props":584,"children":586},{"className":585},[],[587],{"type":55,"value":141},{"type":55,"value":589}," or another PR review process.",{"type":50,"tag":64,"props":591,"children":593},{"id":592},"requirements",[594],{"type":55,"value":595},"Requirements",{"type":50,"tag":71,"props":597,"children":598},{},[599,604,616,621,639],{"type":50,"tag":75,"props":600,"children":601},{},[602],{"type":55,"value":603},"Never mutate the user's working branch while comparing refs.",{"type":50,"tag":75,"props":605,"children":606},{},[607,609,614],{"type":55,"value":608},"Never report ",{"type":50,"tag":115,"props":610,"children":612},{"className":611},[],[613],{"type":55,"value":536},{"type":55,"value":615}," when Trailmark failed.",{"type":50,"tag":75,"props":617,"children":618},{},[619],{"type":55,"value":620},"Separate graph evidence from manual security judgment.",{"type":50,"tag":75,"props":622,"children":623},{},[624,626,631,633,638],{"type":55,"value":625},"Include exact changed nodes or paths for every ",{"type":50,"tag":115,"props":627,"children":629},{"className":628},[],[630],{"type":55,"value":502},{"type":55,"value":632}," and ",{"type":50,"tag":115,"props":634,"children":636},{"className":635},[],[637],{"type":55,"value":519},{"type":55,"value":130},{"type":50,"tag":75,"props":640,"children":641},{},[642],{"type":55,"value":643},"Include limitations when parser, proxy, unresolved-call, or dynamic-dispatch\nuncertainty affects the verdict.",{"items":645,"total":797},[646,663,673,691,704,717,729,739,752,763,775,786],{"slug":647,"name":647,"fn":648,"description":649,"org":650,"tags":651,"stars":26,"repoUrl":27,"updatedAt":662},"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},[652,655,658,659],{"name":653,"slug":654,"type":16},"C#","c",{"name":656,"slug":657,"type":16},"Debugging","debugging",{"name":14,"slug":15,"type":16},{"name":660,"slug":661,"type":16},"Testing","testing","2026-07-17T06:05:14.925095",{"slug":664,"name":664,"fn":665,"description":666,"org":667,"tags":668,"stars":26,"repoUrl":27,"updatedAt":672},"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},[669,670,671],{"name":653,"slug":654,"type":16},{"name":14,"slug":15,"type":16},{"name":660,"slug":661,"type":16},"2026-07-17T06:05:12.433192",{"slug":674,"name":674,"fn":675,"description":676,"org":677,"tags":678,"stars":26,"repoUrl":27,"updatedAt":690},"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},[679,682,685,686,689],{"name":680,"slug":681,"type":16},"Agents","agents",{"name":683,"slug":684,"type":16},"CI\u002FCD","ci-cd",{"name":24,"slug":25,"type":16},{"name":687,"slug":688,"type":16},"GitHub Actions","github-actions",{"name":14,"slug":15,"type":16},"2026-07-18T05:47:48.564744",{"slug":692,"name":692,"fn":693,"description":694,"org":695,"tags":696,"stars":26,"repoUrl":27,"updatedAt":703},"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},[697,698,699,700],{"name":21,"slug":22,"type":16},{"name":24,"slug":25,"type":16},{"name":14,"slug":15,"type":16},{"name":701,"slug":702,"type":16},"Smart Contracts","smart-contracts","2026-07-18T05:47:43.989063",{"slug":705,"name":705,"fn":706,"description":707,"org":708,"tags":709,"stars":26,"repoUrl":27,"updatedAt":716},"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},[710,713],{"name":711,"slug":712,"type":16},"Engineering","engineering",{"name":714,"slug":715,"type":16},"Productivity","productivity","2026-07-17T06:05:33.543262",{"slug":718,"name":718,"fn":719,"description":720,"org":721,"tags":722,"stars":26,"repoUrl":27,"updatedAt":728},"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},[723,726,727],{"name":724,"slug":725,"type":16},"Python","python",{"name":14,"slug":15,"type":16},{"name":660,"slug":661,"type":16},"2026-07-17T06:05:14.575191",{"slug":730,"name":730,"fn":731,"description":732,"org":733,"tags":734,"stars":26,"repoUrl":27,"updatedAt":738},"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},[735,736,737],{"name":21,"slug":22,"type":16},{"name":24,"slug":25,"type":16},{"name":14,"slug":15,"type":16},"2026-08-01T05:44:54.920542",{"slug":740,"name":740,"fn":741,"description":742,"org":743,"tags":744,"stars":26,"repoUrl":27,"updatedAt":751},"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},[745,748,749,750],{"name":746,"slug":747,"type":16},"Architecture","architecture",{"name":21,"slug":22,"type":16},{"name":24,"slug":25,"type":16},{"name":711,"slug":712,"type":16},"2026-07-18T05:47:40.122449",{"slug":753,"name":753,"fn":754,"description":755,"org":756,"tags":757,"stars":26,"repoUrl":27,"updatedAt":762},"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},[758,759,760,761],{"name":21,"slug":22,"type":16},{"name":24,"slug":25,"type":16},{"name":711,"slug":712,"type":16},{"name":14,"slug":15,"type":16},"2026-07-18T05:47:39.210985",{"slug":764,"name":764,"fn":765,"description":766,"org":767,"tags":768,"stars":26,"repoUrl":27,"updatedAt":774},"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},[769,770,773],{"name":21,"slug":22,"type":16},{"name":771,"slug":772,"type":16},"CLI","cli",{"name":14,"slug":15,"type":16},"2026-07-17T06:05:33.198077",{"slug":776,"name":776,"fn":777,"description":778,"org":779,"tags":780,"stars":26,"repoUrl":27,"updatedAt":785},"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},[781,782,783,784],{"name":21,"slug":22,"type":16},{"name":653,"slug":654,"type":16},{"name":24,"slug":25,"type":16},{"name":14,"slug":15,"type":16},"2026-07-17T06:05:11.333374",{"slug":787,"name":787,"fn":788,"description":789,"org":790,"tags":791,"stars":26,"repoUrl":27,"updatedAt":796},"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},[792,793,794,795],{"name":21,"slug":22,"type":16},{"name":24,"slug":25,"type":16},{"name":14,"slug":15,"type":16},{"name":701,"slug":702,"type":16},"2026-07-18T05:47:42.84568",111,{"items":799,"total":845},[800,807,813,821,828,833,839],{"slug":647,"name":647,"fn":648,"description":649,"org":801,"tags":802,"stars":26,"repoUrl":27,"updatedAt":662},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[803,804,805,806],{"name":653,"slug":654,"type":16},{"name":656,"slug":657,"type":16},{"name":14,"slug":15,"type":16},{"name":660,"slug":661,"type":16},{"slug":664,"name":664,"fn":665,"description":666,"org":808,"tags":809,"stars":26,"repoUrl":27,"updatedAt":672},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[810,811,812],{"name":653,"slug":654,"type":16},{"name":14,"slug":15,"type":16},{"name":660,"slug":661,"type":16},{"slug":674,"name":674,"fn":675,"description":676,"org":814,"tags":815,"stars":26,"repoUrl":27,"updatedAt":690},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[816,817,818,819,820],{"name":680,"slug":681,"type":16},{"name":683,"slug":684,"type":16},{"name":24,"slug":25,"type":16},{"name":687,"slug":688,"type":16},{"name":14,"slug":15,"type":16},{"slug":692,"name":692,"fn":693,"description":694,"org":822,"tags":823,"stars":26,"repoUrl":27,"updatedAt":703},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[824,825,826,827],{"name":21,"slug":22,"type":16},{"name":24,"slug":25,"type":16},{"name":14,"slug":15,"type":16},{"name":701,"slug":702,"type":16},{"slug":705,"name":705,"fn":706,"description":707,"org":829,"tags":830,"stars":26,"repoUrl":27,"updatedAt":716},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[831,832],{"name":711,"slug":712,"type":16},{"name":714,"slug":715,"type":16},{"slug":718,"name":718,"fn":719,"description":720,"org":834,"tags":835,"stars":26,"repoUrl":27,"updatedAt":728},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[836,837,838],{"name":724,"slug":725,"type":16},{"name":14,"slug":15,"type":16},{"name":660,"slug":661,"type":16},{"slug":730,"name":730,"fn":731,"description":732,"org":840,"tags":841,"stars":26,"repoUrl":27,"updatedAt":738},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[842,843,844],{"name":21,"slug":22,"type":16},{"name":24,"slug":25,"type":16},{"name":14,"slug":15,"type":16},77]