aiken-validator-redteam

An executable red-team harness for Aiken/Plutus V3 validators. Where aiken-dex-security-audit is a manual review playbook that produces a report, this skill runs an adversarial campaign whose findings are proven by the compiler: it fans out one attacker agent per known Cardano eUTxO exploit class, each writes proof-of-concept Aiken tests, and a test that PASSES means the validator accepted a fund-stealing transaction — a confirmed vulnerability. Every claim is then independently reproduced by a skeptic pass, and a creative "novel" round hunts for emergent cross-redeemer attacks.

Use it as an in-house pre-mainnet gate, or alongside a formal audit.

When to use

• Before any mainnet deploy of new or changed validators (hard gate).
• After any validator source change (hashes change ⇒ re-run).
• When you want reproducible, PoC-backed evidence — not a checklist opinion.