SuperAPI AI 工具集

Skill 广场

找到适合任务的 Agent Skill,阅读介绍并复制安装命令。

更新于 10-24 00:15

安全与审计

7,370 个结果

security-documentation

该技能用于维护 CIA 平台的全面安全文档,按 Hack23 ISMS 标准生成并更新 SECURITY.md、SECURITY_ARCHITECTURE.md、THREAT_MODEL.md、DATA_MODEL.md、INCIDENT_RESPONSE.md、VULNERABILITY_MANAGEMENT.md 和 ACCESS_CONTROL_MATRIX.md 等安全文档。涵盖安全架构、STRIDE 威胁分析、数据加密与分类、网络控制、事件响应分级、漏洞管理 SLA、访问控制矩阵以及文档审查与更新频率等内容,支持安全评审、合规审计和知识传递,适用于安全架构变更后、发现新威胁、合规审计期间、安全入职培训及重大发布前等场景。

安全与审计6 次安装

echidna

Echidna 是一个面向以太坊智能合约的基于属性的模糊测试工具(property-based fuzzer)。它通过生成随机的合约调用序列来尝试证伪不变量(即名称以 echidna_ 之类前缀开头、无参数且返回 bool 的 Solidity 函数),或触发 Solidity assert 失败。该工具支持覆盖率引导的模糊测试、语料库收集、多种测试模式(property、assertion、overflow、exploration、optimization),并可与 Foundry、Hardhat、Truffle 集成。用户可通过 YAML 配置测试模式、gas、覆盖率、语料库、工作进程和函数过滤等选项,通过命令行调用并选择输出驱动(text、json、none)。其功能还包括函数过滤、符号执行(支持 cvc5、z3、bitwuzla 等 SMT 求解器)、FFI 与 HEVM 作弊码支持,以及用于 CI 和脚本的 JSON 输出。

安全与审计6 次安装

blockchain-purple-team

Blockchain Purple Team 是一种元安全(meta-security)分析方法,用于发现黑队(Black Team,基于历史攻击模式)和红队(Red Team,基于新型攻击技术)都遗漏的结构性缺口。它适用于分析专业审计为何漏掉关键漏洞、评估跨团队的安全覆盖情况、进行架构级与运营级安全审查、建模系统性风险,以及验证蓝队修复是否真正有效。该方法通过审计失败模式、防御绕过演化、系统性组合风险、运营安全缺口、经济系统性风险五大支柱展开分析,并以跨团队矩阵和假设清单识别覆盖空白。报告中会用风险可利用性门槛判断哪些属于真实漏洞、哪些只是暴露面。工具以技能包形式提供,包含多个参考文档(如可利用性门槛、报告阈值、披露模板、紫队流水线、项目执行模板、三方调查模板、披露追踪格式等),应在决定是否上报或公开披露前阅读相应文档。注意:结构性盲点适合内部参考,对外漏洞报告应尽量以可利用性为依据,不应将“暴露”直接等同于“可被利用”。

安全与审计6 次安装

blockchain-red-team

blockchain-red-team 是一个面向区块链协议的红队渗透测试技能,专注于发现并利用已知历史事件之外的新型攻击技术。它用于在防御方(蓝队)完成修补后尝试绕过补丁、研究智能合约模式的零日漏洞、建模新型经济攻击、开发规避防御的技术,以及高级 MEV、三明治攻击和抢跑研究,也可用于审计前的攻击性压力测试。技能内部按四个阶段组织工作流程:技术发现、武器化、防御绕过研究和新型经济攻击探索;并将技术划分为四类:T1 防御绕过、T2 组合攻击、T3 时序攻击、T4 经济机制攻击。报告中记录技术类别、新颖性、来源、目标表面、前置条件、攻击序列、影响、PoC 与防御建议。该技能与黑队(聚焦历史攻击矩阵与已知事件复现)和紫队(系统性分析防御在架构与运营层面的失效原因)形成对照,并通过红队发现、蓝队修复、红队再测试的循环不断迭代。

安全与审计6 次安装