Does it support other languages besides Solidity?

No, Weasel Analyzer is specifically designed and optimized for Solidity smart contract security and static analysis.

Can Weasel detect business logic bugs?

While the automated Weasel tools focus on code patterns, the manual review phase of this skill uses Claude's intelligence to identify complex business logic and economic vulnerabilities.

What is the difference between Quick Mode and Full Audit Mode?

Quick Mode runs automated Weasel scans only for rapid feedback, while Full Audit Mode combines automated scans with Claude's deep manual reasoning for a comprehensive security review.

How does this skill manage large smart contract files?

It implements smart context management rules to load only necessary findings and code snippets, preventing token overflow and optimizing performance during audits.

Weasel Solidity Analyzer

Name: Weasel Solidity Analyzer
Author: slvDev

byslvDev

•

Security & Testing

Performs automated static analysis and expert security audits for Solidity smart contracts using integrated security tools.

Weasel Analyzer is a specialized skill for Claude Code that combines the Weasel static analysis tool with Claude's advanced reasoning to secure Solidity smart contracts. It offers three distinct modes—Quick Scan for automated checks, Review Mode for AI-driven code logic analysis, and Full Audit for a comprehensive combination of both. By intelligently triaging findings and managing context, it identifies common patterns like reentrancy as well as complex business logic vulnerabilities and economic attack vectors that traditional scanners often miss.

Key Features

01Multi-mode operation tailored for quick checks or thorough security deep-dives

02Deep manual security review for business logic and economic attack vectors

03Smart context management to optimize token usage during large-scale audits

04Automated static analysis for common Solidity vulnerabilities and gas optimizations

05Integrated reporting that distinguishes between automated findings and AI reasoning

0610 GitHub stars

Use Cases

01Performing comprehensive pre-audit reviews for complex DeFi protocols and DAOs

02Running rapid security scans during the active smart contract development cycle

03Verifying specific contract functions for reentrancy, access control, and state machine violations

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add slvdev/weasel weasel-analyzer

For use in Claude.ai and ChatGPT

Download Skill