Weasel Filter

소개

Weasel Filter is a specialized security skill designed to refine the output of the Weasel static analyzer by identifying and removing false positives from Solidity smart contract audits. By cross-referencing high and medium-severity findings with the actual source code, it validates vulnerabilities like reentrancy and access control issues, allowing developers to focus on genuine security threats. It offers efficient workflows for both in-memory analysis and direct report cleaning, ensuring that final audit reports are concise, accurate, and actionable without exhausting context limits.

주요 기능

• Minimalist output summaries for rapid identification of confirmed issues
• Built-in verification checklists for common smart contract attack vectors
• Direct cleaning of markdown reports by removing false positive sections
• Automated triage of high and medium severity Solidity vulnerabilities
• Context-efficient verification using MCP tool summaries and targeted code reading
• 10 GitHub stars

사용 사례

• Validating if a reported reentrancy finding is protected by an existing mutex
• Refining large static analysis reports to focus only on exploitable vulnerabilities
• Cleaning up automated security scans before sharing results with a development team