Smart Contract Security Audit

Audit Solidity smart contracts for security vulnerabilities and generate Markdown reports.

Updated Dec 9, 2025
One-click install
npx skills add https://github.com/teliha/dev-workflows --skill smart-contract-security-audit
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: Smart Contract Security Audit
Source: https://github.com/teliha/dev-workflows/tree/main/skills/audit
Command: npx skills add https://github.com/teliha/dev-workflows --skill smart-contract-security-audit

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This Skill prevents security disasters by automatically analyzing smart contracts for vulnerabilities including reentrancy, access control, and external call safety.

Core Features & Use Cases

  • Comprehensive Vulnerability Detection: Check for reentrancy attacks, access control issues, and flash loan attack vectors.

Quick Start

Can you audit src/operators/PositionOpenOperator.sol? Does this contract have any reentrancy vulnerabilities?

Frequently Asked Questions about Smart Contract Security Audit

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

FAQPage Schema
How do I audit a Solidity smart contract for security vulnerabilities?

Smart contract auditing systematically scans Solidity code for vulnerabilities including reentrancy, access control flaws, and unsafe external calls. Provide the complete contract code and receive a detailed Markdown report with severity ratings, impact analysis, and remediation steps saved as audits/[ContractName]_audit_[YYYY-MM-DD].md.

What types of security issues does a DeFi contract audit detect?

DeFi-focused audits check for reentrancy attacks, access control bypasses, flash loan vectors, and unsafe integrations with protocols like Uniswap and EVK/EVC vaults. Analysis incorporates project-specific patterns and trust boundaries to identify context-relevant vulnerabilities.

Can I audit contracts that use Uniswap or EVC vault patterns?

Yes. The audit covers DeFi-focused contracts and patterns including Uniswap integrations and EVK/EVC vault designs. Project-specific security patterns are incorporated into vulnerability checks for comprehensive, protocol-aware analysis.

What's included in a smart contract audit report?

Reports include severity ratings for each vulnerability, impact analysis explaining potential consequences, actionable remediation recommendations, and systematic checks across vulnerability categories. Output is formatted as Markdown for easy reference and tracking.

Does the audit read the entire contract code before analysis?

Yes. The audit reads complete contract code before performing systematic vulnerability checks, ensuring full context awareness of dependencies, state interactions, and external call patterns that contribute to security issues.

Related Skills