Aiken Dex Security Audit
CheckedHelps with security, auditing as part of implementing security and authentication workflows.
Install on your platform
Showing Claude Code. One command installs this skill into any of the agents below.
- 1
Run this in your project
terminal$ npx skills add flux-point-studios/cardano-agent-skills --skill aiken-dex-security-audit -a claude-code Uses the open-source
skillsCLI and needs Node.js. Add-gto install it for your user instead of this project.
What we know about this skill
Publisher
flux-point-studios
Taken from the source listing. We haven't verified who controls this account.
Install target
Live repository
Not pinned. Installing fetches whatever the repository holds at the time you run the command.
Automated safety checks
This skill passed all 6 checks. We read its files at one commit and looked for the things that make a skill dangerous to run — not for whether it works.
Declares what it does: passed
SKILL.md parses and declares a name and a description.
SKILL.md exists, its frontmatter parses, and it declares a name and a description.
No undeclared network calls: passed
Makes no network calls.
Every host the skill dials — from its scripts, its config endpoints or the commands it tells the agent to run — is either well-known package and API infrastructure or declared in its own frontmatter. Links in documentation are not counted.
No obfuscated payloads: passed
No encoded or obfuscated payloads.
No base64, hex or compressed blob is decoded and then executed, and no encoded shell commands.
No credential access: passed
Reads no keys, tokens, keychains or credential files.
Neither the code nor the SKILL.md instructions read SSH keys, cloud credentials, keychains, token stores, browser cookie databases or dotfiles that hold secrets.
No pipe-to-shell installers: passed
No pipe-to-shell or download-and-run installers.
No `curl … | sh` pattern, in the code or in the instructions, that runs code fetched at run time.
Pinned to a commit: passed
Scanned flux-point-studios/cardano-agent-skills at 727e02f3f7.
The exact upstream commit SHA that was scanned is recorded, so the result refers to specific bytes.
- Commit
- 727e02f3f7
- Scanned
- 6 files, 368 lines
About this skill
What it does
The aiken-dex-security-audit skill performs automated security audits of Aiken DEX smart contracts. It identifies potential vulnerabilities and provides detailed reports outlining findings, including severity levels and suggested remediation steps. This helps developers proactively address security concerns before deployment.
When to use it
- Pre-deployment checks: Before deploying a new or updated Aiken DEX contract to the Cardano blockchain.
- Security reviews: As part of a broader security review process for existing contracts.
- Vulnerability hunting: To actively search for potential vulnerabilities in deployed smart contracts.
- Due diligence: When evaluating third-party smart contracts before integration.
Key capabilities
- Automated vulnerability scanning
- Detailed audit reports
- Severity level assessment of findings
- Remediation suggestions
Example prompts
- "Audit the Aiken DEX contract at [contract address]."
- "Run a security audit on my new liquidity pool smart contract."
- "Analyze this code snippet for potential vulnerabilities: [code snippet]"
Tips & gotchas
The skill requires access to the smart contract code being audited. Results should be reviewed by experienced security professionals, as automated tools may produce false positives or miss subtle vulnerabilities.