tigerbeetle-deterministic-simulation
TigerBeetle 风格确定性仿真测试指南,强调控制时间、网络、磁盘与随机等非确定性来源,用时间压缩把多年运行压缩到分钟级,并通过种子实现故障精确复现,含 VOPR 仿真循环与 Zig 代码模式示例。
找到适合任务的 Agent Skill,阅读介绍并复制安装命令。
更新于 11-02 00:09
13,036 个结果
TigerBeetle 风格确定性仿真测试指南,强调控制时间、网络、磁盘与随机等非确定性来源,用时间压缩把多年运行压缩到分钟级,并通过种子实现故障精确复现,含 VOPR 仿真循环与 Zig 代码模式示例。
Startup Mirror 是一个基于 Loot Drop 创业失败研究方法的创业想法压力测试技能,用 7 种失败反模式诊断创业点子,并输出重建计划。
在形成正式需求前开展结构化问题探索。
loom-testing 是一个覆盖单元、集成、端到端、安全、基础设施、数据管道和机器学习模型等领域的测试技能,提供遵循行业最佳实践的测试实现指导,支持 TDD/BDD 工作流、测试架构设计及不稳定测试调试。
为 loom 计划生成接线验证 YAML 的技能,通过 truths、artifacts、wiring 三类证据证明功能真正完成集成,而非仅测试通过或编译成功。
一个用于请求代码审查的技能:在完成任务、实现主要功能或合并到主分支前,调度 superpowers:code-reviewer 子代理,基于 git 提交区间审查工作成果,以尽早发现问题并保留自身上下文。
测试驱动开发(TDD)技能,用于在编写任何功能实现或缺陷修复代码之前先编写测试。核心原则是:先写测试、看它失败、再写最小代码使其通过。该技能强调“没有失败的测试就不写生产代码”的铁律,遵循红-绿-重构循环,并列出常见借口与红旗信号,帮助开发者避免先写代码后补测试的反模式。适用于新功能、缺陷修复、重构和行为变更等场景。
crossbill-web 仓库中的后端测试编写指南技能,强调保持单个测试用例简短,并通过 fixtures 与函数复用公共测试数据与准备步骤,以减少重复、提升可维护性。
用于生成项目本地的“验证技能”:自动识别仓库的界面、启动与驱动方式,产出可被智能体冷启动阅读的 SKILL.md、功能地图与证据采集流程,覆盖任意语言、框架或平台。
reproduce 是一个在修复 UI 可见问题之前先做浏览器复现的技能,属于 cskwork/backend-dev-skills。它强调在编写修复代码之前,用可运行的 Playwright 脚本或 spec 记录问题的“现状”(as-is)行为,并保存原始证据,必要时辅以只读的数据证明,从而让 /explore、/work 以及后续的“目标态”(to-be)检查能对照同一用户路径。其核心原则是先精确复现用户报告的问题,再做解释或修复;如果浏览器路径、账号、URL、数据行或预期与实际行为不清楚,应当暴露这些缺口而不是自行编造流程。适用于需要真实登录、角色/账号选择、网络捕获、截图、trace、控制台日志或数据库数据确认的浏览器症状、工单缺陷、修复前回归设置等场景;对于纯后端 API 契约、无实时 UI 复现需求的代码调查、或已修复流程的部署冒烟测试,则不建议使用。技能包含明确的输入来源、安全边界、产物目录结构、状态语义(reproduced、not-reproduced、blocked-env、blocked-data、inconclusive)以及分阶段执行流程。
verify(/verify)是一个面向后端 HTTP 接口的验证技能,用于在代码改动完成后对运行中的服务做 HTTP 级别的端到端证明。它强调“证据而非断言”:每一次通过都必须有 curl -i 的实际输出与保存的请求夹具作为依据,而不是依赖单元测试或代码阅读。该技能按七个阶段执行,包括加载与校验契约、构造载荷、生成 curl 测试脚本、执行验证、按需回退到 /work、撰写报告等;输出物包括可复用的 shell 脚本、变体请求夹具、运行日志与 verify.md 报告。安全边界明确:默认只验证 local/dev,audit/stg 需要用户明确指定,禁止对 prod 发起载荷运行。适用于后端接口改动后合并前的 HTTP 层验证,或对已有接口的缺陷复现与修复把关。
gsd-debugger 是一个用于系统化排查缺陷的调试智能体,由 /gsd:debug 编排器或 diagnose-issues 工作流启动。它用科学方法自主调查根因,维护可跨上下文重置的持久调试文件,并在必须由用户输入时返回检查点。
GSD 集成检查器是一个用于验证外部服务集成是否正常工作的智能体,由 /gsd:complete-milestone 编排器调用,检查端点配置、请求响应流、认证、数据持久化与错误处理,并生成验证报告。
gsd-plan-checker 是一个用于校验计划质量的智能体,由 /gsd:plan-phase 编排器在验证循环中调用。它检查任务完整性、依赖正确性、文件归属与范围合理性,并输出结构化问题报告。
gsd-verifier 是 GSD 工作流中的验证代理,通过“目标倒推”分析检查某一阶段是否真正达成目标,而不仅是任务被标记完成。它核对代码库是否交付了阶段承诺的结果,输出 VERIFICATION.md。
用于准备并测试可靠的录屏环境,按语音、房间、屏幕、灯光、摄像头的优先级排查问题,并通过一段20至30秒的回放测试确认音画同步、可读性与隐私安全。
用于与本地 Web 应用交互和测试的 Playwright 工具包,可验证前端功能、调试 UI 行为、捕获截图与浏览器日志,采用原生 Python Playwright 脚本完成端到端测试、界面自动化与视觉回归验证。
该技能用于将 @packages/server 下的单元测试规范从 mocha 迁移到 vitest。迁移范围限定在 packages/server/test/unit 目录,集成与性能测试套件仍保留在 mocha。它着重指出转换过程中容易被忽略的问题,例如 mock 未生效但测试仍通过、断言强度被削弱等。技能要求每个 it 都被完整移植,不得留下半转换文件,并明确禁止削弱测试(如添加 skip、删除或放宽断言、使用 vitest -u 更新快照)。新文件必须显式从 vitest 导入,且不使用 spec_helper、mockery、proxyquire、sinon、chai 等测试辅助工具。技能还详细说明了如何内联 spec_helper 中的钩子、处理 CJS require 缓存、部分 mock Node 内置模块、转换断言语义(如 chai deep.equal 对应 toStrictEqual)、处理 Bluebird 与计时器、避免 GraphQL schema 重复构建,以及仅在明显可测性改进时允许修改源码。最后给出验证命令与代码风格要求。
用于运行测试、分析结果与诊断失败的技能,覆盖 Jest、pytest、cargo test、go test、bats 等框架,适用于执行测试套件、调试失败用例、配置 CI/CD、统计覆盖率及定位不稳定测试。
面向 Rust 自学习记忆项目的统一测试模式技能,覆盖单元测试质量、情景记忆领域测试与 async/tokio 异步测试,适用于编写或审查测试代码时参考。
通用深度学习助手技能,可将文档、URL、主题或粘贴文本转化为结构化、自适应的完整学习系统。具备多源知识库构建与质量过滤、领域专家视角地图、模块化自适应教学、概念解剖、Make It Easier 模式、三步错题诊断、间隔复习、进度持久化与成就激励等能力。
面向投资银行演示文稿的质量检查技能,从数字一致性、数据与叙述匹配、语言润色、格式规范四个维度审查路演材料和客户级演示,输出按严重程度分类的问题清单。
面向债券相对价值分析的技能,结合定价、收益率曲线、信用利差与情景压力测试,判断债券偏贵、偏便宜或合理。适用于固定收益分析场景。
一个用于审查代码变更的 AI 技能,按正确性、安全、可靠性、可维护性和性能优先级检查未提交差异、指定提交或 PR,并输出 Critical、Warnings、Suggestions 分级结果。