Turn noisy static-analysis findings into an actionable triage queue with source context, exploitability criteria, and verification proofs.
Systematically analyze Slither detector output to distinguish genuine protocol vulnerabilities from false positives without hand-waving assumptions or premature dismissals.
Structured triage worksheet categorizing detector confidence and real-world exploitability
Code context analysis identifying mitigations, modifiers, or missing guards
Focused proof-of-concept test case verifying reproducible security issues
Verifies Solidity compiler version, Slither version, remappings, and build integrity to ensure findings reflect current source.
Ingests raw scanner JSON and groups detections by detector type, contract, and affected function locations.
Inspects exact lines of code, callers, callees, state modifiers, and inheritance hierarchies.
Evaluates whether attacker-controlled input can reach the vulnerable path and whether existing checks mitigate the threat.
Assigns confirmed, refuted, or unverified status with reproducible test cases where applicable.
Once the skill is installed, trigger it in Claude Code, Cursor, or your AI assistant with:
“Use the slither-finding-verifier skill to triage this Slither finding: 'Reentrancy in StakingPool.withdrawRewards()'. Here is our contract code and the Slither JSON detector output.”Join the developer mailing list for new version releases, test scripts, and new Web3 skills. No spam.