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)

Plutus V3 Aiken DEX 合约的对抗性安全审计手册（威胁模型、不变量、发现、测试、交易重现形状）。 来源：thamacroman/cardano-agent-skills。

打开你的终端或命令行工具（如 Terminal、iTerm、Windows Terminal 等） 复制并运行以下命令：npx skills add https://github.com/thamacroman/cardano-agent-skills --skill aiken-dex-security-audit 安装完成后，技能将自动配置到你的 AI 编程环境中，可以在 Claude Code 或 Cursor 中使用

查看原文