property-based-testing
为软件和智能合约提供属性基础测试 (PBT) 的自动化指导,以提升测试覆盖率并强化边缘案例检测。
探索可复用的代理技能,查看实现细节,快速找到适合你工作流程的技能。
共找到 275 个技能
为软件和智能合约提供属性基础测试 (PBT) 的自动化指导,以提升测试覆盖率并强化边缘案例检测。
专为预测市场与加密货币设计的专业交易策略与风险管理工具,包含趋势分析、仓位配置及止损框架。
使用 Token Surgeon 审核并优化您的 AI 提示词。检测 10 种常见的冗余模式,计算效率分数,并减少 Token 用量以提升提示词性能。
针对 Go CLI 应用程序的专家级自动化代码审查,涵盖 Cobra/urfave 模式、安全性、性能、Go 惯用语法及完善的错误处理。
进行彻底的依赖项审计,识别冗余代码、未使用的功能和不当的使用模式。通过充分利用现有依赖项而非重新发明轮子,确保项目的模块化与代码整洁。
LibrAgent 代码质量验证工具,涵盖 TypeScript 前端与 Rust/Tauri 后端,提供自动化代码检查、格式化、类型检查与构建验证。
自动化将旧版单文件任务迁移至结构化文件夹系统的工具,以提升项目组织效率。
专为开发人员与工程师设计的系统化技术对话记录工具。精确捕捉决策过程、实作细节与会议成果,确保技术文档的准确性。
使用 GeoPandas 进行地理空间数据分析,包含正确的坐标投影转换,以执行精确的距离计算、空间筛选与地理特征分析。
教师专用学生分析工具:通过 OCR 识别试卷、总结学习成效,并自动更新学生档案,提供精准的物理学科辅导策略。
结构化手稿与经费审查助手,提供基于检查清单的评估,涵盖方法论、统计效度及报告标准(如 CONSORT/STROBE)合规性检核。
为 Python 代码提供 6 阶段只读分析的工作流程,根据项目类型(从 POC 到开源)检测设计原则违规、代码异味并建议现代化改善方案。