Agent skill

aiken-dex-security-audit-operator

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

Stars 163
Forks 31

Install this agent skill to your Project

npx add-skill https://github.com/majiayu000/claude-skill-registry/tree/main/skills/other/other/aiken-dex-security-audit-operator

Metadata

Additional technical details for this skill

manual
true

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.

Expand your agent's capabilities with these related and highly-rated skills.

Didn't find tool you were looking for?

Be as detailed as possible for better results