aiken-dex-security-audit-operator 是一个操作型(Operator)技能,属于 Cardano 生态中 Aiken 智能合约安全审计工作流的一部分。它的定位是“hands-on-keyboard”式的本地运行与证据收集,即由操作者手动在本地执行 Aiken 相关命令,并把命令输出整理为审计证据。
用途 该技能用于在 Aiken DEX 安全审计过程中,执行本地构建与测试命令并捕获证据。它不负责自动决策或自动修复,而是辅助审计人员完成可复现的命令执行与日志收集。
主要能力
- 确认仓库路径与提交版本:通过 git rev-parse --short HEAD 记录当前提交。
- 记录工具版本:通过 aiken --version 记录 Aiken 版本。
- 运行检查:执行 aiken check 与 aiken build。
- 失败信息捕获:如果测试失败,捕获失败的测试或属性名称、文件与行号,以及最小复现信息。
- 证据汇总:将上述输出汇入审计报告的证据部分。
使用方式 该技能为手动调用(Manual invoke only)。规则明确:只运行用户明确请求的命令。典型流程为:先确认仓库路径与提交,再记录工具版本,然后运行 aiken check 和 aiken build,最后把输出整理进审计报告的证据章节。
适用场景 适用于对 Aiken 编写的 DEX 相关智能合约进行安全审计时,需要在本地执行构建与测试并留存可追溯证据的场景。
限制
- 仅支持手动调用,不自动执行。
- 只应运行用户明确请求的命令。
- 资料未提供关于收费、价格、平台支持范围、具体效果或额外使用步骤的信息。