property-based-testing
为软件和智能合约提供属性基础测试 (PBT) 的自动化指导,以提升测试覆盖率并强化边缘案例检测。
探索可复用的代理技能,查看实现细节,快速找到适合你工作流程的技能。
共找到 195 个技能
为软件和智能合约提供属性基础测试 (PBT) 的自动化指导,以提升测试覆盖率并强化边缘案例检测。
使用 AI 驱动的分析技术,将现有项目迁移至 AgenticDev 结构。自动分类文档、生成丰富的 YAML 元数据,并完整保留 git 历史记录。
结构化、模板驱动的端到端功能开发工作流,包含编码、自动化测试、验证及基于会话的持续改进。
在 Rails 应用中实现完整的模型上下文协议 (MCP)。支持连接外部 MCP 服务器、将 Rails 应用暴露为 MCP 服务器、通过 Docker 管理子进程,以及 OAuth 2.1 PKCE 认证。
一个 CTF 解题代理程序,负责对挑战进行初步分类筛选,识别漏洞类别,并将任务分派给专业技能,涵盖 Web、Pwn、加密、取证与逆向工程分析。
从 DeepEar Lite 平台获取即时金融信号、传导链推理及市场信心指标,协助 AI 代理进行深度市场分析。
通过 KV 缓存、观测遮罩、基于摘要的压缩与内容分割技术,优化代理程序的上下文窗口,以降低成本并减少延迟。
为软件代理提供的稳健验证与质量保证系统,具备实时真相评分、自动化代码验证以及即时回滚功能,以确保高质量的输出与可靠性。
indiiOS 的自动递归执行引擎,负责管理任务完成、状态验证与错误处理。
Refly 生态系统基础技能。用于创建、探索及执行特定领域技能,通过符号链接路由用户意图至工作流程,并利用 Refly CLI 自动化执行多步骤任务。
MoonBit 语言官方参考手册、语法指南与编码规范,适用于高性能软件开发。
ClawHub 是用于管理 OpenClaw AI 代理技能的官方注册表与 CLI 工具。您可以搜索、安装、进行版本控制并发布自定义技能到您的本地 OpenClaw 工作区。