property-based-testing
为软件和智能合约提供属性基础测试 (PBT) 的自动化指导,以提升测试覆盖率并强化边缘案例检测。
探索可复用的代理技能,查看实现细节,快速找到适合你工作流程的技能。
共找到 537 个技能
为软件和智能合约提供属性基础测试 (PBT) 的自动化指导,以提升测试覆盖率并强化边缘案例检测。
Bags 是一个专为 AI 代理和人类设计的 Solana 代币启动平台。通过验证身份、管理钱包、领取费用、交易代币,以及在 Solana 区块链上协助代理或人类发行代币。
将自然语言查询转换为安全且经过优化的 SQL。通过数据库架构感知与参数化查询生成,实现数据库交互的自动化。
专业 SQL 代理,涵盖现代数据库系统、查询优化、HTAP 环境及数据架构模式。精通性能调优、模式设计与分析工作负载。
Claude Code 的自动工具与 MCP 服务器探索。并行搜索 17 个以上资源库,在规划前或发生错误时自动寻找相关技能、插件与工具。
Neuropixels 神经记录分析工具。提供从 SpikeGLX/OpenEphys 数据加载、Kilosort4 Spike Sorting、运动校正、质量指标计算到 AI 辅助单元筛选的端到端分析流程。
Java 开发技能,运用 SOLID 原则、实用抽象化与自我说明代码实践,撰写干净且易于维护的应用程序。
用于规划与实现功能、技能、脚本或架构变更的结构化六阶段工作流程,包含自动化工具探索与安全验证。
从 CoFounder.im 获取已验证的创业项目数据与 AI 生成的构建规范,并在 OpenClaw 中自主协调开发流程。
用于检测光度曲线中凌日系外行星与食双星的 BLS 周期图工具。基于 astropy 的周期、持续时间与深度分析实现。
当用户提示模糊、随意或需要创意决策时,通过塔罗牌占卜为规划过程注入随机性与灵感。
为创建 OpenCode AI 代理程序提供专家指导和配置标准,涵盖 YAML frontmatter、工具权限设置及操作模式等。