skills.rest
ccashwell
ccashwellCOMMUNITY
Explore all skills by this author →
WebsiteGitHub

audit-verification

Generate PoCs and test them on forked mainnets to verify audit findings.

120|12|Updated Apr 10, 2026
Search Tags:#security#verification#audit#blockchain#poc#fork#mainnet
One-click install
npx skills add https://github.com/ccashwell/evm-cortex --skill audit-verification
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: audit-verification
Source: https://github.com/ccashwell/evm-cortex/tree/main/skills/audit-verification
Command: npx skills add https://github.com/ccashwell/evm-cortex --skill audit-verification

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Auditors and security engineers struggle to prove and quantify findings without concrete, reproducible evidence. This Skill provides a structured workflow to generate PoCs, test them on forked mainnets, and standardize reporting.

Core Features & Use Cases

  • PoC-driven verification: transform findings into testable proofs and document evidence.
  • Fork-testing: validate PoCs against live mainnet states to assess real-world impact.
  • Severity framework: rate findings using a defined matrix and generate actionable reports.
  • Reproducible templates: include templates and guidelines to standardize reporting and evidence collection.

Quick Start

Construct a PoC for a finding and validate it on a forked mainnet to confirm exploitability and severity.

Frequently Asked Questions about audit-verification

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

FAQPage Schema
How do I verify smart contract audit findings using PoC tests?▼

Verify smart contract audit findings by generating proof of concept tests and validating them against forked mainnet states to confirm exploitability and document reproducible evidence.

What is the best way to eliminate false positives during a DeFi security audit?▼

Eliminate false positives during a DeFi security audit by testing generated PoCs on a forked mainnet to accurately assess real-world impact and discard non-exploitable findings.

Can I test protocol vulnerabilities against live mainnet states?▼

Yes, you can test protocol vulnerabilities against live mainnet states using fork-testing to validate PoCs and accurately assess the real-world severity and impact of discovered exploits.

How do I classify and document severity for blockchain audit findings?▼

Classify and document severity for blockchain audit findings using a defined severity matrix framework, generating actionable reports that standardize evidence collection and demonstrate exploit reproducibility.

Do I need reproducible templates for smart contract security reporting?▼

Reproducible templates standardize smart contract security reporting by providing structured guidelines for evidence collection and PoC documentation, ensuring findings are verifiable and actionable.

Related Skills

Explore More Software Engineering Skills→
mahamaneharouna9-cpumahamaneharouna9-cpu

exploit-dev-expert

Develop proof-of-concept exploits for binary vulnerabilities using pwntools and GDB.

Community
Advanced
clawpod-appclawpod-app
46

bug-report

Generate structured bug reports with reproduction steps and severity assessments.

Community
Intermediate
ApegurusApegurus
1

unused-variables

Detect unused variables, parameters, and discarded return values in Solidity contracts.

Community
Basic
superfhpsuperfhp

node-inspect-debugger

Debug Node.js applications using the V8 inspector and Chrome DevTools Protocol.

Community
Advanced