01Intelligent `shrink_input` to reduce complex failing cases to minimal counterexamples.
02Secure sandboxed execution environment with resource limits and module blocking via `asteval.Interpreter`.
03Rich input generation strategies supporting basic, collection, and advanced Python types.
04Property-based testing with `fuzz_function` for automated test case generation and bug discovery.
05Automatic type signature inference for intelligent input strategy selection.
060 GitHub stars