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)

Playbook d'audit de sécurité contradictoire pour les contrats Plutus V3 Aiken DEX (modèle de menace, invariants, résultats, tests, formes de reproduction d'émission). Source : thamacroman/cardano-agent-skills.

Ouvrez votre terminal ou outil de ligne de commande (Terminal, iTerm, Windows Terminal, etc.) Copiez et exécutez cette commande : npx skills add https://github.com/thamacroman/cardano-agent-skills --skill aiken-dex-security-audit Une fois installé, le skill sera automatiquement configuré dans votre environnement de programmation IA et prêt à être utilisé dans Claude Code ou Cursor

Voir l'original