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)

Manual de estrategias de auditoría de seguridad adversaria para contratos Plutus V3 Aiken DEX (modelo de amenazas, invariantes, hallazgos, pruebas, formas de reproducción de tx). Fuente: thamacroman/cardano-agent-skills.

Abre tu terminal o herramienta de línea de comandos (Terminal, iTerm, Windows Terminal, etc.) Copia y ejecuta este comando: npx skills add https://github.com/thamacroman/cardano-agent-skills --skill aiken-dex-security-audit Una vez instalado, el skill se configurará automáticamente en tu entorno de programación con IA y estará listo para usar en Claude Code o Cursor

Ver original