skills.rest
ArchethectArchethectCommunity·1 Agent Skills Included

sc-auditor

Automated smart contract security audits with proof-based verification

Audits Solidity smart contracts through a structured Map-Hunt-Attack pipeline with parallel vulnerability hunting lanes. Combines Slither and Aderyn static analysis, Solodit findings search, fuzz testing, and symbolic execution to catch real exploits. Verifies every finding with a skeptic-judge process and generates Foundry proof-of-concept exploits before reporting.
120|22
↗
npx skills add Archethect/sc-auditor --all -g -y
Available:

Tells your AI agent which audit tools and the security-auditor skill are available, what each tool does, and how to invoke them during a smart contract review.

All Skills in This Repository (1)

Pure Emerald Level Indicators
📦 In Repo
ArchethectArchethect

security-auditor

Audit Solidity smart contracts with Map-Hunt-Attack and parallel verification.

Community
Advanced

Frequently Asked Questions

FAQPage Schema
How to install sc-auditor?▼

Run `npx skills add Archethect/sc-auditor --all -g -y` in your terminal to install the full audit suite globally.

How to audit a Solidity smart contract with AI?▼

Point the security-auditor skill at your contracts directory and it maps the architecture, hunts vulnerabilities in parallel lanes, and verifies each finding with executable proofs.

Does sc-auditor work with Claude Code and Codex?▼

Yes. It runs as an MCP server and skill in both Claude Code and Codex CLI, with parallel sub-agents enabled for faster audits.

What tools does sc-auditor use to find bugs?▼

It combines Slither and Aderyn static analysis, Solodit real-world findings search, Echidna and Medusa fuzzing, Halmos symbolic execution, and Foundry proof-of-concept generation.

Do I need external tools installed to use sc-auditor?▼

No. It works out of the box with Solodit search and the audit checklist; Slither, Aderyn, and fuzzers are optional add-ons that deepen the analysis.

Related Repositories in Software Engineering

View All in Software Engineering→
openclawopenclaw
388.4k

openclaw

Run a personal AI assistant across your devices and chat apps

Official📦 120 Skills
obraobra
280.0k

superpowers

Gives coding agents a disciplined workflow from idea to merged code

Community📦 15 Skills
facebookfacebook
248.4k

react

AI agent skills for building, testing, and porting React core

Official📦 14 Skills