distributed-system-testing

这是一个面向分布式系统测试的AI智能体技能集，提供声明驱动的测试设计与执行能力。核心功能包括：基于系统承诺（claims）自动生成可验证的测试计划，结合抽象模型（如register/queue/ledger）、操作历史模式、指定一致性检查器（如linearizability）及可控故障注入（nemesis），输出结构化Markdown测试计划与含9态判决结果的发现报告，并明确标注问题归属（SUT/环境/检查器等）。技术特点是轻量级SKILL.md格式、无需专用运行时、兼容主流AI编码代理（Claude、Gemini、Copilot等），强调覆盖充分性论证与故障可观测性。适用于中大型分布式服务（如数据库、消息队列、共识系统）在发布前进行深度可靠性验证，尤其适合需应对网络分区、并发异常、恢复逻辑等复杂场景的质量保障流程。