SuperAPI AI 工具集

aiken-dex-security-audit-operator

安全与审计

查看项目

更新于 10-16 04:00

技能介绍

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 相关智能合约进行安全审计时,需要在本地执行构建与测试并留存可追溯证据的场景。

限制

  • 仅支持手动调用,不自动执行。
  • 只应运行用户明确请求的命令。
  • 资料未提供关于收费、价格、平台支持范围、具体效果或额外使用步骤的信息。