Agent-Skills.md

Agent Skills: aiken-dex-security-audit-operator

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

UncategorizedID: flux-point-studios/cardano-agent-skills/aiken-dex-security-audit-operator

Repository

flux-point-studios/cardano-agent-skills
Flux-Point-StudiosLicense: MIT
1

Install this agent skill to your local

pnpm dlx add-skill https://github.com/Flux-Point-Studios/cardano-agent-skills/tree/HEAD/skills/aiken-dex-security-audit-operator

Skill Files

Browse the full folder contents for aiken-dex-security-audit-operator.

Download Skill

Loading file tree…

skills/aiken-dex-security-audit-operator/SKILL.md

Skill Metadata

Name
aiken-dex-security-audit-operator
Description
"Operator skill: run local Aiken build/test commands and capture evidence for the audit. Manual invoke only."

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.