Agent skill · Security

slither-analysis

Expert integration with Slither static analyzer for smart contract vulnerability detection, code quality analysis, and security reporting. Supports all Slither detectors and custom analysis configurations.

a5c-aigithub.com/a5c-aiGitHub ↗
claude-codecodexcan modify filesMIT
Install
npx skills add a5c-ai/babysitter --skill slither-analysis --agent claude-code

Same command for any agent — swap --agent for codex, cursor, copilot.

Facts
Files in the skill folder: 2
SKILL.md size: 7 KB
Bundled scripts: none
Allowed tools: ReadGrepWriteBashEditGlobWebFetch
Path: library/specializations/cryptography-blockchain/skills/slither-analysis/SKILL.md
Open the folder on GitHub →
Where it comes from
Stars: 1,642
Language: JavaScript

Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.

From the SKILL.md

# Slither Static Analysis Skill Expert-level integration with Slither, the leading static analysis framework for Solidity smart contracts. ## Capabilities - **Full Detector Suite**: Execute Slither with all built-in detectors - **Custom Configurations**: Configure analysis parameters and exclusions - **Severity Classification**: Interpret and classify finding severity - **False Positive Filtering**: Context-aware false positive identification - **Visual Analysis**: Generate call graphs and inheritance diagrams - **Custom Detectors**: Run and develop custom Slither detectors - **Reporting**: Produce comprehensive security reports ## Installation ```bash # Install via pip pip install slither-analyzer # Or via pipx for isolation pipx install slither-analyzer # Verify installation slither --version ``` ## Basic Usage ### Run Analysis ```bash # Analyze single file slither Contract.sol # Analyze Foundry project slither . --foundry-compile-all # Analyze Hardhat project slither . --hardhat-compile-all ``` ### Output Formats ```bash # Human readable (default) slither . # JSON output for processing slither . --json output.json # Markdown report slither . --checklist # SARIF for CI integratio

What's inside
Steps it walks through
  1. Capabilities
  2. Installation
  3. Basic Usage
  4. Run Analysis
  5. Output Formats
  6. Detector Categories
  7. High Severity Detectors
  8. Medium Severity Detectors
  9. Low Severity Detectors
  10. Configuration
  11. slither.config.json
  12. CLI Configuration
  13. Advanced Features
  14. Call Graph Generation
Ships with 1 file
  • README.md
Commands it runs
Install via pip
pip install slither-analyzer
Or via pipx for isolation
pipx install slither-analyzer
Verify installation
slither --version
Analyze single file
slither Contract.sol
Analyze Foundry project
slither . --foundry-compile-all
More from babysitter
All skills →
About this skill
What does the slither-analysis skill do?

Expert integration with Slither static analyzer for smart contract vulnerability detection, code quality analysis, and security reporting. Supports all Slither detectors and custom analysis configurations.

How do I install it?

Run `npx skills add a5c-ai/babysitter --skill slither-analysis --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.

Where does this skill come from?

From a5c-ai/babysitter, a repository with 1,642 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.

Is a popular skill a good skill?

Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.

Keep going