property-based-testing
为软件和智能合约提供属性基础测试 (PBT) 的自动化指导,以提升测试覆盖率并强化边缘案例检测。
探索可复用的代理技能,查看实现细节,快速找到适合你工作流程的技能。
共找到 567 个技能
为软件和智能合约提供属性基础测试 (PBT) 的自动化指导,以提升测试覆盖率并强化边缘案例检测。
分析 Kubernetes 控制器代码,为 Kamera 覆盖策略生成符合契约的依赖图工件。
CMTAT RuleEngine 合约的 Foundry 开发指南,包含测试、部署脚本以及专案特定的 Solidity 模式。
一套严格的四阶段方法论,强制要求在应用任何代码修复前,必须先进行系统性的根本原因分析。
AI 优化项目追踪系统,利用 YAML 与 Markdown 混合格式,实现高效率的项目编排、阶段管理与自动化任务委派,大幅降低 Token 消耗。
编写有效模糊测试 (fuzzing) 脚本的技术。适用于建立新的模糊测试目标或优化现有的脚本代码。
从旧版 Crowi (Express/Swig) 迁移至现代架构 (Next.js 16/Fastify/ts-rest) 的自动化迁移工作流程。
方法驱动的规划工作流程,使用 zen-mcp 工具将任务分解为结构化的 plan.md 文件,并根据用户的明确度与自动化需求进行自适应调整。
层级式目标跟踪系统,将三年愿景连接至每日任务。自动化计算进度、检测停滞目标,并整合 Obsidian 库中的项目与目标对齐。
为初创公司提供专业 AWS 架构设计,专注于无服务器、可扩展性、成本优化、现代化 DevOps 实践及基础设施即代码 (IaC)。
战略性测试数据生成、管理与隐私合规,用于构建可扩展、安全且逼真的质量工程工作流。
Anthropic Claude 集成模式:流式传输、基于 pgvector 的 RAG、工具调用、模型选择(Haiku/Sonnet/Opus)、提示词缓存及 AI 工程成本管理。