·aiken-dex-security-audit
!

aiken-dex-security-audit

flux-point-studios/cardano-agent-skills

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).

8Installations·0Tendance·@flux-point-studios

Installation

$npx skills add https://github.com/flux-point-studios/cardano-agent-skills --skill 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 : flux-point-studios/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/flux-point-studios/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

Faits (prêts à citer)

Champs et commandes stables pour les citations IA/recherche.

Commande d'installation
npx skills add https://github.com/flux-point-studios/cardano-agent-skills --skill aiken-dex-security-audit
Catégorie
!Sécurité
Vérifié
Première apparition
2026-02-03
Mis à jour
2026-02-18

Réponses rapides

Qu'est-ce que aiken-dex-security-audit ?

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 : flux-point-studios/cardano-agent-skills.

Comment installer aiken-dex-security-audit ?

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/flux-point-studios/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

Où se trouve le dépôt source ?

https://github.com/flux-point-studios/cardano-agent-skills