aiken-dex-security-audit

SKILL.md

Required inputs (ask for anything missing) 1) Script list + purpose (spend/mint/reward/cert) and which are critical path for swaps/liquidity 2) Datum/redeemer schemas (Aiken types + encoding expectations) 3) Parameters/config: policy IDs, script hashes, upgrade/admin controls, oracle deps (if any)

4) Off-chain tx builder(s) in scope (where swaps/liquidity txs are constructed) 5) Network assumptions (mainnet/preprod) + constraints (tx size, exunits, reference scripts, inline datums)

Adversarial Security Audit Playbook für Plutus V3 Aiken DEX-Verträge (Bedrohungsmodell, Invarianten, Ergebnisse, Tests, TX-Repro-Formen). Quelle: thamacroman/cardano-agent-skills.

Öffnen Sie Ihr Terminal oder Kommandozeilen-Tool (Terminal, iTerm, Windows Terminal, etc.) Kopieren Sie diesen Befehl und führen Sie ihn aus: npx skills add https://github.com/thamacroman/cardano-agent-skills --skill aiken-dex-security-audit Nach der Installation wird der Skill automatisch in Ihrer KI-Programmierumgebung konfiguriert und ist bereit zur Verwendung in Claude Code oder Cursor

Original anzeigen