🎯

aiken-dex-security-audit-operator

🎯Skill

from thamacroman/cardano-agent-skills

What it does

Executes local Aiken build and test commands, capturing detailed evidence for security audits with manual invocation.

📦

Part of

thamacroman/cardano-agent-skills(15 items)

aiken-dex-security-audit-operator

Installation

Quick InstallInstall with npx

npx skills add Flux-Point-Studios/cardano-agent-skills

Quick InstallInstall with npx

npx add-skill Flux-Point-Studios/cardano-agent-skills -a claude-code

Quick InstallInstall with npx

npx add-skill Flux-Point-Studios/cardano-agent-skills --skill cardano-cli-wallets --skill cardano-cli-transactions -a claude-code

📖 Extracted from docs: thamacroman/cardano-agent-skills

Need more details? View full documentation on GitHub →

2Installs

AddedFeb 4, 2026

View on GitHub Back to Skills

Skill Details

SKILL.md

"Operator skill: run local Aiken build/test commands and capture evidence for the audit. Manual invoke only."

Overview

# aiken-dex-security-audit-operator

Rule

This is for "hands-on-keyboard" runs (aiken check/build) and collecting logs. Only run commands the user explicitly requests.

Procedure

1) Confirm repo path + commit

- git rev-parse --short HEAD

2) Record tool versions

- aiken --version

3) Run checks

- aiken check

- aiken build

4) If tests fail: capture failing test/property name, file/line, and minimal repro info.

5) Feed outputs into the audit report evidence section.

More from this repository10

🎯

meshjs-cardano🎯Skill

Enables seamless Cardano dApp development using MeshJS, providing wallet connections, transaction building, and script interactions in TypeScript/JavaScript.

🎯

hydra-head-troubleshooter🎯Skill

Troubleshoots Hydra Head node connectivity and synchronization issues by systematically diagnosing network, configuration, and peer-related problems.

🎯

koios-agent-wallet🎯Skill

Generates and manages Cardano key-based wallets, enabling wallet creation, stake address registration, pool staking, and transactions via KoiosProvider.

🎯

hydra-head🎯Skill

Provides step-by-step guidance for setting up and managing Hydra Head nodes with best practices and configuration templates.

🎯

aiken-dex-security-audit🎯Skill

Skill

🎯

cardano-cli-wallets-operator🎯Skill

Skill

🎯

cardano-cli-transactions-operator🎯Skill

Executes Cardano CLI transactions with manual confirmation, ensuring safe and reproducible transaction builds and submissions.

🎯

aiken-smart-contracts🎯Skill

Enables rapid Aiken smart contract development on Cardano, generating validators, blueprints, and .plutus artifacts with safe, version-controlled workflows.

🎯

cardano-cli-transactions🎯Skill

Generates comprehensive Cardano CLI transaction templates for ADA transfers, multi-output transactions, native token transfers, and metadata-enriched transactions across different networks.

🎯

cardano-cli-doctor🎯Skill

Skill