AgentSkillsCN

aiken-dex-security-audit-operator

操作技能：运行本地 Aiken 构建/测试命令，并为审计留存相关证据——仅支持手动调用。

SKILL.md
--- frontmatter
name: aiken-dex-security-audit-operator
description: "Operator skill: run local Aiken build/test commands and capture evidence for the audit. Manual invoke only."
metadata:
  manual: "true"

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.