What tools does this skill use for analysis?

It primarily utilizes Slither for fast static analysis and Mythril for deep symbolic execution to detect a wide range of smart contract vulnerabilities.

Does it support Hardhat or Foundry projects?

Yes, the skill can analyze standalone Solidity files as well as complex projects managed via common development frameworks like Hardhat or Foundry.

Can this skill detect reentrancy attacks?

Yes, the skill is specifically designed to identify reentrancy, integer overflows, unchecked external calls, and other complex logic flaws common in Ethereum contracts.

Are the security findings easy to understand?

The skill generates structured reports that include SWC identifiers, severity ratings, and specific remediation advice to help developers fix issues quickly.

Ethereum Smart Contract Security Audit

Name: Ethereum Smart Contract Security Audit
Author: micsapp

bymicsapp

0•

セキュリティとテスト

Performs automated security audits on Solidity smart contracts using static analysis and symbolic execution to identify critical vulnerabilities.

This skill provides a comprehensive security analysis framework for Ethereum smart contracts by integrating industry-standard tools like Slither and Mythril. It streamlines the detection of complex vulnerabilities—such as reentrancy, integer overflows, and access control issues—through a combination of rapid static analysis and deep symbolic execution. Designed for blockchain developers and security auditors, it helps prevent financial losses by identifying risks before deployment to the mainnet, triaging findings by severity, and generating structured audit reports compatible with the Smart Contract Weakness Classification (SWC) registry.

主な機能

01Automated static analysis using Slither to detect 90+ vulnerability patterns

02Seamless integration with Foundry, Hardhat, and standard Solidity projects

03Deep symbolic execution with Mythril to uncover complex execution path flaws

040 GitHub stars

05Structured audit report generation with SWC identifiers and remediation steps

06Comprehensive vulnerability triaging and severity assessment mapping

ユースケース

01Automated security regression testing within CI/CD pipelines for smart contract development

02Threat hunting and forensic analysis during blockchain security incident investigations

03Pre-deployment security audits for DeFi protocols and ERC-20 token contracts

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add micsapp/micstec-skills analyzing-ethereum-smart-contract-vulnerabilities

For use in Claude.ai and ChatGPT

主な機能

01Automated static analysis using Slither to detect 90+ vulnerability patterns

02Seamless integration with Foundry, Hardhat, and standard Solidity projects

03Deep symbolic execution with Mythril to uncover complex execution path flaws

040 GitHub stars

05Structured audit report generation with SWC identifiers and remediation steps

06Comprehensive vulnerability triaging and severity assessment mapping

ユースケース

01Automated security regression testing within CI/CD pipelines for smart contract development

02Threat hunting and forensic analysis during blockchain security incident investigations

03Pre-deployment security audits for DeFi protocols and ERC-20 token contracts