skills.rest
ccashwell
ccashwellCOMMUNITY
Explore all skills by this author →
WebsiteGitHub

aderyn-analysis

Analyze Solidity projects with Aderyn to produce markdown or JSON reports.

120|12|Updated Apr 10, 2026
Search Tags:#security#auditing#reporting#static-analysis#solidity#ci#aderyn
One-click install
npx skills add https://github.com/ccashwell/evm-cortex --skill aderyn-analysis
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: aderyn-analysis
Source: https://github.com/ccashwell/evm-cortex/tree/main/skills/aderyn-analysis
Command: npx skills add https://github.com/ccashwell/evm-cortex --skill aderyn-analysis

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Solidity developers need reliable, fast analysis to locate security vulnerabilities and quality issues before deployment, reducing audit time and risk. The Aderyn static analyzer provides Rust-based checks, structured reports, and CI-friendly output to complement existing tooling.

Core Features & Use Cases

  • Detectors: comprehensive checks for common Solidity vulnerabilities and coding patterns.
  • Reports: Markdown and JSON outputs suitable for audits and CI dashboards.
  • CI Integration: easy integration into CI pipelines to enforce security standards across projects.

Quick Start

Install Aderyn and run the analyzer on your Solidity project to generate a report.

Frequently Asked Questions about aderyn-analysis

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

FAQPage Schema
How do I analyze Solidity contracts for security vulnerabilities?▼

To analyze Solidity contracts for security vulnerabilities, you can run Aderyn on your Foundry-based project to detect common coding pitfalls and generate structured markdown or JSON reports. It scans entire projects or targeted directories for issues.

Can I use static analysis to generate audit reports in a CI pipeline?▼

Yes, you can use static analysis to generate audit reports in a CI pipeline. Aderyn is designed for CI integration and outputs markdown and JSON formats, making it suitable for enforcing security standards directly within CI dashboards.

Does Aderyn static analysis work with Foundry-based projects?▼

Aderyn static analysis works directly with Foundry-based projects. It analyzes entire project directories to identify quality issues and security vulnerabilities, producing structured reports suitable for audits and continuous integration workflows.

What do I need to install before running Aderyn on a Solidity project?▼

Before running Aderyn on a Solidity project, you need to install the tool using the command 'cargo install aderyn'. This installation provides the Rust-based static analysis checks required to scan your contracts.

What output formats are supported for Solidity security reports?▼

Solidity security reports support markdown and JSON output formats. These formats are generated by Aderyn to provide structured results that are suitable for both human-readable audits and CI dashboard integrations.

Related Skills

Explore More Software Engineering Skills→
hairyfhairyf
4

aderyn

Analyze Solidity smart contracts for vulnerabilities and code quality issues.

Community
Intermediate
matteocervellimatteocervelli
25

planning-doc-generator

Generate project assessment Markdown reports from structured JSON data.

Community
Intermediate
roderikroderik
54

rr-solidity

Review Solidity smart contracts for security vulnerabilities using Foundry.

Community
Advanced
XSpoonAiXSpoonAi
17

security-audit

Automate smart contract security audits with Solodit searches and template-based reports.

Official
Advanced