Flux-Point-Studios

aiken-dex-security-audit-operator

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

Flux-Point-Studios 7 2 Updated 4mo ago
GitHub

Install

npx skillscat add flux-point-studios/cardano-agent-skills/aiken-dex-security-audit-operator

Install via the SkillsCat registry.

SKILL.md

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.