skills.rest
0xinit
0xinitCOMMUNITY
Explore all skills by this author →
GitHub

slither

Analyzes Solana smart contracts for vulnerabilities, code quality, and gas inefficiencies.

Updated Aug 23, 2026
Search Tags:#static analysis#security#auditing#smart contracts#solidity#foundry#hardhat
One-click install
npx skills add https://github.com/0xinit/cryptoskills --skill slither-0xinit
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: slither
Source: https://github.com/0xinit/cryptoskills/tree/main/skills/slither
Command: npx skills add https://github.com/0xinit/cryptoskills --skill slither-0xinit

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes scripts (resource) and references (resource) components.

What problem does it solve?

This Skill helps developers identify potential vulnerabilities and code quality issues in Solidity smart contracts before deployment, reducing the risk of exploits and saving on audit costs.

Core Features & Use Cases

  • Vulnerability Detection: Runs over 95 built-in detectors to find common security flaws like reentrancy, integer overflows, and access control issues.
  • Code Quality Analysis: Identifies gas inefficiencies, naming convention violations, and dead code.
  • Use Case: Before deploying a new DeFi protocol, run Slither to catch critical bugs. The tool will report findings with severity levels, helping prioritize fixes and ensure a more secure codebase.

Quick Start

Run slither analysis on the current project directory.

Frequently Asked Questions about slither

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I perform static analysis on Solidity smart contracts to detect vulnerabilities?▼

To perform static analysis on Solidity smart contracts, this tool runs over 95 built-in detectors to identify vulnerabilities like reentrancy and access control issues, generating detailed security reports.

Can I run smart contract security auditing with my existing Hardhat or Foundry project?▼

Yes, smart contract security auditing supports integration with both Hardhat and Foundry projects, allowing you to run analysis directly on your current project directory.

Do I need to install solc and slither-analyzer before analyzing smart contracts?▼

Yes, you need to install slither-analyzer and solc to analyze smart contracts, as these dependencies are required for the tool to execute static analysis and generate vulnerability reports.

What is the best way to identify gas inefficiencies and dead code in Solidity?▼

The best way to identify gas inefficiencies and dead code in Solidity is using static analysis, which automatically flags code quality issues and naming convention violations for remediation.

How does static analysis report smart contract vulnerabilities for DeFi protocols?▼

Static analysis reports smart contract vulnerabilities by assigning severity levels to findings and exporting results in JSON and SARIF formats, helping developers prioritize fixes before deployment.

What specific security flaws can static analysis find in Solidity code?▼

Static analysis can find common Solidity security flaws like reentrancy, integer overflows, and access control issues, alongside code quality problems such as dead code and gas inefficiencies.

Related Skills

Explore More Software Engineering Skills→
YukiIto1999YukiIto1999

analyzing-ethereum-smart-contract-vulnerabilities

Analyze Solidity smart contracts for vulnerabilities using Slither and Mythril.

Community
Advanced
Likas07Likas07

blockchain-security-auditor

Audit smart contracts for vulnerabilities and generate remediation reports.

Community
Advanced
ekremmkasapekremmkasap

web3-testing

Automate Solidity smart contract testing with Hardhat and Foundry.

Community
Advanced
mtsatryanmtsatryan
1

blockchain-developer

Provide secure smart contract guidance and Web3 architecture insights for blockchain development.

Community
Advanced