aiken-dex-security-audit-operator

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

Safety Notice

This listing is imported from skills.sh public index metadata. Review upstream SKILL.md and repository scripts before running.

Copy this and send it to your AI assistant to learn

Install skill "aiken-dex-security-audit-operator" with this command: npx skills add flux-point-studios/cardano-agent-skills/flux-point-studios-cardano-agent-skills-aiken-dex-security-audit-operator

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.

Source Transparency

This detail page is rendered from real SKILL.md content. Trust labels are metadata-based hints, not a safety guarantee.

Related Skills

Related by shared tags or category signals.

Security

aiken-dex-security-audit

No summary provided by upstream source.

Repository SourceNeeds Review
Security

aiken-dex-security-audit-operator

No summary provided by upstream source.

Repository SourceNeeds Review
Automation

aiken-smart-contracts

No summary provided by upstream source.

Repository SourceNeeds Review
Web3

cardano-cli-wallets

No summary provided by upstream source.

Repository SourceNeeds Review