--- title: "False Positive Check: review, setup & limitations · Undominated.ai" canonical: https://undominated.ai/skills/trailofbits-fp-check/ description: "Forces a true-positive or false-positive verdict on one suspected bug, and refuses to be used as a bug hunter." --- # False Positive Check: review, setup & limitations · Undominated.ai > Forces a true-positive or false-positive verdict on one suspected bug, and refuses to be used as a bug hunter. [← Explore all skills](/skills/) SECURITY REVIEW / Trail of Bits # False Positive Check Forces a true-positive or false-positive verdict on one suspected bug, and refuses to be used as a bug hunter. [See setup guidance ↓](#setup)[Original source ↗](https://github.com/trailofbits/skills/tree/82fe8226252622fa807643bdca1710901198553a/plugins/fp-check/skills/fp-check) SOURCE REVIEW Reviewed 2026-10-14 Evidence 3 linked sources Publisher Trail of Bits Licence [CC-BY-SA-4.0 ↗](https://github.com/trailofbits/skills/blob/82fe8226252622fa807643bdca1710901198553a/LICENSE) Revision 82fe82262526 [Read what was—and wasn’t—checked ↓](#review) “Systematically verifies suspected security bugs to eliminate false positives, producing a TRUE POSITIVE or FALSE POSITIVE verdict with documented evidence for each. Use when asked whether a specific finding is real, exploitable, or a false positive, or to verify or validate a suspected vulnerability — not for hunting or discovering new bugs.” [Trail of Bits · upstream description ↗](https://github.com/trailofbits/skills/blob/82fe8226252622fa807643bdca1710901198553a/plugins/fp-check/skills/fp-check/SKILL.md) Our analysis follows below. 01 / THE REASONING ## Why this made the selection. - The definition separates verification of a named finding from hunting for new bugs, and lists the phrases that should not trigger it. - A verdict requires documented evidence rather than a confidence adjective. ### A good fit for - Checking whether one reported finding is real - Stopping a review from treating an unverified suspicion as a defect - Validate an existing finding against actual callers, trigger conditions and the chosen threat model ### Weigh up before choosing - CC-BY-SA-4.0 applies to adaptations you redistribute. - A pass or fail here is about the supplied finding, not a certification of the program. - The deep path depends on plugin analysis agents; uncertainty in reachability or impact should remain explicit even when a binary verdict is requested. 02 / THE REVIEW RECORD ## What we actually inspected. Source review has boundaries. A clear record is more useful than a “safe” badge. ### Material inspected - plugins/fp-check/skills/fp-check/SKILL.md - README.md - LICENSE ### Our findings - When NOT to Use explicitly excludes "find bugs" and "audit code". - allowed-tools includes Read, Grep, Glob, LSP, Bash and Task. - The definition separates standard and deep review and requires root cause, trigger and impact checks plus cross-finding exploit-chain consideration. - Standard verification is the default and applies only when the claim is specific, single-component, a known bug class, non-concurrent, and a straight source-to-sink flow. ### Not established by this review - The skill was not executed inside a host agent. - No bundled script, if present, was run against a real project. The review applies to the material and revision named here. A newer upstream release can change its behavior. 03 / PUT IT TO WORK ## Add a skill to your workflow. [Upstream setup instructions ↗](https://github.com/trailofbits/skills/blob/82fe8226252622fa807643bdca1710901198553a/README.md) DOCUMENTED COMMAND /plugin marketplace add trailofbits/skills Copy command ↗ Copying does not execute this command. It may retrieve a newer version than the reviewed source. - In Claude Code, add the upstream marketplace, then use /plugin menu to select the fp-check plugin. Adding a marketplace alone does not install a plugin. - The marketplace command follows upstream HEAD. To reproduce this review, obtain revision 82fe8226252622fa807643bdca1710901198553a and configure the complete checked-out plugin through the host’s local-plugin workflow. - Keep the whole plugin, including its references, scripts and named agents; inspect its tool access before an authorized task. ### Before you start - A concrete finding, authorized local test scope, and the complete fp-check plugin with its references and analysis agents. ### Compatibility Claude Code plugin workflow · Other hosts require compatible plugin/tool support ### Local Markdown instructions - Read the installed skill files - No network call is made by the catalogue record itself - Read callers and implementation, run authorized targeted probes, and use analysis workers for the deep path. ### Cost model Source is free to read under the stated licence. A host agent or model provider may charge for use. 04 / FOLLOW THE EVIDENCE ## The source trail. Our notes are separate from the original resource. Check upstream before adopting a new version. - [Skill definition ↗](https://github.com/trailofbits/skills/blob/82fe8226252622fa807643bdca1710901198553a/plugins/fp-check/skills/fp-check/SKILL.md) Checked 2026-10-14 https://github.com/trailofbits/skills/blob/82fe8226252622fa807643bdca1710901198553a/plugins/fp-check/skills/fp-check/SKILL.md Supports: Workflow and stated scope - [Repository licence ↗](https://github.com/trailofbits/skills/blob/82fe8226252622fa807643bdca1710901198553a/LICENSE) Checked 2026-10-07 https://github.com/trailofbits/skills/blob/82fe8226252622fa807643bdca1710901198553a/LICENSE Supports: Redistribution terms - [Install instructions ↗](https://github.com/trailofbits/skills/blob/82fe8226252622fa807643bdca1710901198553a/README.md) Checked 2026-10-07 https://github.com/trailofbits/skills/blob/82fe8226252622fa807643bdca1710901198553a/README.md Supports: Documented install command KEEP COMPARING ## Other approaches to consider. Related by category or shared topics. These are alternatives to inspect, not a measured quality order. [### Post-patch validation ↗ Requires a baseline-versus-patched evidence contract before a security fix is called done.](/skills/trailofbits-post-patch-validation/)[### Algorand vulnerability scanner ↗ Pins Trail of Bits' Algorand scanner, which treats a short or empty coverage table as an unfinished scan and does not let a clean Tealer run stand in for patterns it never examined.](/skills/trailofbits-algorand-vulnerability-scanner/)[### CodeQL ↗ Drives a CodeQL scan and warns that each Bash call is a fresh shell, so state must be written to files.](/skills/trailofbits-codeql/) [AI Tools ↗](/tools/)[Skills ↗](/skills/)[Agents ↗](/agents/)[MCP Servers ↗](/mcp-servers/)[Workflows ↗](/workflows/) ## Continue your investigation - [Choose a toolkit](/tools/) - [Inspect execution hosts](/agents/) - [Check tool access](/mcp-servers/) - [Check project dependencies](/check-repo/)