NitrokeyPRO2: OpenSC vs PKCS11 vs OpenPGP card vs GPG

Wondering if OpenSSH can use ed25519 key supplied by gpg-agent ?