Is Redseal integration is compatible with Checkpoint R80.10 OPSEC-LEA ?
RedSeal doesn't ingest logs, so OPSEC LEA (Log Export API) is not applicable.
Integration with Check Point R80.10 (and above) is currently in development and should be available soon, and will access Check Point the Management API that was introduced in R80.
RedSeal Support site
Downloads and Documentation