LeanPDF compresses PDFs locally on your Mac – no cloud, no subscriptions. Drop a file and see exactly how small it gets before saving. Three compression presets. Your files never leave your device.