[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"skill-trail-of-bits-necessist-audit":3,"mdc-ta80ks-key":35,"related-repo-trail-of-bits-necessist-audit":308,"related-org-trail-of-bits-necessist-audit":317},{"slug":4,"name":4,"fn":5,"description":6,"org":7,"tags":12,"stars":23,"repoUrl":24,"updatedAt":25,"license":26,"forks":27,"topics":28,"repo":30,"sourceUrl":33,"mdContent":34},"necessist-audit","audit Necessist code removal results","Use to audit Necessist results, running Necessist first if needed, and investigate whether passing removals reveal bugs in code or tests, including test-harness bugs that let tests pass without checking intended behavior.",{"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],{"name":14,"slug":15,"type":16},"Code Analysis","code-analysis","tag",{"name":18,"slug":19,"type":16},"Testing","testing",{"name":21,"slug":22,"type":16},"Debugging","debugging",144,"https:\u002F\u002Fgithub.com\u002Ftrailofbits\u002Fnecessist","2026-07-29T06:00:32.303573",null,19,[29,19],"mutation",{"repoUrl":24,"stars":23,"forks":27,"topics":31,"description":32},[29,19],"A mutation-based tool for finding bugs in tests","https:\u002F\u002Fgithub.com\u002Ftrailofbits\u002Fnecessist\u002Ftree\u002FHEAD\u002Fskills\u002Fnecessist-audit","---\nname: necessist-audit\ndescription: Use to audit Necessist results, running Necessist first if needed, and investigate whether passing removals reveal bugs in code or tests, including test-harness bugs that let tests pass without checking intended behavior.\nmetadata:\n  version: \"0.1.0\"\n  license: AGPL-3.0-only\n  compatibility:\n    requires:\n      - shell access\n      - the necessist command to be available on PATH\n---\n\n# Audit Necessist results\n\nUse passing removals as leads for finding bugs in the code or tests being audited.\n\nDo not modify project source unless the user explicitly requests changes. Running Necessist and allowing it to create `necessist.db` is permitted.\n\n## Scope\n\nAnalyze only removals whose outcome is `passed`.\n\n- Do not report failed, timed-out, or nonbuildable removals as findings.\n- Treat tests both as evidence about intended behavior and as possible subjects of findings.\n- Report defects in project-owned code, tests, test helpers, fixtures, mocks, and test configuration.\n- In tests, look for harness bugs such as missing synchronization, ineffective assertions, swallowed errors, unchecked setup, and mocks or timing assumptions that stop exercising intended behavior.\n- Do not report defects confined to generated code, vendored code, or third-party dependencies.\n\n## Locate results\n\nLook for `necessist.db` in the current directory. If it does not exist, run `necessist` there and use the resulting database. If Necessist is unavailable or the run fails, report the error and ask the user how to proceed.\n\nRead passing removals with `necessist --dump`. Use read-only SQLite queries only if needed.\n\n## Investigate removals\n\nFor each passing removal:\n\n1. Inspect the removal and the complete affected test.\n2. Infer the intended behavior from tests, documentation, comments, related tests, and implementation. Determine why the test passes without the removed operation, and form a concrete bug hypothesis when the removal appears meaningful.\n3. Seek supporting or refuting evidence in the affected test, implementation, callers, and focused non-mutating diagnostics.\n4. Consider benign explanations, including idempotence, duplicate setup, unreachable conditions, equivalent operations, nondeterminism, and persistent state. Do not treat a single rerun as proof that a flaky result is stable.\n5. Before reporting a finding or lead, confirm that its recorded source location and removed text match the current checkout. If they do not, mark the result as stale and recommend rerunning Necessist. Otherwise, cite repository-relative locations and the evidence supporting the conclusion.\n\nDo not infer that a passing removal is a bug merely because Necessist reports it.\n\n## Classify results\n\nClassify a result as a finding only when all of the following are established:\n\n- a specific intended contract, invariant, or behavior and its source;\n- the affected code or test location and the mechanism that violates it;\n- evidence connecting the Necessist removal to the behavior; and\n- consideration and rejection of reasonable benign explanations.\n\nIf any required element is missing, classify the result as a lead and state what evidence is missing. When uncertain, classify the result as a lead.\n\n## Report\n\nOrder findings by likely impact. For each finding, report:\n\n- removed code and source location;\n- affected code or test location;\n- intended behavior and its source;\n- why the test still passes;\n- potential impact;\n- supporting evidence;\n- next action for reproducing, confirming, or remediating the defect.\n\nList leads separately. End with counts of passing removals examined, findings, results for which no bug was established, and stale results.\n\nUse concise Markdown. Do not implement recommendations unless the user asks.\n",{"data":36,"body":44},{"name":4,"description":6,"metadata":37},{"version":38,"license":39,"compatibility":40},"0.1.0","AGPL-3.0-only",{"requires":41},[42,43],"shell access","the necessist command to be available on PATH",{"type":45,"children":46},"root",[47,56,62,76,83,96,126,132,152,165,171,176,205,210,216,221,244,249,255,260,298,303],{"type":48,"tag":49,"props":50,"children":52},"element","h1",{"id":51},"audit-necessist-results",[53],{"type":54,"value":55},"text","Audit Necessist results",{"type":48,"tag":57,"props":58,"children":59},"p",{},[60],{"type":54,"value":61},"Use passing removals as leads for finding bugs in the code or tests being audited.",{"type":48,"tag":57,"props":63,"children":64},{},[65,67,74],{"type":54,"value":66},"Do not modify project source unless the user explicitly requests changes. Running Necessist and allowing it to create ",{"type":48,"tag":68,"props":69,"children":71},"code",{"className":70},[],[72],{"type":54,"value":73},"necessist.db",{"type":54,"value":75}," is permitted.",{"type":48,"tag":77,"props":78,"children":80},"h2",{"id":79},"scope",[81],{"type":54,"value":82},"Scope",{"type":48,"tag":57,"props":84,"children":85},{},[86,88,94],{"type":54,"value":87},"Analyze only removals whose outcome is ",{"type":48,"tag":68,"props":89,"children":91},{"className":90},[],[92],{"type":54,"value":93},"passed",{"type":54,"value":95},".",{"type":48,"tag":97,"props":98,"children":99},"ul",{},[100,106,111,116,121],{"type":48,"tag":101,"props":102,"children":103},"li",{},[104],{"type":54,"value":105},"Do not report failed, timed-out, or nonbuildable removals as findings.",{"type":48,"tag":101,"props":107,"children":108},{},[109],{"type":54,"value":110},"Treat tests both as evidence about intended behavior and as possible subjects of findings.",{"type":48,"tag":101,"props":112,"children":113},{},[114],{"type":54,"value":115},"Report defects in project-owned code, tests, test helpers, fixtures, mocks, and test configuration.",{"type":48,"tag":101,"props":117,"children":118},{},[119],{"type":54,"value":120},"In tests, look for harness bugs such as missing synchronization, ineffective assertions, swallowed errors, unchecked setup, and mocks or timing assumptions that stop exercising intended behavior.",{"type":48,"tag":101,"props":122,"children":123},{},[124],{"type":54,"value":125},"Do not report defects confined to generated code, vendored code, or third-party dependencies.",{"type":48,"tag":77,"props":127,"children":129},{"id":128},"locate-results",[130],{"type":54,"value":131},"Locate results",{"type":48,"tag":57,"props":133,"children":134},{},[135,137,142,144,150],{"type":54,"value":136},"Look for ",{"type":48,"tag":68,"props":138,"children":140},{"className":139},[],[141],{"type":54,"value":73},{"type":54,"value":143}," in the current directory. If it does not exist, run ",{"type":48,"tag":68,"props":145,"children":147},{"className":146},[],[148],{"type":54,"value":149},"necessist",{"type":54,"value":151}," there and use the resulting database. If Necessist is unavailable or the run fails, report the error and ask the user how to proceed.",{"type":48,"tag":57,"props":153,"children":154},{},[155,157,163],{"type":54,"value":156},"Read passing removals with ",{"type":48,"tag":68,"props":158,"children":160},{"className":159},[],[161],{"type":54,"value":162},"necessist --dump",{"type":54,"value":164},". Use read-only SQLite queries only if needed.",{"type":48,"tag":77,"props":166,"children":168},{"id":167},"investigate-removals",[169],{"type":54,"value":170},"Investigate removals",{"type":48,"tag":57,"props":172,"children":173},{},[174],{"type":54,"value":175},"For each passing removal:",{"type":48,"tag":177,"props":178,"children":179},"ol",{},[180,185,190,195,200],{"type":48,"tag":101,"props":181,"children":182},{},[183],{"type":54,"value":184},"Inspect the removal and the complete affected test.",{"type":48,"tag":101,"props":186,"children":187},{},[188],{"type":54,"value":189},"Infer the intended behavior from tests, documentation, comments, related tests, and implementation. Determine why the test passes without the removed operation, and form a concrete bug hypothesis when the removal appears meaningful.",{"type":48,"tag":101,"props":191,"children":192},{},[193],{"type":54,"value":194},"Seek supporting or refuting evidence in the affected test, implementation, callers, and focused non-mutating diagnostics.",{"type":48,"tag":101,"props":196,"children":197},{},[198],{"type":54,"value":199},"Consider benign explanations, including idempotence, duplicate setup, unreachable conditions, equivalent operations, nondeterminism, and persistent state. Do not treat a single rerun as proof that a flaky result is stable.",{"type":48,"tag":101,"props":201,"children":202},{},[203],{"type":54,"value":204},"Before reporting a finding or lead, confirm that its recorded source location and removed text match the current checkout. If they do not, mark the result as stale and recommend rerunning Necessist. Otherwise, cite repository-relative locations and the evidence supporting the conclusion.",{"type":48,"tag":57,"props":206,"children":207},{},[208],{"type":54,"value":209},"Do not infer that a passing removal is a bug merely because Necessist reports it.",{"type":48,"tag":77,"props":211,"children":213},{"id":212},"classify-results",[214],{"type":54,"value":215},"Classify results",{"type":48,"tag":57,"props":217,"children":218},{},[219],{"type":54,"value":220},"Classify a result as a finding only when all of the following are established:",{"type":48,"tag":97,"props":222,"children":223},{},[224,229,234,239],{"type":48,"tag":101,"props":225,"children":226},{},[227],{"type":54,"value":228},"a specific intended contract, invariant, or behavior and its source;",{"type":48,"tag":101,"props":230,"children":231},{},[232],{"type":54,"value":233},"the affected code or test location and the mechanism that violates it;",{"type":48,"tag":101,"props":235,"children":236},{},[237],{"type":54,"value":238},"evidence connecting the Necessist removal to the behavior; and",{"type":48,"tag":101,"props":240,"children":241},{},[242],{"type":54,"value":243},"consideration and rejection of reasonable benign explanations.",{"type":48,"tag":57,"props":245,"children":246},{},[247],{"type":54,"value":248},"If any required element is missing, classify the result as a lead and state what evidence is missing. When uncertain, classify the result as a lead.",{"type":48,"tag":77,"props":250,"children":252},{"id":251},"report",[253],{"type":54,"value":254},"Report",{"type":48,"tag":57,"props":256,"children":257},{},[258],{"type":54,"value":259},"Order findings by likely impact. For each finding, report:",{"type":48,"tag":97,"props":261,"children":262},{},[263,268,273,278,283,288,293],{"type":48,"tag":101,"props":264,"children":265},{},[266],{"type":54,"value":267},"removed code and source location;",{"type":48,"tag":101,"props":269,"children":270},{},[271],{"type":54,"value":272},"affected code or test location;",{"type":48,"tag":101,"props":274,"children":275},{},[276],{"type":54,"value":277},"intended behavior and its source;",{"type":48,"tag":101,"props":279,"children":280},{},[281],{"type":54,"value":282},"why the test still passes;",{"type":48,"tag":101,"props":284,"children":285},{},[286],{"type":54,"value":287},"potential impact;",{"type":48,"tag":101,"props":289,"children":290},{},[291],{"type":54,"value":292},"supporting evidence;",{"type":48,"tag":101,"props":294,"children":295},{},[296],{"type":54,"value":297},"next action for reproducing, confirming, or remediating the defect.",{"type":48,"tag":57,"props":299,"children":300},{},[301],{"type":54,"value":302},"List leads separately. End with counts of passing removals examined, findings, results for which no bug was established, and stale results.",{"type":48,"tag":57,"props":304,"children":305},{},[306],{"type":54,"value":307},"Use concise Markdown. Do not implement recommendations unless the user asks.",{"items":309,"total":316},[310],{"slug":4,"name":4,"fn":5,"description":6,"org":311,"tags":312,"stars":23,"repoUrl":24,"updatedAt":25},{"slug":8,"name":9,"logoUrl":10,"githubOrg":11},[313,314,315],{"name":14,"slug":15,"type":16},{"name":21,"slug":22,"type":16},{"name":18,"slug":19,"type":16},1,{"items":318,"total":472},[319,336,346,364,379,392,404,414,427,438,450,461],{"slug":320,"name":320,"fn":321,"description":322,"org":323,"tags":324,"stars":333,"repoUrl":334,"updatedAt":335},"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},[325,328,329,332],{"name":326,"slug":327,"type":16},"C#","c",{"name":21,"slug":22,"type":16},{"name":330,"slug":331,"type":16},"Security","security",{"name":18,"slug":19,"type":16},6139,"https:\u002F\u002Fgithub.com\u002Ftrailofbits\u002Fskills","2026-07-17T06:05:14.925095",{"slug":337,"name":337,"fn":338,"description":339,"org":340,"tags":341,"stars":333,"repoUrl":334,"updatedAt":345},"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},[342,343,344],{"name":326,"slug":327,"type":16},{"name":330,"slug":331,"type":16},{"name":18,"slug":19,"type":16},"2026-07-17T06:05:12.433192",{"slug":347,"name":347,"fn":348,"description":349,"org":350,"tags":351,"stars":333,"repoUrl":334,"updatedAt":363},"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},[352,355,358,359,362],{"name":353,"slug":354,"type":16},"Agents","agents",{"name":356,"slug":357,"type":16},"CI\u002FCD","ci-cd",{"name":14,"slug":15,"type":16},{"name":360,"slug":361,"type":16},"GitHub Actions","github-actions",{"name":330,"slug":331,"type":16},"2026-07-18T05:47:48.564744",{"slug":365,"name":365,"fn":366,"description":367,"org":368,"tags":369,"stars":333,"repoUrl":334,"updatedAt":378},"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},[370,373,374,375],{"name":371,"slug":372,"type":16},"Audit","audit",{"name":14,"slug":15,"type":16},{"name":330,"slug":331,"type":16},{"name":376,"slug":377,"type":16},"Smart Contracts","smart-contracts","2026-07-18T05:47:43.989063",{"slug":380,"name":380,"fn":381,"description":382,"org":383,"tags":384,"stars":333,"repoUrl":334,"updatedAt":391},"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},[385,388],{"name":386,"slug":387,"type":16},"Engineering","engineering",{"name":389,"slug":390,"type":16},"Productivity","productivity","2026-07-17T06:05:33.543262",{"slug":393,"name":393,"fn":394,"description":395,"org":396,"tags":397,"stars":333,"repoUrl":334,"updatedAt":403},"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},[398,401,402],{"name":399,"slug":400,"type":16},"Python","python",{"name":330,"slug":331,"type":16},{"name":18,"slug":19,"type":16},"2026-07-17T06:05:14.575191",{"slug":405,"name":405,"fn":406,"description":407,"org":408,"tags":409,"stars":333,"repoUrl":334,"updatedAt":413},"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},[410,411,412],{"name":371,"slug":372,"type":16},{"name":14,"slug":15,"type":16},{"name":330,"slug":331,"type":16},"2026-08-01T05:44:54.920542",{"slug":415,"name":415,"fn":416,"description":417,"org":418,"tags":419,"stars":333,"repoUrl":334,"updatedAt":426},"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},[420,423,424,425],{"name":421,"slug":422,"type":16},"Architecture","architecture",{"name":371,"slug":372,"type":16},{"name":14,"slug":15,"type":16},{"name":386,"slug":387,"type":16},"2026-07-18T05:47:40.122449",{"slug":428,"name":428,"fn":429,"description":430,"org":431,"tags":432,"stars":333,"repoUrl":334,"updatedAt":437},"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},[433,434,435,436],{"name":371,"slug":372,"type":16},{"name":14,"slug":15,"type":16},{"name":386,"slug":387,"type":16},{"name":330,"slug":331,"type":16},"2026-07-18T05:47:39.210985",{"slug":439,"name":439,"fn":440,"description":441,"org":442,"tags":443,"stars":333,"repoUrl":334,"updatedAt":449},"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},[444,445,448],{"name":371,"slug":372,"type":16},{"name":446,"slug":447,"type":16},"CLI","cli",{"name":330,"slug":331,"type":16},"2026-07-17T06:05:33.198077",{"slug":451,"name":451,"fn":452,"description":453,"org":454,"tags":455,"stars":333,"repoUrl":334,"updatedAt":460},"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},[456,457,458,459],{"name":371,"slug":372,"type":16},{"name":326,"slug":327,"type":16},{"name":14,"slug":15,"type":16},{"name":330,"slug":331,"type":16},"2026-07-17T06:05:11.333374",{"slug":462,"name":462,"fn":463,"description":464,"org":465,"tags":466,"stars":333,"repoUrl":334,"updatedAt":471},"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},[467,468,469,470],{"name":371,"slug":372,"type":16},{"name":14,"slug":15,"type":16},{"name":330,"slug":331,"type":16},{"name":376,"slug":377,"type":16},"2026-07-18T05:47:42.84568",111]