01Intelligent source analysis that generates intermediate representations of business logic.
02Support for single-repo migrations via CLI arguments or batch migrations via TOML config.
030 GitHub stars
04End-to-end orchestration from Git cloning to final Rust crate verification.
05Robust checkpoint/resume system to handle failures and long-running batch processes.
06Automated Replayer test harness generation for immediate code validation.