skills.rest
augustoheiss
augustoheissCOMMUNITY
Explore all skills by this author →
GitHub

agency-blockchain-security-auditor

Detect smart contract vulnerabilities and generate PoC exploits with remediation guidance.

Updated Feb 11, 2026
Search Tags:#foundry#reentrancy#security-audit#smart-contract#vulnerability-analysis#slither#oracle-manipulation
One-click install
npx skills add https://github.com/augustoheiss/LogicDefense --skill agency-blockchain-security-auditor-augustoheiss
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: agency-blockchain-security-auditor
Source: https://github.com/augustoheiss/LogicDefense/tree/main/.gemini/skills/agency-blockchain-security-auditor
Command: npx skills add https://github.com/augustoheiss/LogicDefense --skill agency-blockchain-security-auditor-augustoheiss

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This Skill identifies and documents exploitable vulnerabilities in smart contracts and DeFi protocols to prevent financial loss and insecure deployments by combining automated analysis, manual review, and reproducible proof-of-concept exploits.

Core Features & Use Cases

  • Vulnerability Detection: Systematic identification of reentrancy, access control flaws, integer issues, oracle manipulation, flash-loan vectors, and other DeFi-specific exploit classes.
  • Tooling Integration & Formal Methods: Guides for running Slither, Mythril, Echidna, and property-based tests, plus approaches for invariant specification and formal verification.
  • Proofs & Reports: Deliverable-focused output including Foundry/Forge PoC tests, severity-classified findings, actionable remediation steps, and executive summaries for stakeholders.
  • Use Case Examples: Pre-deployment audits for lending protocols and AMMs, post-incident forensic analysis of an exploit transaction, and PR-level security reviews for upgradeable contracts.

Quick Start

Audit the provided Solidity project for critical and high-severity vulnerabilities, produce reproducible PoC tests for each finding, and generate a prioritized remediation 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 run a security audit on a Solidity smart contract to find reentrancy and oracle manipulation vulnerabilities?▼

A smart contract security audit detects vulnerabilities like reentrancy and oracle manipulation by combining automated static analysis, symbolic execution, fuzzing, and manual line-by-line review to identify exploitable flaws in DeFi protocols.

How do I write a proof-of-concept exploit in Foundry for a vulnerable smart contract?▼

You generate proof-of-concept exploits by writing Foundry/Forge PoC tests that reproduce the vulnerability conditions, providing actionable remediation steps and severity-classified findings to document the exploit.

Can I use Slither and Echidna for automated vulnerability detection in DeFi protocols?▼

Yes, this approach integrates Slither, Mythril, and Echidna tooling to perform automated static analysis, symbolic execution, and property-based fuzzing on Solidity smart contracts to identify DeFi-specific exploit vectors.

What is the best way to analyze a post-incident exploit transaction in an upgradeable proxy contract?▼

Post-incident forensic analysis of an exploit transaction involves manual line-by-line review and automated analysis of the upgradeable proxy to trace the vulnerability, generate a PoC test, and produce a remediation report.

Does this security audit approach work for ERC tokens, bridges, and governance systems?▼

Yes, this audit process applies to Solidity-based DeFi contracts including ERC tokens, bridges, governance systems, and upgradeable proxies, detecting access control flaws, integer issues, and flash-loan vectors across these architectures.

How do I generate a severity-classified audit report with remediation guidance for stakeholders?▼

You produce a severity-classified audit report by documenting identified vulnerabilities, attaching reproducible PoC tests, and providing actionable remediation steps alongside an executive summary tailored for stakeholders.

Related Skills

Explore More Software Engineering Skills→
YukiIto1999YukiIto1999

analyzing-ethereum-smart-contract-vulnerabilities

Analyze Solidity smart contracts for vulnerabilities using Slither and Mythril.

Community
Advanced
pashovpashov
1.1k

fizz

Generate and run fuzz tests for Solidity smart contracts using Echidna and Medusa.

Community
Advanced
hairyfhairyf
4

echidna

Fuzz Ethereum smart contracts to falsify invariants and trigger assertion failures.

Community
Advanced
ArianHobson333ArianHobson333
7

bug-bounty

Automate bug bounty hunting with recon, scanning, and reporting.

Community
Advanced