cairo-vulnerability-scanner
扫描 Cairo/StarkNet 智能合约以发现关键安全漏洞,包含算术溢出、L1-L2 通讯问题及未经授权的访问。
探索与 漏洞掃描 相关的 AI Agent 技能。在 Mentalok Skills Hub 浏览可安装的 Claude Code 与自动化技能。
探索可复用的代理技能,查看实现细节,快速找到适合你工作流程的技能。
共找到 15 个技能
扫描 Cairo/StarkNet 智能合约以发现关键安全漏洞,包含算术溢出、L1-L2 通讯问题及未经授权的访问。
分析 Algorand TEAL 和 PyTeal 智能合约,检测包括重签名攻击、逻辑缺陷和交易验证错误在内的 11 种关键安全漏洞。
审核 AI 技能的安全性,检测提示注入、隐藏指令、工具滥用及数据外泄风险。
Solana 开发整合式技能中心,具备多代理协调、渐进式技能加载,并深度整合 Anchor、Token-2022、DeFi 协议与安全审计功能。
对 WordPress 网站执行自动化安全评估,包含使用 WPScan、列举技术以及对主题、插件和用户进行漏洞扫描。
用于执行网络渗透测试的专业框架,包含自动化信息收集、漏洞扫描与攻击利用流程。
NanoClaw WhatsApp 机器人的安全咨询监控,通过 MCP 工具提供漏洞扫描、技能安全检查与完整性保护。
AI 驱动的 GitHub Actions 自动化,具备群体智能工作流编排、智能 CI/CD 流水线管理及自主仓库维护功能。
分析 Substrate/Polkadot 运行时与 FRAME pallet,检测包含算术溢出、拒绝服务 (DoS) 与权限检查不当等 7 种关键漏洞。
验证区块链智能合约代码与技术规范、白皮书及设计文件的对应性,确保实现与规格完全一致。
为软件代理提供的稳健验证与质量保证系统,具备实时真相评分、自动化代码验证以及即时回滚功能,以确保高质量的输出与可靠性。
扫描 Solana 程序 (原生/Anchor) 以查找 6 种关键漏洞,包括任意 CPI、不当 PDA 验证及缺失所有权检查,并提供详细的修复建议。