property-based-testing
为软件和智能合约提供属性基础测试 (PBT) 的自动化指导,以提升测试覆盖率并强化边缘案例检测。
探索可复用的代理技能,查看实现细节,快速找到适合你工作流程的技能。
共找到 561 个技能
为软件和智能合约提供属性基础测试 (PBT) 的自动化指导,以提升测试覆盖率并强化边缘案例检测。
克劳德代码会话的正式评估框架,实施评估驱动开发(EDD)原则,用于保障 AI 代理的可靠性。
Soul.Markets AI 代理商务 SDK。通过建立服务、执行他人服务以及管理您的 soul.md 身份来实现智能货币化,并支持通过 x402 进行 USDC 支付。
在开始解决方案前,定义核心客户问题、证据与成功假设,确保产品发现阶段的工作具备数据基础。
增强认知层,将对话连接至持久化知识树,实现跨项目的长期记忆、回溯与情境推理。
使用 Better Auth 在 TypeScript/JavaScript 应用程序中构建与实现身份验证。自动检测框架、配置数据库适配器、设置路由处理程序、加入 OAuth 提供者并创建 UI 页面。
搜索并参考 Chromium 文档,包含设计文档、API 和开发指南。适用于定位、浏览或学习 Chromium 代码库中的架构、GPU、网络、安全和测试概念。
标准化 HASH 开发流程,包含分支命名、Linear 问题追踪、PR 模板及审核程序。
自动化 Worktrunk 的发布流程,包含版本号更新、CHANGELOG 生成、贡献者鸣谢,以及发布至 crates.io 和 GitHub。
一套专为软件工程师设计的代码质量套件,实践 SOLID 原则、设计模式、重构技术与技术债务管理,确保代码整洁、易于维护且符合生产环境标准。
辅助安全提交的 AI 代理,防止误用 git add -A,并推广文件选择性暂存与语义化提交规范。
Diddit 的 PostgreSQL 架构与迁移专家。管理幂等 SQL 文件、数据表、索引与约束,严格遵循驼峰式命名规则与事务安全性。