cairo-vulnerability-scanner
扫描 Cairo/StarkNet 智能合约以发现关键安全漏洞,包含算术溢出、L1-L2 通讯问题及未经授权的访问。
探索与 unit testing 相关的 AI Agent 技能。在 Mentalok Skills Hub 浏览可安装的 Claude Code 与自动化技能。
探索可复用的代理技能,查看实现细节,快速找到适合你工作流程的技能。
共找到 32 个技能
扫描 Cairo/StarkNet 智能合约以发现关键安全漏洞,包含算术溢出、L1-L2 通讯问题及未经授权的访问。
实现专业后端架构模式,包括整洁架构 (Clean Architecture)、六边形架构 (Hexagonal) 与领域驱动设计 (DDD),以打造可扩展、易测试且易于维护的系统。
整合 AddressSanitizer (ASan) 以检测 C/C++ 项目中的内存安全漏洞,如缓冲区溢出与释放后使用错误。
结构化、模板驱动的端到端功能开发工作流,包含编码、自动化测试、验证及基于会话的持续改进。
一套用于 .NET 工程的技能,涵盖领域驱动设计 (DDD)、EF Core 持久化、BDD 风格单元测试,以及通过 Serena MCP 实现的 IDE 语义代码理解。
一个用于测试 Sheikh-CLI 代理框架中多技能加载与协调的工具技能。
indiiOS 的自动递归执行引擎,负责管理任务完成、状态验证与错误处理。
专为现代 Web 应用程序设计的进阶 TypeScript 与 React 开发助手。精通组件架构、状态管理、Vitest 单元测试、Playwright 端对端自动化以及高效的 TypeScript 配置。
建立生产级 Go API 服务,包含可观测性、本地开发环境与整洁架构的样板代码。
生产级 Bash 脚本编写助手,强制执行安全性、可维护性与 ShellCheck 标准。包含自动化脚本头部模板、最佳实践模式及针对文件修改的风险防护机制。
通过 Context Engineering 原则,为 AI 代理程序初始化、生成并执行完整实作蓝图 (PRPs),实现软件开发一次成功。
实现专业的 TDD 工作流程,包含 80% 以上覆盖率要求、自动化测试策略,以及强制执行 AAA 模式以确保代码的高质量与稳定性。