finding-verification
CommunityVerify findings to cut false positives.
Software Engineering#verification#data-flow#false-positives#cross-module#taint-analysis#assembly-truth#security-verification
Authormarcosd4h
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Verification of security findings eliminates false positives by anchoring conclusions in assembly ground truth and a formal gate-based workflow.
Core Features & Use Cases
- Gate-based verification workflow that can route findings through Standard or Deep verification with clear criteria
- Seamless integration with existing skills (taint-analysis, verify-decompiled, data-flow-tracer, callgraph-tracer, import-export-resolver)
- Outputs a final verdict with evidence and guidance for batch triage
Quick Start
Restate a finding and run the standard verification workflow to obtain a definitive TRUE POSITIVE or FALSE POSITIVE verdict with evidence.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: finding-verification Download link: https://github.com/marcosd4h/DeepExtractRuntime/archive/main.zip#finding-verification Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.