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.

About

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

Multi-mode operation tailored for quick checks or thorough security deep-dives
Deep manual security review for business logic and economic attack vectors
Smart context management to optimize token usage during large-scale audits
Automated static analysis for common Solidity vulnerabilities and gas optimizations
Integrated reporting that distinguishes between automated findings and AI reasoning
10 GitHub stars

Use Cases

Performing comprehensive pre-audit reviews for complex DeFi protocols and DAOs
Running rapid security scans during the active smart contract development cycle
Verifying specific contract functions for reentrancy, access control, and state machine violations

About

Key Features

Multi-mode operation tailored for quick checks or thorough security deep-dives
Deep manual security review for business logic and economic attack vectors
Smart context management to optimize token usage during large-scale audits
Automated static analysis for common Solidity vulnerabilities and gas optimizations
Integrated reporting that distinguishes between automated findings and AI reasoning
10 GitHub stars

Use Cases

Performing comprehensive pre-audit reviews for complex DeFi protocols and DAOs
Running rapid security scans during the active smart contract development cycle
Verifying specific contract functions for reentrancy, access control, and state machine violations