HTTPS only. Private repos require GITHUB_TOKEN on the worker.
Scan
Static analysis + graph mining + 15 detectors
Prove
Scan + proof-of-concept harness generation
Fix Plan
Full scan + remediation with code patches