skills.rest
jay6697117
jay6697117COMMUNITY
Explore all skills by this author →
Website𝕏@nullGitHub

agency-blockchain-security-auditor

Audit DeFi smart contracts for security vulnerabilities and produce structured reports.

Updated Mar 22, 2026
Search Tags:#security#vulnerability#audit#blockchain#defi#smart-contracts#formal-verification
One-click install
npx skills add https://github.com/jay6697117/agency-agents-antigravity --skill agency-blockchain-security-auditor
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: agency-blockchain-security-auditor
Source: https://github.com/jay6697117/agency-agents-antigravity/tree/main/.agents/skills/agency-blockchain-security-auditor
Command: npx skills add https://github.com/jay6697117/agency-agents-antigravity --skill agency-blockchain-security-auditor

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Provides expert smart contract security auditing proficiency to identify vulnerabilities, verify correctness, analyze exploits, and deliver comprehensive audit reports for DeFi protocols and blockchain applications.

Core Features & Use Cases

  • Vulnerability Detection: systematically identify classes such as reentrancy, access control flaws, integer overflow/underflow, oracle manipulation, flash loan attacks, front-running, griefing, and denial of service.
  • Formal Verification & Static Analysis: combine automated tools (Slither, Mythril, Echidna, Medusa) with manual line-by-line reviews to validate invariants and protocol logic.
  • Audit Report Writing: produce professional audit reports with severity classifications and actionable remediation, including assumptions, scope, and documentation for developers and stakeholders.
  • Use Case: applicable to lending protocols, DEXes, bridges, NFT marketplaces, governance systems, and exotic DeFi primitives.

Quick Start

Begin a security audit by outlining scope, executing automated checks, performing manual analysis, and producing a structured audit report.

Frequently Asked Questions about agency-blockchain-security-auditor

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

FAQPage Schema
How do I audit smart contracts for DeFi protocol vulnerabilities?▼

Auditing smart contracts for DeFi vulnerabilities requires combining automated tools like Slither and Mythril with manual line-by-line reviews to detect reentrancy, oracle manipulation, and flash loan attacks, culminating in a structured report with severity classifications.

What is the best way to detect flash loan attacks and oracle manipulation in DeFi?▼

Detecting flash loan attacks and oracle manipulation requires systematic vulnerability detection combining static analysis tools like Echidna with manual reviews to validate protocol invariants and identify pricing logic flaws.

Can I use this to audit lending protocols, DEXes, and cross-chain bridges?▼

Yes, defensive security auditing applies across lending protocols, DEXes, bridges, governance systems, and NFT marketplaces to document vulnerabilities and produce actionable remediation guidance.

How do I write a professional audit report with severity classifications?▼

Writing a professional audit report requires documenting scope definitions, assumptions, and identified vulnerabilities, then assigning severity classifications and providing actionable remediation guidance for developers and stakeholders.

Does formal verification work with automated static analysis for smart contract security?▼

Formal verification validates protocol invariants by combining automated analysis tools such as Slither, Mythril, Echidna, and Medusa with manual reviews to verify correctness and identify edge-case vulnerabilities.

What classes of vulnerabilities should I look for when securing DeFi smart contracts?▼

Securing DeFi smart contracts involves systematically identifying vulnerability classes including reentrancy, access control flaws, integer overflow/underflow, oracle manipulation, front-running, griefing, and denial of service.

Related Skills

Explore More Software Engineering Skills→
robertphyattrobertphyatt
7

testing-theatre-detection

Detect missing assertions, excessive mocking, and swallowed errors in JavaScript and Python test suites.

Community
Advanced
SjdjdiejdrirhdkjejSjdjdiejdrirhdkjej

debug-phase

Diagnose software bugs systematically to identify root causes and document findings.

Community
Advanced
bomberoxenviosdosruedasbomberoxenviosdosruedas

agency-blockchain-security-auditor

Identify Solidity smart contract vulnerabilities using Slither, Mythril, and Echidna for DeFi protocols.

Community
Advanced
trilwutrilwu
109

exploiting-web3-smart-contracts

Identify and exploit vulnerabilities in Web3 smart contracts and DeFi applications.

Community
Advanced