Enable cross-language property-based testing with an imperative Draw API and server-backed shrinking.
npx skills add https://github.com/gmcabrita/dotfiles --skill hegel-gmcabrita
Please help me install this Agent Skill. Skill: hegel Source: https://github.com/gmcabrita/dotfiles/tree/main/.agents/skills/hegel Command: npx skills add https://github.com/gmcabrita/dotfiles --skill hegel-gmcabrita
Hegel enables cross-language property-based testing by providing an imperative Draw API (tc.draw) and server-backed shrinking, so developers can explore edge cases and ensure contracts hold across Rust, Go, C++, and more.
Write a test using tc.draw to generate inputs and run it with your project’s test framework.
High-intent search queries and answers about installing and using this skill.
Property-based testing in Rust, Go, or C++ uses an imperative tc.draw API to generate inputs and standard assertions within existing language test runners, enabling edge case exploration across multiple languages.
Server-backed shrinking supports cross-language property-based testing by automatically reducing failing test cases to minimal failing examples through an imperative draw API, ensuring robust contract validation across different programming environments.
Porting existing unit tests into property-based tests involves applying provided porting guidance and patterns, utilizing composites and dependent generation to transform fixed inputs into dynamic generators within your current test framework.
The tc.draw generators fully support stateful model testing across different languages, allowing developers to execute dependent generation and imperative draws to validate complex state transitions and invariants.
Cross-language property-based testing provides rich reference material for practical patterns including round-trips, idempotence, and parse robustness, applicable across Rust, Go, and C++ development environments.
Imperative draws should be used for property tests when you need dependent generation, stateful model testing, or composite generators that require dynamic input decisions based on previously generated values within the test execution.
dakshrawat298-gifApply property-based testing to discover security invariant violations across inputs.
lailtonjuniorGenerate unit, integration, and edge-case tests from codebases.
robotijnGenerate property-based tests validating universal invariants across full input spaces.
v1bh0rAutomate Haskell property-based testing with QuickCheck and Hedgehog.
