用途：Hegel 用于编写属性测试。它为代码随机生成输入，并把失败用例收缩为最小反例，帮助定位边界与不变量问题。提供 Rust（hegeltest）、Go、C++、TypeScript、Java、OCaml 库，均与标准测试运行器集成。
主要能力：生成随机输入、失败用例自动收缩、按项目现有测试框架编写属性测试。
使用方式：先按顺序学习 API——仓库中已有的 Hegel 测试、库文档、环境中的 Hegel 库源码（vendored 或注册表副本），并核对所用内容的准确名称与签名，不要猜测语法。每条属性需有依据（文档化契约、名称与签名、代码自身断言的不变量、既有测试；未文档化但常规的预期也可作为依据）。每个测试写一条属性，放在项目现有测试文件中。技能内含 techniques/ 目录的分步指南：surfaces.md（选择测试面）、directions.md（接受/拒绝方向属性）、generators.md（生成器）、scale.md（递归与复杂度探针）、running.md（用例数量与运行配置）、triage.md（失败调查与报告）、adversarial-review.md（对抗性审查）。
完成前需三步：检查测试面覆盖；由独立子代理进行对抗性审查以找出遗漏属性（不向其提供你的测试，避免继承盲点），将结果写成 hegel 测试并运行修复；最后按 hegel-review 清单复核。
限制：资料未提供具体安装命令、版本、收费与定价信息；支持语言与集成方式以资料所述为准。